A formal specification of dMARS

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

Volumn 1365, Issue , 1998, Pages 155-176

  d’Inverno, Mark ^a   Kinny, David ^b   Luck, Michael ^c   Wooldridge, Michael ^d  

^a UNIVERSITY OF WESTMINSTER   (United Kingdom)

^b Australian Artificial Intelligence   (Australia)

^c UNIVERSITY OF WARWICK   (United Kingdom)

^d QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; FORMAL SPECIFICATION; INTELLIGENT AGENTS; SPACE SHUTTLES;

AGENT ARCHITECTURES; AIR TRAFFIC MANAGEMENT; ARCHITECTURAL ENHANCEMENT; BELIEF-DESIRE-INTENTION MODELS; PRACTICAL REASONING; REASONING SYSTEM; RESEARCH COMMUNITIES; THEORETICAL FOUNDATIONS;

COMPUTER ARCHITECTURE;

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

References (19)

1. M. E. Bratman, D. J, Israel, and M. E. Pollack, Plans and resource-bounded practical reasoning. Computational Intelligence, 4: 349-355, 1988.
2. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42: 213-261, 1990.
3. M. Dilnvemo and M. Luck. A formal specification of AgentSpeak(L). Journal of Logic and Computation, Forthcoming.
4. M. dTnvemo, M. Priestley, and M. Luck. A formal framework for hypertext systems. IEE Proceedings-Software Engineering Journal, 144(3): 175-184, June, 1997.
5. E. A. Emerson and J. Y. Halpem. 'Sometimes' and 'not never' revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33(1): 151-178, 1986.
6. M. R. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers: San Mateo, CA, 1987.
7. M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 677-682, Seattle, WA, 1987.
8. M. P. Georgeff and A. S. Rao. A profile of the Australian AI Institute. IEEE Expert, 11(6): 89-92, December 1996.
9. K. Hindricks, F. de Boer, W. van der Hoek, and J. Meyer, J. Formal semantics for an abstract agent programming language. In this volume.
10. M. Mulder, J. Treur, and M. Fisher. Agent modelling in concurrent METATEM and DESIRE. In this volume.
11. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, (LNAI Volume 1038), pages 42-55. Springer-Verlag: Heidelberg, Germany, 1996.
12. A. S. Rao and M. Georgeff. BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 312-319, San Francisco, CA, June 1995.
13. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BÐI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473-484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.
14. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 439-449, 1992.
15. A. S. Rao and M. P. Georgeff. Formal models and decision procedures for multi-agent systems. Technical Note 61, Australian AI Institute, Level 6, 171 La Trobe Street, Melbourne, Australia, June 1995.
16. J. M. Spivey. The fvzz Manual. Computing Science Consultancy, 2 Willow Close, Gars-ington, Oxford 0X9 9AN, UK, 2nd edition, 1992.
17. M. Spivey. The Z Notation (second edition). Prentice Hall. International: Hemel Hempstead, England, 1992.
18. M. Wooldridge. This is MyWorld: The logic of an agent-oriented testbed for DAI. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 160-178. Springer-Verlag: Heidelberg, Germany, January 1995.
19. M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2): 115-152, 1995.