Abstract
We describe the \(\mathcal{AIA}\) architecture for intelligent agents whose behavior is driven by their intentions and who reason about, and act in, changing environments. The description of the domain includes both the agent’s environment and the general Theory of Intentions. The architecture is designed to enable agents to explain unexpected observations and determine which actions are intended at the present moment. Reasoning is reduced to computing answer sets of CR-Prolog programs constructed automatically from the agent’s knowledge.
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
Notes
- 1.
Actions that directly affect an agent’s mental state are referred to as mental actions, while those actions that directly affect the state of the environment are referred to as physical actions.
- 2.
The mental state includes statics, which describe activities.
- 3.
For space reasons we omit formal representations of some axioms.
References
Balduccini, M., Gelfond, M.: The AAA architecture: an overview. In: AAAI Spring Symposium on Architecture of Intelligent Theory-Based Agents (2008)
Balduccini, M.: cr-models: an inference engine for CR-prolog. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 18–30. Springer, Heidelberg (2007)
Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: Doherty, P., McCarthy, J., Williams, M.A. (eds.) International Symposium on Logical Formalization of Commonsense Reasoning. pp. 9–18. AAAI 2003 Spring Symposium Series, March 2003
Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Workshop on Logic-Based Artificial Intelligence. Kluwer Academic Publishers, June 2000
Blount, J., Gelfond, M.: Reasoning about the intentions of agents. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds.) Logic Programs, Norms and Action. LNCS, vol. 7360, pp. 147–171. Springer, Heidelberg (2012)
Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning. pp. 473–484. Morgan Kaufmann publishers Inc., San Mateo, CA, USA (1991)
Sacerdoti, E.: The nonlinear nature of plans. In: Proceedings of IJCAI-1975 (1975)
Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Blount, J., Gelfond, M., Balduccini, M. (2015). A Theory of Intentions for Intelligent Agents. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2015. Lecture Notes in Computer Science(), vol 9345. Springer, Cham. https://doi.org/10.1007/978-3-319-23264-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-23264-5_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23263-8
Online ISBN: 978-3-319-23264-5
eBook Packages: Computer ScienceComputer Science (R0)