On proactivity and maintenance goals

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 1033-1040

  Duff, Simon ^a   Harland, James ^a   Thangarajah, John ^a  

^a RMIT UNIVERSITY   (Australia)

Author keywords

Agent programming languages; Formal models of agency; Task and resource allocation in agent systems

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; FAILURE ANALYSIS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; RESOURCE ALLOCATION;

AGENT PROGRAMMING LANGUAGES; FORMAL MODELS OF AGENCY; INTELLIGENT AGENT SYSTEMS; TASK AND RESOURCE ALLOCATION IN AGENT SYSTEMS;

INTELLIGENT AGENTS;

EID: 34247263306     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160817     Document Type: Conference Paper

References (15)

1. L. Braubach, A. Pokahr, D. Moldt, and W. Lainersdorf. Goal Representation for BDI Agent Systems. In Proceedings of the AAMAS Workshop on Programming in Multi-Agent Systems (PROMAS'04), pages 44-65, 2004.
2. P. Busetta, R. Ronnquist, A. Hodgson, and A. Lucas. Jack Intelligent Agents - Components for Intelligent Agents in Java, 1999.
3. B. J. Clement and E. H. Durfee. Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information. In AAAI/IAAI, pages 495-502, 1999.
4. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed Requirements Engineering. Science of Computer Programming, 20(1-2):3-50, April 1993.
5. M. Dastani, F. de Boer, F. Dignum, and J. Meyer. Programming Agent Deliberation: An Approach Illustrated Using the 3APL Language. In Proceedings of the Second International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'03), pages 97-104, Melbourne, July 2003. ACM Press.
6. M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In AAAI, pages 677-682, 1987.
7. F. Giunchiglia, J. Mylopoulos, and A. Perini. The Tropos Software Development Methodology: Processes, Models and Diagrams. In Proceedings of the First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02), pages 35-42. ACM Press, July 2003.
8. M. J. Huber. JAM: A BDI-theoretic mobile agent architecture. In Proceedings of The Third International Conference on Autonomous Agents, pages 236-243, Seattle, WA, 1999.
9. A. Pokahr, L. Braubach, and W. Lamersdorf. Jadex: Implementing a BDl-Infrastructure for JADE Agents. EXP - in search of innovation, 3(3):76-85, 2003.
10. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In R. van Hoe, editor, Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands, 1996.
11. A. S. Rao and M. P. Georgeff. BDI-agents: From Theory to Practice. In Proceedings of the First International Conference on Multiagent Systems (ICMAS'95), San Francisco, 1995.
12. J. Thangarajah, L. Padgham, and M. Winikoff. Detecting and Avoiding Interference Between Goals in Intelligent Agents. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'03), 2003.
13. J. Thangarajah, L. Padgham, and M. Winikoff. Detecting and Exploiting Positive Goal Interaction in Intelligent Agents. In Proceedings of the Second International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'03), Melbourne, July 2003.
14. J. Thangarajah, M. Winikoff, L. Padgham, and K. Fischer. Avoiding Resource Conflicts in Intelligent Agents. In Proceedings of the European Conference on Artificial Intelligence (ECAI'02), 2002.
15. M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative & Procedural Goals in Intelligent Agent Systems. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR'02), Toulouse, April 2002.