Formal semantics for an abstract agent programming language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1365, Issue , 1998, Pages 215-229

  Hindriks, Koen V ^a   de Boer, Frank S ^a   van der Hoek, Wiebe ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Agent programming; Formal semantics; Practical reasoning; Reflective capabitites; Self modification

Indexed keywords

ABSTRACTING; ADA (PROGRAMMING LANGUAGE); FORMAL METHODS; INTELLIGENT AGENTS; LOGIC PROGRAMMING; SEMANTICS;

AGENT PROGRAMMING; FORMAL SEMANTICS; PRACTICAL REASONING; REFLECTIVE CAPABITITES; SELF-MODIFICATION;

STRUCTURED PROGRAMMING;

EID: 84961371524     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0026761     Document Type: Conference Paper

References (21)

1. P, R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42: 213-261, 1990.
2. Frank Dignum and Rosaria Conte. Intentional Agents and Goal Formation. In this volume.
3. Mark D'lnvemo, David Kinny, Michael Luck, and Michael Wooldridge. A Formal Specification of dMARS. In this volume.
4. B. Dunin-Keplicz and J. Treur. Compositional Formal Specification of Multi-Agent Systems. In M. J. Wooldridge and N. R. Jennings, editors, Intelligent Agents, pages 102-117. Springer-Verlag, 1995.
5. R. E. Fikes and N. J. Nilson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3-4): 189-208, 1971.
6. M. Fisher. A Survey of Concurrent MetateM-The Language and its Applications. In Temporal Logic, pages 480-505. Springer, 1994.
7. G. De Giacomo, Y. Lespérance, and H. J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus, accepted for IJCAI-97.
8. Y. Lespérance, H. J. Levesque, F. Lin, and D. Marcu. Foundations of a Logical Approach to Agent Programming. In M. J. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II, pages 331-346. Springer, 1996.
9. J. W. Lloyd. Foundations of Logic Programming. Springer, 1987.
10. Marco Mulder, Jan Treur, and Michael Fisher. Agent Modelling in MetateM and DESIRE. In this volume.
11. J. P. Müller. The Design of Intelligent Agents. Springer, 1996.
12. G. Plotkin. A structural approach to operational semantics. Technical report, Aarhus University, Computer Science Department, 1981.
13. A. Poggi. DAISY: An object-oriented system for distributed artificial intelligence. In M. J. Wooldridge and N. R. Jennings, editors, Intelligent Agents, pages 341-354. Springer, 1995.
14. Anand S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In W. van der Velde and J. W. Perram, editors, Agents Breaking Away, pages 42-55. Springer, 1996.
15. YoavShoham. Agent-oriented programming. Artificial Intelligence, 60: 51-92, 1993.
16. M. P. Singh. Multiagent systems, volume 799 of LNAI. Springer, 1994.
17. Sarah Rebecca Thomas. PLACA, An Agent Oriented Programming Language. PhD thesis, Department of Computer Science, Stanford University, 1993.
18. W. van der Hoek, B. van Linder, and J.-J, Ch. Meyer. A logic of capabilities. In A. Nerode and Y. V. Matiyasevich, editors, Proc. of the third int. symposium on the logical foundations of computer science, pages 366-378. Springer, 1994.
19. R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Concurrent programming languages for multi-agent systems. Technical report, Department of Computer Science, University Utrecht, 1997.
20. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Formalising motivational attitudes of agents: On preferences, goals, and commitments. In M. J. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent agents II, pages 17-32. Springer, 1996.
21. M. J. Wooldridge. A Knowledge-Theoretic Semantics for Concurrent MetateM. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III, pages 357-374. Springer, 1997.