A new parameter for maintaining consistency in an agent’s knowledge base using truth maintenance systems
Pages 53 - 64
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.
References
[1]
M. Huhns and D. Bridgeland: Multiagent Truth Maintenance. IEEE Transactions on Systems, Man, and Cybernetics, Vol. 21, No. 6, Nov/Dec 1991.
[2]
Stuart C. Shapiro: Belief Revision and Truth Maintenance Systems: an Overview and a Proposal. Technical Report 98-10, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, December 1998.
[3]
Kenneth D. Forbus and Johan de Kleer: Building Problem Solvers, MIT Press, 1993.
[4]
M. Barbuceanu, M.S. Fox: The Information Agent: An Infrastructure Agent Supporting Collaborative Enterprise Architectures, Proceedings of 3-rd Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises, Morgantown WV, IEEE Computer Society Press, 1994.
[5]
David A. McAllester: Truth Maintenance. AAAI-90, pp. 1109-1116.
[6]
J. Kleer: A general labeling algorithm for assumption-based truth maintenance, AAAI-88, pp. 188-192, 1988.
[7]
J. Doyle: Truth maintenance systems for problem solving. Fifth International Joint Conference on Artificial Intelligence, Cambridge, Massachusetts, 1977.
[8]
J. Doyle, Reason maintenance and belief revision: Foundations versus coherence theories, in: P. Ggrdenfors (ed.), Belief Revision, Cambridge University Press, (1992) 29-51.
[9]
Munindar P. Singh, Michale N Huns, Service-Oriented Computing Semantics, Processes, Agents.
Index Terms
- A new parameter for maintaining consistency in an agent’s knowledge base using truth maintenance systems
Recommendations
A multiagent knowledge-based recommender approach with truth maintenance
RecSys '07: Proceedings of the 2007 ACM conference on Recommender systemsThis thesis investigates a way of using knowledge in dynamic and distributed domains for supporting recommendation, keeping the consistence of the decision knowledge that change over time. We propose the use of a multiagent knowledge-based recommender ...
Distributed truth maintenance
AAAI'90: Proceedings of the eighth National conference on Artificial intelligence - Volume 1In this paper we define the concept of logical consistency of belief among a group of computational agents that are able to reason nonmonotonically. We then provide an algorithm for truth maintenance that guarantees local consistency for each agent and ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
September 2005
390 pages
ISBN:3540692657
Sponsors
- NASA Goddard: NASA Goddard
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 20 September 2005
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 25 Nov 2024