Abstract
This paper proposes an agent programming language called AgentSpeak(I). This new language allows agent programs (1) to effectively perform while having incomplete knowledge of the environment, (2) to detect no-longer possible goals and re-plan these goals correspondingly, and (3) to behave reactively to changes of environment. Specifically, AgentSpeak(I) uses default theory as agent belief theory, agent always act with preferred default extension at current time point (i.e. preference may changes over time). A belief change operator for default theory is also provided to assist agent program to update its belief theory. Like other BDI agent programming languages, AgentSpeak(I) uses semantics of transitional system. It appears that the language is well suited for intelligent applications and high level control robots, which are required to perform in highly dynamic environment.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alchourrón, C. E., Gärdenfors, P., and Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510–530.
Alferes, J. J., Pereira, L. M., and Przymusinski, T. C. (1996). Belief revision in non-monotonic reasoning and logic programming. Fundamenta Informaticae, 28(1–2):1–22.
Bratman, M. E. (1987). Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge, MA.
Brewka, G. and Eiter, T. (2000). Prioritizing default logic. Intellectics and Computational Logic, Papers in Honor of Wolfgang Bibel, Kluwer Academic Publishers, Applied Logic Series, 19:27–45.
Darwiche, A. and Pearl, J. (1997). On the logic of iterated belief revision. Artificial Intelligence, 97(1–2):45–82.
Dastani, M., Boer, F., Dignum, F., and Meyer, J. (2003). Programming agent deliberation. In Proceedings of the Autonomous Agents and Multi Agent Systems Conference 2003, pages 97–104.
de Giacomo, G., Y. L., and Levesque, H. (2000). Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109–169.
Delgrande, J., Schaub, T., and Jackson, W. (1994). Alternative approaches to default logic. Artificial Intelligence, 70:167–237.
D’Inverno, M. and Luck, M. (1998). Engineering agentspeak(l): A formal computational model. Journal of Logic and Computation, 8(3):233–260.
Ghose, A. K. and Goebel, R. G. (1998). Belief states as default theories: Studies in non-prioritized belief change. In proceedings of the 13th European Conference on Artificial Intelligence (ECAI98), Brighton, UK.
Ghose, A. K., Hadjinian, P. O., Sattar, A., You, J., and Goebel, R. G. (1998). Iterated belief change. Computational Intelligence. Conditionally accepted for publication.
Giordano, L. and Martelli, A. (1994). On cumulative default reasoning. Artificial Intelligence Journal, 66:161–180.
Hindriks, K., de Boer, F., van der Hoek, W., and Meyer, J.-J. (1999). Agent programming in 3apl. In Proceedings of the Autonomous Agents and Multi-Agent Systems Conference 1999, pages 357–401.
Levesque, H., R., R., Lesperance, Y., F., L., and R., S. (1997). Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59–84.
MaynardReidII, P. and Shoham, Y. (1998). From belief revision to belief fusion. In Proceedings of the Third Conference on Logic and the Foundations of Game and Decision Theory (LOFT3).
Meyer, T., Ghose, A., and Chopra, S. (2001). Nonprioritized ranked belief change. In Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK2001), Italy.
Poole, D. (1988). A logical framework for default reasoning. Artificial Intelligence, 36:27–47.
Rao, A. S. (1996). Agentspeak(l): Bdi agents speak out in a logical computable language. Agents Breaking Away, Lecture Notes in Artificial Intelligence.
Rao, A. S. and Georgeff, M. P. (1991). Modeling rational agents within a bdi-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Repersentation and Reasoning (KR’91), pages 473–484.
Rao, A. S. and Georgeff, M. P. (1995). Bdi agents: From theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, USA.
Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13(1–2):81–132.
Riemsdijk, B., Hoek, W., and Meyer, J. (2003). Agent programming in dribble: from beliefs to goals using plans. In Proceedings of the Autonomous Agents and Multi Agent Systems Conference 2003, pages 393–400.
Shoham, Y. (1993). Agent-oriented programming. Artificial Intelligence, 60:51–93.
Wobcke, W. (2002). Intention and rationality for prs-like agents. In Proceedings of the 15 Australian Joint Conference on Artificial Intelligence (AJAI02).
Wooldridge, M. (2000). Reasoning about Rational Agent. The MIT Press, London, England.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this paper
Cite this paper
Vo, D., Ghose, A. (2006). Agent Programming Language with Incomplete Knowledge - Agentspeak(I). In: Seruca, I., Cordeiro, J., Hammoudi, S., Filipe, J. (eds) Enterprise Information Systems VI. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3675-2_30
Download citation
DOI: https://doi.org/10.1007/1-4020-3675-2_30
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3674-3
Online ISBN: 978-1-4020-3675-0
eBook Packages: Computer ScienceComputer Science (R0)