Communication knowledge systems. Part II - big talk among small systems

Abstract A new model is introduced for describing societies of communicating knowledge systems from an artificial intelligence perspective. The society is defined as a time-evolving concept con-taining both static and dynamic knowledge. The static knowledge includes the components of the society, namely the actor types, the communication issue types, and the behavior pattern types. The dynamic knowledge specifies how the society can evolve. Each component is a metatheory described using a specific representation system. The metatheories representing the actor types include self-knowledge, knowledge about other actors, and knowledge about the real world. The communication issues always reflect the knowledge of the sending actor and produce some effect on the receiving actor, for instance, enrichments of its knowledge or conflicts with its own knowledge. Conflicts are of two forms: routine conflicts to be solved by mediating actors with no intelligent knowledge, or conflicts that require intelligent knowled...

[1]  Paul E. Green.  An Introduction to Network Architectures and Protocols , 1980, IEEE Trans. Commun..

[2]  Roger M. Needham,et al.  Experience with Grapevine: the growth of a distributed system , 1984, TOCS.

[3]  Carl Hewitt,et al.  Semantic Support for Work in Organizations , 1983, IFIP Congress.

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

[5]  Jerome A. Feldman,et al.  High level programming for distributed computing , 1979, CACM.

[6]  Daniel D. Corkill,et al.  Hierarchical Planning in a Distributed Environment , 1979, IJCAI.

[7]  Victor R. Lesser,et al.  Distributed Interpretation: A Model and Experiment , 1980, IEEE Transactions on Computers.

[8]  Barbara Hayes-Roth,et al.  A Blackboard Architecture for Control , 1985, Artif. Intell..

[9]  Mark S. Fox,et al.  An Organizational View of Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

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

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

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

[13]  G. Ellis,et al.  Experiences with a Layered Approach to Local Area Network Design , 1983, IEEE J. Sel. Areas Commun..

[14]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

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

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

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

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

[19]  Larry L. Peterson,et al.  Conversation-based mail , 1986, TOCS.

[20]  Cheng-Seen Ho,et al.  A society model for office information systems , 1986, TOIS.

[21]  Victor R. Lesser,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[22]  Roger M. Needham,et al.  Grapevine: an exercise in distributed computing , 1982, CACM.

[23]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[24]  Gregory R. Andrews,et al.  Concepts and Notations for Concurrent Programming , 1983, CSUR.

[25]  James C. Browne,et al.  Zeus: An object-oriented distributed operating system for reliable applications , 1984, ACM '84.

[26]  Gregor von Bochmann.  A General Transition Model for Protocols and Communication Services , 1980, IEEE Trans. Commun..