User defined monitoring strategies for BDI agent programs

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 1055-1057

  Cleaver, Timothy William ^a   Sattar, Abdul ^a   Ferdous, Raihana ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

Agent and multi agent architectures; Agent programming languages

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONDITION MONITORING; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; SEMANTICS; USER INTERFACES;

AGENT PROGRAMMING LANGUAGES; EXECUTION MONITORING; MULTI AGENT ARCHITECTURES; SYNTAX;

AUTONOMOUS AGENTS;

EID: 34247239891     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160821     Document Type: Conference Paper

References (10)

1. R. Bordini, M. Dastani, J. Dix, and A. Seghrouhni. Multi-Agent Programming: Languages, Platforms and Applications. Springer, 2005.
2. R. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In Proceedings of the second International Joint Conference on Autonomous Agents and Multi-agent Systems, pages 409-416, 2003.
3. R. Bordini and A. Moreira. Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in agentspeak(l). Annals of Mathematics and Artificial Intelligence, 42:197-226, 2004.
4. M. Bratman. Intention, Plans and Practical Reason. Harvard University Press, 1987.
5. T. Cleaver, A. Sattar, and K. Wang. Reasoning about success and failure in intentional agents. In Proceedings of the 2005 Pacific Rim International Workshop on Multi-Agents, 2005.
6. T. Cleaver, A. Sattar, and K. Wang. Reasoning with plan outcomes in intentional agents. In Proceedings of the eighteenth Australian Joint Conference on Artificial Intelligence (to appear), 2005.
7. M. d'Inverno and M. Luck. Engineering AgentSpeak(L): A Formal Computational Model. Journal of Logic and Computation, 8(3): 1-27, 1998.
8. A. Moreira, R. Vieira, and R. Bordini. Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act based Communication. In J. Leite and A. Omicini and L. Sterling and P. Torroni, editor, Proceedings of the first International Workshop on Declarative Agent Languages and Technologies, volume 2990 of Lecture Notes in Computer Science, pages 135-154. Springer, 2003.
9. A. Rao. Agentspeak(L): BDI Agents Speak out in a Logical Computable Language. In W. van de Velde and J. Perrame, editors, Proceedings of the seventh European Workshop on Modeling Autonomous Agents in a Multi-Agent World, volume 1038 of Lecture Notes in Artificial Intelligence, pages 42-55. Springer-Verlag, 1996.
10. A. Rao and M. Georgeff. Decision procedures for BDI logic. Journal of Logic and Computation, 8(3), 1998.