DAI betwixt and between: from 'intelligent agents' to open systems science

The authors discuss the development of open systems science (OSS) beginning with its roots in the fundamentals of concurrency. The nature of actors., which are the primitives of concurrency, is considered. The aim of OSS is to provide a foundation for effective technological solutions to the complex problems of large-scale open systems by providing a scientific discipline that focuses on issues of robustness, manageability, and scalability. In the large-scale open systems of the future, the focus with shift from centralized systems toward decentralized ones, with an emphasis on conflict processing. The evolution of this paradigm presents some challenges and some fruitful new ideas for distributed artificial intelligence that are discussed. >

[1]  H. Becker.  Notes on the Concept of Commitment , 1960, American Journal of Sociology.

[2]  Mark Klein,et al.  Towards a theory of conflict resolution in cooperative design , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[3]  Carl Hewitt,et al.  The Apiary network architecture for knowledgeable systems , 1980, LISP Conference.

[4]  Edmund H. Durfee,et al.  Negotiating Task Decomposition and Allocation Using Partial Global Planning , 1989, Distributed Artificial Intelligence.

[5]  Susan Leigh Star,et al.  Simplification in Scientific Work: An Example from Neuroscience Research , 1983 .

[6]  Oscar Nierstrasz,et al.  Class management for software communities , 1990, CACM.

[7]  Guy L. Steele,et al.  Common Lisp the Language , 1984 .

[8]  Ramanathan V. Guha,et al.  Building large knowledge-based systems , 1989 .

[9]  C. Hewitt.  The challenge of open systems , 1990 .

[10]  Andrew A. Chien,et al.  Concurrent aggregates (CA) , 1990, PPOPP '90.

[11]  A. Newell.  Unified Theories of Cognition , 1990 .

[12]  Carl Hewitt,et al.  Procedural Embedding of knowledge in Planner , 1971, IJCAI.

[13]  Carl Hewitt,et al.  The incremental garbage collection of processes , 1977 .

[14]  Nils J. Nilsson,et al.  Logic and Artificial Intelligence , 1991, Artif. Intell..

[15]  Mark Stefik,et al.  The Next Knowledge Medium , 1986, AI Mag..

[16]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[17]  Henry G. Baker,et al.  Actors and Continuous Functionals , 1978, Formal Description of Programming Concepts.

[18]  Irene Greif,et al.  Semantics of communicating parallel processes , 1975 .

[19]  Carl Hewitt,et al.  Specification and Proof Techniques for Serializers , 1979, IEEE Transactions on Software Engineering.

[20]  Elihu M. Gerson,et al.  On "Quality of Life" , 1976 .

[21]  A. H. Bond.  A computational model for organizations of cooperating intelligent agents , 1990, COCS '90.

[22]  Mark S. Fox,et al.  Constraint-Directed Negotiation of Resource Reallocations , 1990, Distributed Artificial Intelligence.

[23]  S. Peter de Jong,et al.  Ubik-a framework for the development of distributed organizations , 1989 .

[24]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[25]  Carl Hewitt,et al.  Laws for Communicating Parallel Processes , 1977, IFIP Congress.

[26]  Victor Lesser,et al.  Conflict Resolution Strategies for Cooperating Expert Agents , 1991 .

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

[28]  Gary J. Nutt,et al.  Open Systems , 2019 .

[29]  Matthew J. Katz,et al.  Plans for Multiple Agents , 1989, Distributed Artificial Intelligence.

[30]  Akinori Yonezawa,et al.  Debugging Concurrent Systems Based on Object Groups , 1988, ECOOP.

[31]  Allen Newell,et al.  The logic theory machine-A complex information processing system , 1956, IRE Trans. Inf. Theory.

[32]  Robert Weihmayer,et al.  Conflict-resolution Strategies for Nonhierarchical Distributed Agents , 1989, Distributed Artificial Intelligence.

[33]  Terry Winograd,et al.  Understanding natural language , 1974 .

[34]  Carl Hewitt,et al.  The Scientific Community Metaphor , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[35]  Clarence A. Ellis,et al.  rIBIS: A Real-Time Group Hypertext System , 1991, Int. J. Man Mach. Stud..

[36]  Eric Werner,et al.  Cooperating Agents: A Unified Theory of Communication and Social Structure , 1989, Distributed Artificial Intelligence.

[37]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

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

[39]  Gerald Jay Sussman,et al.  Micro-Planner Reference Manual , 1970 .

[40]  Randall Davis,et al.  Expert Systems: Where Are We? And Where Do We Go from Here? , 1982, AI Mag..

[41]  Terry Winograd,et al.  Understanding computers and cognition , 1986 .

[42]  Bernardo A. Huberman,et al.  The ecology of computation , 1988, Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.

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

[44]  William A. Kornfeld.  Concepts in parallel problem solving , 1982 .

[45]  H. P Nii,et al.  Blackboard Systems , 1986 .

[46]  Barbara Hayes-Roth,et al.  Distributing Intelligence within an Individual , 1988, Distributed Artificial Intelligence.

[47]  Marshall T. Rose,et al.  The Open book - a practical perspective on OSI , 1990 .

[48]  Akinori Yonezawa,et al.  Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics. , 1977 .

[49]  Susan Leigh Star,et al.  The Structure of Ill-Structured Solutions: Boundary Objects and Heterogeneous Distributed Problem Solving , 1989, Distributed Artificial Intelligence.

[50]  Hiroyuki Sato,et al.  Overview of the Parallel Inference Machine Operating System (PIMOS) , 1988, FGCS.

[51]  Katia Sycara,et al.  Multiagent Compromise via Negotiation , 1989, Distributed Artificial Intelligence.

[52]  Alan H. Bond,et al.  Distributed Artificial Intelligence , 1988 .

[53]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[54]  Elihu M. Gerson,et al.  Analyzing due process in the workplace , 1986, COCS '86.