Skip to main content
SpringerLink
Log in

A general framework for coherence in a CKBS

  • Published:
Journal of Intelligent Information Systems Aims and scope Submit manuscript

Abstract

Coherence in a distributed system is meant to offset the disadvantages of distribution. The paper explores four issues under coherence, namely preservation of knowledge consistency across the agents, reliability of the overall system, integration of local solutions and the global performance. It presents some general strategies that can be employed to improve coherence in a CKBS, which include a weak consistency with versions for knowledge revision, and a recovery mechanism based on a hierarchic three-stage coordination, which ensures the correct isolation of potentially hierarchic multiagent actions. The paper goes on to identify the sources and classes of conflicts in global integration, and it suggests remedies, which at worst case would involve negotiation. In global performance, it focusses on planning and result synthesis, as the two most important problem domains, and suggests strategies ameliorate performance.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Bond, A. and Gasser, L. (1988). An Analysis of Problems and Research in DAI. In A. Bond and L. Gasser (Eds.),Readings in Distributed Artificial Intelligence. Morgan Kaufman, pp. 3–35.

  • Bruce, B. and Newman, D. (1988). Interacting Plans. In A. Bond and L. Gasser (Eds.),Readings in Distributed Artificial Intelligence. Morgan Kaufrnan, pp. 248–267.

  • Cohen, P. (1988). Elements of a Plan Based Theory of Speech Acts. In A. Bond and L. Gasser (Eds.),Readings in Distributed Artificial Intelligence. Morgan Kaufman, pp. 169–186.

  • Corkill, D. and Lesser, V. (1983). The use of meta-level control for coordination in a distributed problem solving network. InInt. Joint Conf. Artif. Intett. (pp. 748–756).

  • Davis, R. and Smith, R. (1983). Negotiation as a Metaphor for Distributed Problem Solving.Artificial Intelligence, 20, 63–109.

    Google Scholar 

  • Deen, S. (1985).Principles and Practice of Database Systems. Macmillan.

  • Deen, S. (1988). The Architecture of a Distributed Database System —PRECI*.Computer Journal, 31 (12), 175–181.

    Google Scholar 

  • Deen, S. (1991). Interagent Operations in CKBSs. In K. Kambayashi, (Ed.),IMS91 (IEEE Workshop on Interoperability in Multidatabase Systems (pp. 230–238). Kyoto, Japan.

  • Fletcher, M. and Walsh, M. (1992). A Working Paper on Coherence in Multi Agent Systems. Internal Report DAKE/-/TR-92008.1, Data and Knowledge Engineering Centre, University of Keele, Staffordshire, ST5 5BG.

    Google Scholar 

  • Genesereth, M. and Fikes, R. (1992).Knowledge Interchange Format Reference Manual. Version 3.0, Computer Science Department, Stanford University, Stanford, CA 94305.

    Google Scholar 

  • Gruber, T. (1992).Ontolingua: A Mechanism to Support Portable Ontologies. Version 3.0, Knowledge Systems Laboratory, Stanford University, 701 Welch Road, Building C, Paio Alto, CA 94304.

    Google Scholar 

  • Hewitt, C. (1990). Towards Open information Systems Semantics. In M. Huhns (Ed.),Proc. 10th Int. Workshop DAL

  • Huhns, M. (1991). Distributed Truth Maintenance. In S. Deen (Ed.),CKBS'90 (pp.133–147). Springer-Verlag.

  • Kuwabara, K. and Lesser, V. (1989). Extended protocol for multistage negotiation.Proc. Ninth Workshop Distributed Artif. Intell. (pp. 129–161). Rosario Resort, Eastsound, Washington.

    Google Scholar 

  • Lenat, D. (1988). Beings: Knowledge as Interacting Agent. In A. Bond and L. Gasser (Eds.),Readings in Distributed Artificial Intelligence. Morgan Kaufman, pp. 161–168.

  • Lesser, V., Durfee, E., and Corkill, D. (1988). Coherent Cooperation among Communicating Problem Solvers. In A. Bond and L. Gasser (Eds.),Readings in Distributed Artificial Intelligence. Morgan Kaufman, pp. 268–284.

  • Litwin, W. and Abdellatif, A. (1986). Multidatabase Interoperability.IEEE Computer, 19 (12), 10–18.

    Google Scholar 

  • Meyer, R., Corny, S., Lesser., V. (1986). Multistage Negotiation in Distributed Planning. Coins technical report, University of Massachusetts.

  • Rosenchein, J. (1988). Synchronisation of Multi-agent Plans. In A. Bond and L. Gasser (Eds.),Readings in Distributed Artificial Intelligence. Morgan Kaufman, pp. 187–191.

Download references

Author information

Authors and Affiliations

  1. DAKE Centre, Keele University, ST5 5BG, Keele Staffs, England

    S. Misbah Deen

Authors
  1. S. Misbah Deen
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Deen, S.M. A general framework for coherence in a CKBS. J Intell Inf Syst 2, 83–107 (1993). https://doi.org/10.1007/BF01066547

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01066547

Keywords

Search

Navigation