A Knowledge Level Characterisation of Multi-Agent Systems

This paper presents a knowledge-based analysis of a number of multi-agent systems. The analysis is based on the knowledge level hypothesis of Newell and Clancey. We claim that the models of problem solving which we obtain constitute descriptions of global coherence in multi-agent systems. We contrast the results of this analysis with the conventional views of coherence.

[1]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[2]  A. H. Bond,et al.  An Analysis of Problems and Research in DAI , 1988 .

[3]  Richard E. Korf,et al.  Real-Time Heuristic Search , 1990, Artif. Intell..

[4]  Joost Breuker,et al.  Analysing system-user cooperation in KADS , 1992 .

[5]  Reid G. Smith,et al.  The Contract Net: A Formalism for the Control of Distributed Problem Solving , 1977, IJCAI.

[6]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[7]  Alexander Reinefeld,et al.  Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDA , 1993, IJCAI.

[8]  Eric Werner,et al.  What Can Agents Do Together? A Semantics for Reasoning about Cooperative Ability , 1990, ECAI.

[9]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[10]  Nicholas R. Jennings,et al.  Towards a Cooperation Knowledge Level For Collaborative Problem Solving , 1992, ECAI.

[11]  Peter J. Braspenning,et al.  Delegated Negotiation for Resource Re-Allocation , 1992, GWAI.

[12]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[13]  Edmund H. Durfee,et al.  Coherent Cooperation Among Communicating Problem Solvers , 1987, IEEE Transactions on Computers.

[14]  Kevin Knight,et al.  Are Many Reactive Agents Better Than a Few Deliberative Ones? , 1993, IJCAI.

[15]  Les Gasser,et al.  Social Conceptions of Knowledge and Action: DAI Foundations and Open Systems Semantics , 1991, Artif. Intell..

[16]  K. Konolige A deduction model of belief , 1986 .

[17]  Carl Hewitt,et al.  Open Information Systems Semantics for Distributed Artificial Intelligence , 1991, Artif. Intell..

[18]  Nigel Shadbolt,et al.  Applying the REKAP Methodology to Situation Assessment , 1994, EKAW.

[19]  Michael Wooldridge,et al.  Coherent Social Action , 1994, ECAI.

[20]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[21]  Bob J. Wielinga,et al.  KADS: a modelling approach to knowledge engineering , 1992 .

[22]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..