Epistemic Logic as a Framework for Federated Information Systems

A set of axiomatic modal propositional logics of type S4 called K″, realizing a federated information system, is described. The elements of K″, called nodes, each have their own epistemic operator, and a query algorithm giving the semantics for the multi-modal K″ is presented. Cooperation between nodes in K″ is described by means of a cooperation principle and by so-called negotiations, consisting of derivations in which some propositions originate in a different node from the one performing the derivation.

[1]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[2]  Lincoln A. Wallen,et al.  Automated deduction in nonclassical logics , 1990 .

[3]  Hector J. Levesque,et al.  The Logic of Incomplete Knowledge Bases , 1982, On Conceptual Modelling.

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

[5]  Shamkant B. Navathe,et al.  Meeting the Cooperative Problem Solving Challenge: A Database-Centered Approach , 1991 .

[6]  S. M. Deen.  CKBS '90 : proceedings of the International Working Conference on Cooperating Knowledge Based Systems, 3-5 October 1990, University of Keele, UK , 1991 .

[7]  Matthew L. Ginsberg.  Bilattices and Modal Operators , 1990, J. Log. Comput..

[8]  J. Hintikka.  Knowledge and belief , 1962 .

[9]  S. M. Deen,et al.  Cooperating Agents — A Database Perspective , 1991 .

[10]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

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

[12]  D. Scott,et al.  Intensional Logic, preliminary draft of initial chapters by EJ Lemmon, July 1966, Nowadays available as An Introduction to Modal Logic (American Philosophical Quarterly Monograph No. 11) edited by K. Segerberg , 1977 .

[13]  Dennis McLeod,et al.  A federated architecture for information management , 1985, TOIS.

[14]  Paul Johannesson,et al.  The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems Architecture , 1989, IFIP Congress.

[15]  Krister Segerberg,et al.  An essay in classical modal logic , 1971 .

[16]  Paul Johannesson,et al.  Contracts in Database Federations , 1991 .