Mehdi Dastani
ABSTRACT
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed to be represented in an object language. The implementation language for the deliberation cycle is considered as a meta-language the terms of which denote formulae from the object language. Without losing generality, we use the agent programming language 3APL as the object language. Using the meta-deliberation language, one can program the deliberation process of a cognitive agent. We discuss a set of programming constructs that can be used to program various aspects of the deliberation cycle including the planning constructs.
- J. Allen, J. Hendler, and A. Tare, editors. Readings in Planning. Morgan Kaufmann, Palo Alto CA, 1990.Google Scholar
- A. Blum and M. Furst. Fast planning through planning graph analysis. Artificial Intelligence, 90:281--300, 1997. Google ScholarDigital Library
- G. Boella and R. Damiano. An architecture for normative reactive agents. In K. Kawabara and J. Lee, editors, Intelligent Agents and Multi-Agent Systems, LNAI 2413, pages 1--17. Springer Verlag, 2002. Google ScholarDigital Library
- C. Boutilier, T. Dean, and S. Hanks. Decision- theoretic planning: Structural assumptions and computational leverage. Journal of AI Research, 11:1--94, 1999.Google ScholarDigital Library
- F. Brazier, B. D. Keplicz, N. Jennings, and J. Treur. Desire: Modelling multi-agent systems in a compositional formal framework. International Journal of Cooperative Information Systems, 6:67--94, 1997.Google ScholarCross Ref
- G. De Giacomo, Y. Lespérance, and H. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1--2):109--169, 2000. Google ScholarDigital Library
- M. Georgeff and A. Lansky. Reactive reasoning and planning. In In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 677--682, 1987.Google Scholar
- K. Hindriks, Y. Lespérance, and H. Levesque. An embedding of congolog in 3APL.Google Scholar
- K. V. Hindriks, F. S. D. Boer, W. V. der Hoek, and J.-J. C. Meyer. Agent programming in 3apl. Autonomous Agents and Multi-Agent Systems, 2(4):357--401, 1999. Google ScholarDigital Library
- D. Kinny. The psi calculus: An algebraic agent language. In J.-J. C. Meyer and M. Tambe, editors, Intelligent Agents VIII, Agent Theories Architectures and Languages, LNAI 2333, pages 32--50. Springer-Verlag, 2001. Google ScholarDigital Library
- A. Rao and M. Georgeff. Modeling rational agents within a BDI architecture. In Proceedings of the KR91, 1991.Google Scholar
- M. Shanahan. Reinventing shakey. In J. Minker, editor, Workshop on Logic-Based Artificial Intelligence, College Park, Maryland, 1999. Computer Science Department, University of Maryland. Google ScholarDigital Library
Index Terms
- Programming agent deliberation: an approach illustrated using the 3APL language
Recommendations
Programming Agent Deliberation Using Procedural Reflection
Principles and Practice of Multi-Agent SystemsA key advantage of BDI-based approaches to agent programming, is that agents can deliberate about which course of action to adopt to achieve a goal or respond to an event. However, while state-of-the-art BDI-based agent programming languages allow the ...
JADE/JaCaMo+2COMM: Programming Agent Interactions
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS CollectionAbstractWe present 2COMM, a middleware in which social relationships, created during agent interactions, are represented as social commitments. These relationships are reified as resources in the agents’ environment, and can be directly manipulated by the ...
Autonomy and agent deliberation
AUTONOMY'03: Proceedings of the 2003 International Conference on Agents and Computational AutonomyAn important aspect of agent autonomy is the decision making capability of the agents. We discuss several issues that agents need to deliberate about in order to decide which action to perform. We assume that there is no unique (rational or universal) ...
Comments