Implementing BDI-like systems by direct execution

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1997, Pages 316-321

  Fisher, Michael ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BDI MODEL; DIRECT EXECUTION; EXECUTABLE FORMAL SPECIFICATION; EXECUTABLE SPECIFICATIONS; HYBRID APPROACH; RATIONAL AGENTS;

ARTIFICIAL INTELLIGENCE;

SPECIFICATIONS;

EID: 84880692588     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. H. Barringer, M. Fisher, D. Gabbay, and A. Hunter. Meta-Reasoning in Executable Temporal Logic. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR&R). Morgan Kaufmann, 1991.
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. K. P. Birman. The Process Group Approach to Reliable Distributed Computing. Techanical Report TR91-1216, Department of Computer Science, Cornell University, July 1991.
4. M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, 1987.
5. E. A. Emerson. Temporal and Modal Logic. In Handbook of Theoretical Computer Science. Elsevier, 1990.
6. K. Fischer, J. Miiller and M. Pischel. A Pragmatic BDI Architecture. In Intelligent Agents II(LNAI 1037). Springer-Verlag, 1996.
7. M. Fisher and R. Owens. From the Past to the Future: Executing Temporal Logic Programs. In LPAR (LNCS 624). Springer-Verlag, 1992.
8. M.Fisher. Concurrent METATEM - A Language for Modeling Reactive Systems. In Parallel Architectures and Languages, Europe (LNCS 694). Springer-Verlag, June 1993.
9. M. Fisher. A Survey of Concurrent METATEM - The Language and its Applications. In First International Conference on Temporal Logic (LNCS 827). Springer-Verlag, July 1994.
10. M. Fisher. Representing and Executing Agent-Based Systems. In Intelligent Agents. Springer-Verlag, 1995.
11. M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1), 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), July 1997.
13. M. Fisher. An Open Approach to Concurrent Theorem-Proving. In Parallel Processing for Artificial Intelligence III. North-Holland, 1997.
14. M. Fisher, M. Wooldridge and C. Dixon. A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. In Proceedings of the International Conference on Formal and Applied Practical Reasoning (FAPR). Springer-Verlag, June 1996.
15. M. P. Georgeff and F. F. Ingrand. Decision-Making in an Embedded Reasoning System. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 1989.
16. C.Hewitt. Open information systems for distributed artificial intelligence. Artificial Intelligence, 47, 1991.
17. N. R. Jennings and M. Wooldridge. Applying Agent Technology. Applied Artificial Intelligence, 9(4), 1995.
18. D. N. Kinny and M. P. Georgeff. Modelling and design of multi-agent systems. In Intelligent Agents III (ATAL-96). Springer-Verlag, 1997.
19. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1992.
20. nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW '90). Elsevier/North Holland, 1991.
21. M. Mulder, M. Fisher and J. Teur. A Comparison of Concurrent METATEM and DESIRE. Internal Report. Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1996.
22. A. S. Rao and M. P. Georgeff. Modeling Agents within a BDI-Architecture. In International Conference on Principles of Knowledge Represent tation and Reasoning (KR), Cambridge, Massachusetts, April 1991. Morgan Kaufmann.
23. 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), San Francisco, CA, June 1995.
24. A. Rao. Agentspeak(I): BDI Agents Speak out in a Logical Computable Language. In MAAMAW-96 (LNAI1038). Springer-Verlag, 1996.
25. A. S. Rao. Decision procedures for prepositional linear-time Belief-Desire-Intention logics. In Intelligent Agents II (LNAI 1037). Springer-Verlag, 1996.
26. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1), 1993.
27. D. Weerasooriya, A. Rao, and K. Ramamohanarao. Design of a concurrent agent-oriented language. In Intelligent Agents. Springer-Verlag, 1995.
28. M. Wooldridge and N. R. Jennings. Agent theories, architectures, and languages: A survey. In Intelligent Agents. Springer-Verlag, 1995.