A theoretical framework for the conception of agency

In the field of distributed artificial intelligence, the cooperation among intelligent agents is a matter of growing importance. We propose a new machine, called agency, which is devoted to solve complex problems by means of cooperation among agents, where each agent is able to perform inferential activities. The aim of this paper is to give rigorous and formal descriptions of agency and, using the descriptions, to define and prove some interesting properties. The descriptions are based on three formalisms: multilanguage systems, directed hypergraphs, ER Petri nets. The work is a step in the direction of building a methodology for the project and the development of systems operating in real‐world applications. We give a theoretical background on which new techniques can be implemented for testing the requirements of systems of distributed artificial intelligence such as agencies. The fundamental formalism in describing agencies is multilanguage system; starting from it we capture some particular issues (i.e., structure and evolution of an agency) by means of hypergraphs and ER Petri nets. The formalisms support the definition and proof of properties (such as fairness of cooperation among agents). ©1999 John Wiley & Sons, Inc.

[1]  Reid G. Smith,et al.  A Framework for Distributed Problem Solving , 1979, IJCAI.

[2]  Victor R. Lesser,et al.  Functionally Accurate, Cooperative Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

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

[4]  C. Berge,et al.  Minimax Theorems for Normal Hypergraphs and Balanced Hypergraphs — A Survey , 1984 .

[5]  Edmund H. Durfee,et al.  Using Partial Global Plans to Coordinate Distributed Problem Solvers , 1987, IJCAI.

[6]  Reid G. Smith,et al.  A framework for problem solving in a distributed processing environment , 1978 .

[7]  Keith S. Decker,et al.  Distributed problem-solving techniques: A survey , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[8]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[9]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[10]  Kurt Konolige,et al.  Ascribing Plans to Agents , 1989, IJCAI.

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

[12]  Murray S. Mazer,et al.  Reasoning about knowledge to understand distributed AI systems , 1991, IEEE Trans. Syst. Man Cybern..

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

[14]  Claude Berge,et al.  Graphs and Hypergraphs , 2021, Clustering.

[15]  Jay R. Galbraith.  Designing Complex Organizations , 1973 .

[16]  Michael P. Georgeff,et al.  A Theory of Action for MultiAgent Planning , 1984, AAAI.

[17]  Claude Berge,et al.  Hypergraphs - combinatorics of finite sets , 1989, North-Holland mathematical library.

[18]  H. Penny Nii,et al.  Blackboard Systems, Part One: The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures , 1986, AI Mag..

[19]  Randall Davis,et al.  Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[20]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[21]  Jay R. Galbraith.  Organization Design , 1977 .

[22]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[23]  Carlo Ghezzi,et al.  A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..

[24]  Ugo Montanari,et al.  Concurrent Histories: A Basis for Observing Distributed Systems , 1987, J. Comput. Syst. Sci..

[25]  Les Gasser,et al.  The integration of computing and routine work , 1986, TOIS.

[26]  Victor Lesser,et al.  Multistage negotiation in distributed planning , 1988 .

[27]  Carl Hewitt,et al.  Offices are open systems , 1986, TOIS.

[28]  H. Penny Nii,et al.  Blackboard systems: the blackboard model of problem solving and the evolution of blackboard architectures , 1995 .

[29]  Moshe Tennenholtz,et al.  On Cooperation in a Multi-Entity Model , 1989, IJCAI.

[30]  Ugo Montanari,et al.  Liveness properties as convergence in metric spaces , 1984, STOC '84.

[31]  Edmund H. Durfee,et al.  Coordination of distributed problem solvers , 1988 .

[32]  Giorgio Gallo,et al.  Directed Hypergraphs and Applications , 1993, Discret. Appl. Math..

[33]  M. Minsky.  The Society of Mind , 1986 .

[34]  Penny Nii,et al.  Blackboard systems part two: Blackboard application systems , 1986 .

[35]  Randall Steeb,et al.  Strategies of Cooperation in Distributed Problem Solving , 1983, IJCAI.

[36]  Jeffrey S. Rosenschein,et al.  Deals Among Rational Agents , 1985, IJCAI.

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

[38]  Edmund H. Durfee,et al.  Trends in Cooperative Distributed Problem Solving , 1989, IEEE Trans. Knowl. Data Eng..