Proving the asymmetry thesis principles for a BDI agent-oriented programming language

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 5, 2002, Pages 108-125

  Bordini, Rafael H ^a,c   Moreira, Álvaro F ^b  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b UNIVERSITY OF CAXIAS DO SUL   (Brazil)

^c UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; FORMAL LOGIC; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

ASYMMETRY THESIS PRINCIPLES; BDI AGENT-ORIENTED PROGRAMMING LANGUAGE; COGNITIVE AGENTS; LOGIC LANGUAGES;

THEOREM PROVING;

EID: 1242343621     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80591-7     Document Type: Conference Paper

References (18)

1. R. H. Bordini, A. L. C. Bazzan, R. O. Jannone, D. M. Bassom, R. M. Vicari and V. R. Lesser, AgentSpeak (XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling, in: C. Castelfranchi and W. L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002, featuring 6th AGENTS, 5th ICMAS and 9th ATAL), 15-19 July, Bologna, Italy (2002), pp. 1294-1302
2. Bratman M.E. "Intentions, Plans and Practical Reason" 1987;Harvard University Press, Cambridge, MA
3. de Giacomo G., Lespérance Y., Levesque H.J. ConGolog: A concurrent programming language based on the situation calculus. Artificial Intelligence. 121:2000;109-169
4. d'Inverno M., Luck M. Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation. 8:1998;1-27
5. Fisher, M., A survey of concurrent METATEM - the language and its applications, in: D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logics - Proceedings of the First International Conference, number 827 in Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1994 pp. 480-505
6. Georgeff, M. P. and A. L. Lansky, Reactive reasoning and planning in: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87), 13-17 July, 1987, Seattle, WA (1987), pp. 677-682
7. Hindriks, K. V., F. S. de Boer, W. van der Hoek and J.- J. C. Meyer, Control structures of rule-based agent language, in: J. P. Müller, M. P. Singh and A. S. Rao, editors, Intelligent Agents V - Proceedings of the Fifth International Workshop on Agent Theories, Architetures, and Languages (ATAL-98), held as part of the Agents' World, Paris, 4-7 July, 1998 number 1555 in Lecture Notes in Artificial Intelligence (1999), pp. 381-396
8. Kinny, D., The distributed multi-agent reasoning system architecture and language specification, Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia (1993)
9. Leite, J. A., J. J. Alferes and L. M. Pereira, MINERVA - a dynamic logic programming agent architecture, in: J.-J. Meyer and M. Tambe, editors, Intelligent Agents VIII - Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), August 1-3, 2001, Seattle, WA, number 2333 in Lecture Notes in Artificial Intelligence (2002), pp. 141-157
10. Machado, R. and R. H. Bordini Running AgentSpeak(L) agents on SIM_AGENT, in: J.-J. Meyer and M. Tambe, editors, Intelligent Agents VIII - Proceedings of the Eight International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), August 1-3, 2001, Seattle, WA, number 2333 in Lecture Notes in Artificial Intelligence (2002), pp. 158-174
11. Moreira, Á. F. and R. H. Bordini, An operational semantics for a BDI agent-oriented programming language, in: Proceedings of the Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), April 22-25, Toulouse, France, 2002, pp. 45-59
12. Rao, A. S., AgentSpeak(L): BDI agents speak out in a logical computable language, in: W. Van de Velde and J. Perram, editors, Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), 22-25 January, Eindhoven, The Netherlands, number 1038 in Lecture Notes in Artificial Intelligence (1996), pp. 42-55
13. Rao, A. S. and M. P. Georgeff, BDI agents: From theory to practice, in: V. Lesser and L. Gasser, editors, Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95), 12-14 June, San Francisco, CA (1995), pp. 312-319
14. Rao A.S., Georgeff M.P. Decision procedures for BDI logics. Journal of Logic and Computation. 8:1998;293-343
15. Shoham Y. Agent-oriented programming. Artificial Intelligence. 60:1993;51-92
16. Singh M.P., Rao A.S., Georgeff M.P. Formal methods in DAI: Logic-based representation and reasoning. Weiß G. Multiagent Systems - A Modern Approach to Distributed Artificial Intelligence. 1999;331-376 MIT Press, Cambridge, MA
17. Sloman A., Logan B. Building cognitively rich agents using the SIM_AGENT toolkit. Communications of the Association of Computing Machinery. 43:1999;71-77
18. Winikoff, M., L. Padgham, J. Harland and J. Thangarajah, Declarative and procedural goals in intelligent agent systems, in: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 22-25 April, Toulouse, France, 2002, pp. 470-481