A new parameter for maintaining consistency in an agent’s knowledge base using truth maintenance systems

Authors:
Qutaibah Althebyan;Henry Hexmoor
Affiliations:
Department of Computer Science and Computer Engineering, University of Arkansas, Fayetteville, Arkansas;Department of Computer Science and Computer Engineering, University of Arkansas, Fayetteville, Arkansas
Venue:
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Year:
2005

Citing 3
Cited 0

Building problem solvers

Building problem solvers
Truth maintenance systems for problem solving

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Truth maintenance

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.