Agent specification using multi-context systems

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

Volumn 2403, Issue , 2002, Pages 205-226

  Parsons, Simon ^a   Jennings, Nicholas R ^b   Sabater, Jordi ^c   Sierra, Carles ^c  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^c ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; COMPUTATION THEORY; SPECIFICATIONS;

AGENT BASED COMPUTING; AGENT SPECIFICATION; GENERAL METHOD; LOGIC-BASED AGENTS; MULTI-CONTEXT SYSTEMS; SYSTEM ARCHITECTURES;

MULTI AGENT SYSTEMS;

EID: 84942781146     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45634-1_13     Document Type: Conference Paper

References (38)

1. M. Benerecetti, A. Cimatti, E. Giunchiglia, F. Giunchiglia, and L. Serafini. Formal specification of beliefs in multi-agent systems. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III, pages 117–130. Springer Verlag, Berlin, 1997.
2. G. Booch. Object-oriented analysis and design with application. Addison Wesley, Wokingham, UK, 1994.
3. F. M. T. Brazier, B. M. Dunin-Keplicz, N. R. Jennings, and J. Treur. Formal specification of multi-agent systems. In Proceedings of the 1st International Conference on Multi-Agent Systems, pages 25–32, 1995.
4. P. Busetta, N. Howden, R. Ronnquist, and A. Hodgson. Structuring BDI agents in functional clusters. In N. R. Jennings and Y Lespérance, editors, Intelligent Agents VI. Springer Verlag, Berlin, 1999.
5. A. Cimatti and L. Serafini. Multi-agent reasoning with belief contexts: The approach and a case study. In Proceedings of the 3rd International Workshopon Agent Theories, Architectures and Languages, 1994.
6. A. Cimatti and L. Serafini. Multi-agent reasoning with belief contexts: The approach and a case study. In M. J. Wooldridge and N. R. Jennings, editors, Intelligent Agents, pages 62–73. Springer Verlag, Berlin, 1995.
7. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.
8. M. d’Inverno, D. Kinny, M. Luck, and M. Wooldridge. A formal specification of dMARS. In M. P. Singh, A. S. Rao, and M. Wooldridge, editors, Intelligent Agents IV, pages 155–176. Springer Verlag, Berlin, 1998.
9. D. Dubois and H. Prade. Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York, NY, 1988.
10. E. A. Emerson. Temporal and Modal Logic. In J van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1071. Elsevier, 1990.
11. J. Ferber and O. Gutknecht. Operational semantics of a role-based agent architecture. In N. R. Jennings and Y Lespérance, editors, Intelligent Agents VI. Springer Verlag, Berlin, 1999.
12. M. Fisher. Representing abstract agent architectures. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V, pages 227–242. Springer Verlag, Berlin, 1998.
13. D. Gabbay. Labelled Deductive Systems. Oxford UniversityPress, Oxford, UK, 1996.
14. F. Giunchiglia. Contextual reasoning. In Proceedings of the IJCAI Workshop on Using Knowledge in Context, 1993.
15. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: How we can do without modal logics). Artificial Intelligence, 65:29–70, 1994.
16. F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6):34–44, 1992.
17. N. R. Jennings. Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence, 75:195–240, 1995.
18. N. R. Jennings. Agent-based computing: Promise and perils. In Proceedings of the 16th International Joint Conference on Artificial Intelligence, pages 1429–1436, 1999.
19. J. J. Meyer. Agent languages and their relationship to other programming paradigms. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V, pages 309–316. Springer Verlag, Berlin, 1998.
20. P. Noriega and C. Sierra. Towards layered dialogical agents. In J. P.Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III, pages 173–188, Berlin, 1996. Springer Verlag.
21. S. Parsons and P. Giorgini. An approach to using degrees of belief in BDI agents. In B. Bouchon-Meunier, R. R. Yager, and L. A. Zadeh, editors, Information, Uncertainty, Fusion. Kluwer, Dordrecht, 1999.
22. S. Parsons and N. R. Jennings. Negotiation through argumentation—a preliminaryreport. In Proceedings of the International Conference on Multi Agent Systems, pages 267–274, 1996.
23. S. Parsons, C. Sierra, and N. R. Jennings. Agents that reason and negotiate byar guing. Journal of Logic and Computation, 8(3):261-292, 1998.
24. A. Rao and M. Georgeff. Asymmetry thesis and side-effect problems in linear time and branching time intention logics. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, 1991.
25. A. S. Rao and M. P. Georgeff. Modeling Rational Agents within a BDI-Architecture. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 473–484, 1991.
26. A. S. Rao and M. P. Georgeff. Formal Models and Decision Procedures for Multi-Agent Systems. Technical Note 61, Australian Artificial Intelligence Institute, 1995.
27. J. Sabater, C. Sierra, S. Parsons, and N. R. Jennings. Using multi-context agents to engineer executable agents. In Proceedings of the 6th International Workshop on Agent Theoreies, Archiectures and Languages, 1999.
28. J. Sabater, C. Sierra, S. Parsons, and N. R. Jennings. Using multi-context agents to engineer executable agents. In N. R. Jennings and Y. Lesperance, editors, Intelligent Agents IV, pages 277–294. Springer-Verlag, 2000.
29. J. Sabater, C. Sierra, S. Parsons, and N. R. Jennings. Engineering executable agents using multi-context systems. Journal of Logic and Computation, 2002. (to appear).
30. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51–92, 1993.
31. S. R. Thomas. The PLACA agent programming language. In M. J. Wooldridge and N. R. Jennings, editors, Intelligent Agents, pages 355–370. Springer Verlag, Berlin, 1995.
32. J. Treur. On the use of reflection principles in modelling complex reasoning. International Journal of Intelligent Systems, 6:277–294, 1991.
33. L. Vila. On temporal representation and reasoning in knowledge-based systems. IIIA Monographies, Barcelona, Spain, 1994.
34. D. Weerasooriya, A. Rao, and K. Rammamohanarao. Design of a concurrent agent-oriented language. In M. J. Wooldridge and N. R. Jennings, editors, Intelligent Agents, pages 386–402. Springer Verlag, Berlin, 1995.
35. M. 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 Verlag, Berlin, 1996.
36. M. Wooldridge. Agent-based software engineering. IEE Proceedings on Software Engineering, 144:26–37, 1997.
37. M. Wooldridge. Reasoning about rational agents. MIT Press, Cambridge, MA, 2000.
38. M. J. Wooldridge and N. R. Jennings. Intelligent agents: Theoryand practice. The Knowledge Engineering Review, 10:115–152, 1995.