Abstract
When there is much incoming information with different levels of reliability, the agent’s belief base could become inconsistent, and therefore it needs a revision procedure. The algorithm which implements this revision should be rational and computationally efficient. Besides, because an agent’s belief could be either a fact or a rule, it is essential to perform belief revision by removing not only facts but also rules. In this paper, the work presented in [1] and [2] is extended to implement contraction by rules as well as by facts in polynomial time.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alechina, N., Bordini, R.H., Hubner, J.F., Jago, M., Logan, B.: Belief revision for agentspeak agents. In: Proceedings of AAMAS 2006, Japan. IEEE Press, Los Alamitos (2006)
Alechina, N., Jago, M., Logan, B.: Preference-based belief revision for rule-based agents. Synthese 165(1), 159–177 (2008)
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50, 510–530 (1985)
Doyle, J.: Truth maintenance systems for problem solving. In: Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI 1977, p. 247 (1977)
Moreira, A.F., Vieira, R., Bordini, R.H., Hübner, J.: Agent-oriented programming with underlying ontological reasoning. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS, vol. 3904, pp. 155–170. Springer, Heidelberg (2006)
McAllester, D.A.: Truth maintenance. In: Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI 1990), pp. 1109–1116. AAAI Press, Menlo Park (1990)
Williams, M.A.: Iterated theory base change: A computational model. In: Proceedings of (IJCAI 1995), pp. 1541–1549. Morgan Kaufmann, San Francisco (1995)
Alechina, N., Jago, M., Logan, B.: Resource-bounded belief revision and contraction. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS, vol. 3904, pp. 141–154. Springer, Heidelberg (2006)
Dixon, S., Wobcke, W.: The implementation of a first-order logic AGM belief revision system. In: Proceedings of 5th ICTAI, pp. 40–47 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nguyen, H.H. (2009). Belief Revision in a Fact-Rule Agent’s Belief Base. In: Håkansson, A., Nguyen, N.T., Hartung, R.L., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2009. Lecture Notes in Computer Science(), vol 5559. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01665-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-01665-3_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01664-6
Online ISBN: 978-3-642-01665-3
eBook Packages: Computer ScienceComputer Science (R0)