Skip to main content
SpringerLink
Log in

Epistemic Logic as a Framework for Federated Information Systems

  • Conference paper
CKBS ’90

Abstract

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.

This work was supported by the National Swedish board for Technical Development (STU).

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Matts Ahlsen & Paul Johannesson: “Contracts in Database Federations”, in this volume.

    Google Scholar 

  2. Chitta Barai, Sarit Kraus & Jack Minker: “Communicating between Multiple Knowledge-Based Systems with Different Languages”, presented at the Working Conference on Cooperating Knowledge Based Systems, Keele 1990.

    Google Scholar 

  3. Magnus Boman & Paul Johannesson: “Axiomatic Epistemic Systems for Federated Information Systems”, in Data Management, pp. 195–213, Ed. Prakash, Tata McGraw-Hill Publishing Company, New Delhi 1990.

    Google Scholar 

  4. Magnus Boman: “A Survey of Provability Logic and a Note on its Relevance to Nonmonotonic Federated Information Systems”, SYSLAB Working Paper No. 170, Stockholm 1990.

    Google Scholar 

  5. Alan H. Bond & Les Gasser: “An Analysis of Problems and Research in DAI” in Readings in Distributed Artificial Intelligence, pp.3–35, Eds. Bond, Gasser, Morgan Kaufmann Publ. Inc. 1988.

    Google Scholar 

  6. Stefano Ceri & Giuseppe Pelagatti: Distributed Databases, McGraw-Hill 1984.

    Google Scholar 

  7. S. Chakravarty, S.B. Navathe, K. Karlapalcm & A. Tanaka: “Meeting the Cooperative Problem Solving Challenge: A Database- Oriented Approach”, in this volume.

    Google Scholar 

  8. S.M. Deen: “Cooperating Agents - A Database Perspective”, presented at the Working Conference on Cooperating Knowledge Based Systems, Keele 1990.

    Google Scholar 

  9. Matthew Ginsberg: “Bilattices and Modal Operators” in Journal of Logic and Computation, pp.41–69, Vol.1, No.l, 1990.

    Google Scholar 

  10. Dennis Heimbigner & Dennis McLeod: “A Federated Architecture for Information Management” in ACM Transactions on Office Information Systems, pp. 253–278, Vol.3, No. 3, 1985.

    Google Scholar 

  11. Jaakko Hintikka: Knowledge and Belief, Cornell University Press, New York 1962.

    Google Scholar 

  12. Paul Johannesson & Benkt Wangler: “The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems Architecture”, in Proceedings of the XI World Computer Congress, San Francisco 1989.

    Google Scholar 

  13. Stephen Cole Kleene: Introduction to Metamathematics, North-Holland 1952.

    Google Scholar 

  14. E.J. Lemmon in collaboration with Dana Scott (Ed. Segerberg): An Introduction to Modal Logic, in American Philosophical Quarterly Monograph Series, Ed. Rescher, Oxford 1977. Written in 1966.

    Google Scholar 

  15. H.J. Levesque: “The Logic of Incomplete Knowledge Bases”, in Conceptual Modelling, pp. 165–186, Eds. Brodie, Mylopoulos, Schmidt, Springer Verlag, New York 1984.

    Google Scholar 

  16. H.J. Levesque: “All I know: A Study in Autoepistemic Logic”, in Artificial Intelligence, Vol.42, pp. 263–309, 1990.

    Google Scholar 

  17. Krister Segerberg: An Essay in Classical Modal Logic, Filosofiska Föreningen, Uppsala 1971.

    MATH  Google Scholar 

  18. Amit Sheth & James Larson: “Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases” in ACM Computing Surveys, Vol.22, No.3, pp. 183–236, 1990.

    Google Scholar 

  19. Raymond Smullyan: First-Order Logic, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 43, Springer-Verlag 1968.

    Google Scholar 

  20. André Thayse et.aL: From Standard Logic To Logic Programming, Chapter 4, John Wiley & Sons 1988.

    Google Scholar 

  21. Lincoln A. Wallen: Automated Deduction in Nonclassical Logics, MIT Press 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SYSLAB/DECODE, Department of Computer and Systems Sciences, The Royal Institute of Technology and Stockholm University, Electrum 230, S-164 40, Kista, Sweden

    Magnus Boman & Paul Johannesson

Authors
  1. Magnus Boman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paul Johannesson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DAKE Centre, University of Keele, ST5 5BG, Keele, Staffordshire, UK

    S. M. Deen MSc, PhD, DIC, FBCS, C.Eng.

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag London Limited

About this paper

Cite this paper

Boman, M., Johannesson, P. (1991). Epistemic Logic as a Framework for Federated Information Systems. In: Deen, S.M. (eds) CKBS ’90. Springer, London. https://doi.org/10.1007/978-1-4471-1831-2_14

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-1831-2_14

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19649-5

  • Online ISBN: 978-1-4471-1831-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation