Representing abstract agent architectures

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

Volumn 1555, Issue , 1999, Pages 227-241

  Fisher, Michael ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT AGENTS;

ABSTRACT AGENTS; ABSTRACT FRAMEWORK; AD HOC METHODS; DIRECT EXECUTION; LAYERED ARCHITECTURE; LOGICAL LANGUAGE; SUB-COMPONENTS;

HIGH LEVEL LANGUAGES;

EID: 84961324088     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49057-4_15     Document Type: Conference Paper

References (29)

1. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. MetateM: An Introduction. Formal Aspects of Computing, 7(5):533-549, 1995.
2. H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, editors. The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester, United Kingdom, 1996.
3. R. A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14-23, 1986.
4. E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996-1072. Elsevier, 1990.
5. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning About Knowledge. MIT Press, 1996.
6. I. A. Ferguson. TouringMachines: An Architecture for Dynamic, Rational, Mobile Agents. PhD thesis, Clare Hall, University of Cambridge, UK, November 1992. (Also available as Technical Report No. 273, University of Cambridge Computer Laboratory).
7. I. A. Ferguson. TouringMachines: Autonomous Agents with Attitudes. Technical Report 250, Computer Laboratory, University of Cambridge, Cambridge, U.K., April 1992.
8. M. Fisher. Concurrent MetateM - A Language for Modeling Reactive Systems. In Parallel Architectures and Languages, Europe (PARLE), Munich, Germany, June 1993. (Published in Lecture Notes in Computer Science, volume 694, Springer-Verlag).
9. M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents. Springer-Verlag, 1995.
10. M. Fisher. A Temporal Semantics for Concurrent MetateM. Journal of Symbolic Computation, 22(5/6), November/December 1996.
11. M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1):43-56, March 1996.
12. M. Fisher. A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation, 7(4), August 1997.
13. M. Fisher. Implementing BDI-like Systems by Direct Execution. In Proceedings of International joint Conference on Artificial Intelligence (IJCAI). Morgan-Kaufmann, 1997.
14. M. Fisher. Refining Concurrent MetateM Objects. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall, 1997.
15. M. Fisher and M. Wooldridge. A Logical Approach to the Representation of Societies of Agents. In N. Gilbert and R. Conte, editors, Artificial Societies. UCL Press, 1995.
16. M. Fisher and M. Wooldridge. On the Formal Specification and Verification of Multi-Agent Systems. International Journal of Cooperative Information Systems, 6(1), January 1997.
17. D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. The Temporal Analysis of Fairness. In Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages, pages 163-173, Las Vegas, Nevada, January 1980.
18. N. R. Jennings. Towards a cooperation knowledge level for collaborative problem solving. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pages 224-228, Vienna, Austria, 1992.
19. C. G. Jung. Emergent mental attitudes in layered agents. 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, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.
20. O. Lichtenstein, A. Pnueli, and L. Zuck. The Glory of the Past. Lecture Notes in Computer Science, 193:196-218, June 1985.
21. nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAA- MAW ’90). Elsevier/North Holland, 1991.
22. J. P. Müller. The Design of Autonomous Agents -A Layered Approach. Springer-Verlag: Heidelberg, Germany, 1996. (LNAI1177).
23. J. P. Müller. Control Architectures for Autonomous and Interacting Agents: A Survey. In Intelligent Agent Systems: Theoretical and Practical Issues. Springer-Verlag: Heidelberg, Germany, 1997. (Lecture Notes in AI 1209).
24. J. P. Müller. The right agent (architecture) to do the right thing. 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, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.
25. J. P. Müller and M. Pischel. Modelling interacting agents in dynamic environments. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 709-713, Amsterdam, The Netherlands, 1994.
26. M. Piaggio. HEIR - a non-hierarchical hybrid architecture for intelligent robots. 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, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.
27. 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.
28. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall International, 1995.
29. R. G. Smith. A Framework for Distributed Problem Solving. UMI Research Press, 1980.