In this paper, we present a new and novel way of maintaining the consistency in an agent's knowledge base relying on the notion of Truth Maintenance Systems. In our work, we present a new parameter that helps in determining which propositions or assertions to retract if a contradiction ensues. Our new soundness parameter will be very easy to compute, at the same time, it is very effective.
['Qutaibah Althebyan', 'Henry Hexmoor']
A new parameter for maintaining consistency in an agent's knowledge base using truth maintenance systems