A New Parameter for Maintaining Consistency in an Agent’s Knowledge Base Using Truth Maintenance Systems

  • Qutaibah Althebyan
  • Henry Hexmoor
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3825)


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.


Inference Rule Belief Revision Enterprise Architecture Global Consistency Justify Proposition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Huhns, M., Bridgeland, D.: Multiagent Truth Maintenance. IEEE Transactions on Systems, Man, and Cybernetics 21(6) (November/December 1991)Google Scholar
  2. 2.
    Shapiro, S.C.: Belief Revision and Truth Maintenance Systems: an Overview and a Proposal. Technical Report 98-10, Department of Computer Science and Engineering, December 1998. University at Buffalo, Buffalo, NY (1998)Google Scholar
  3. 3.
    Forbus, K.D., de Kleer, J.: Building Problem Solvers. MIT Press, Cambridge (1993)MATHGoogle Scholar
  4. 4.
    Barbuceanu, M., Fox, M.S.: The Information Agent: An Infrastructure Agent Supporting Collaborative Enterprise Architectures. In: Proceedings of 3-rd Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises, Morgantown WV. IEEE Computer Society Press, Los Alamitos (1994)Google Scholar
  5. 5.
    McAllester, D.A.: Truth Maintenance. In: AAAI 1990, pp. 1109–1116 (1990)Google Scholar
  6. 6.
    Kleer, J.: A general labeling algorithm for assumption-based truth maintenance. In: AAAI 1988, pp. 188–192 (1988)Google Scholar
  7. 7.
    Doyle, J.: Truth maintenance systems for problem solving. In: Fifth International Joint Conference on Artificial Intelligence, Cambridge, Massachusetts (1977)Google Scholar
  8. 8.
    Doyle, J.: Reason maintenance and belief revision: Foundations versus coherence theories. In: Ggrdenfors, P. (ed.) Belief Revision, pp. 29–51. Cambridge University Press, Cambridge (1992)CrossRefGoogle Scholar
  9. 9.
    Singh, M.P., Huns, M.N.: Service-Oriented Computing Semantics, Processes, AgentsGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Qutaibah Althebyan
    • 1
  • Henry Hexmoor
    • 1
  1. 1.Department of Computer Science and Computer EngineeringUniversity of ArkansasFayetteville

Personalised recommendations