Skip to main content
SpringerLink
Log in

Information Systems via Epistemic States

  • Conference paper
  • First Online:
Innovations and Advances in Computer Sciences and Engineering

  • 926 Accesses

Abstract

We develop a multi-valued logic approach to data base design, that are tolerant to inconsistent information. Also, we discuss possible knowledge transformers in one type of such data bases.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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. A.R.Anderson and N.D. Belnap, Entailment: the Logic of Relevance and A Necessity, Vol. 1, Princeton Univ. Press, 1975.

    Google Scholar 

  2. A.R. Anderson, N.D. Belnap, and J.M. Dunn. Entailment: the Logic of Relevance and Necessity, Vol. 2, Princeton Univ. Press, 1992.

    Google Scholar 

  3. N.D. Belnap. A Useful Four Valued Logic. In: J.M. Dunn and G. Epstein, editors, Modern Uses of Multiple-Valued Logic, Proceedings of International Symposium on Multiple-Valued Logics, 5th, Indiana University, 9–37, D. Readel Publ. Co., 1975.

    Google Scholar 

  4. B.A. Davey and H.A. Priestley, Introduction to Lattices Order, Cambridge Univ. Press, 2nd Edition, 2002.

    Google Scholar 

  5. G. Gierz, K.H. Hofmann, K. Keimel,, Lawson, M. Mislove, and D.S. Scott, Continuous Lattices and Domains, Cambridge University Press, 2003.

    Google Scholar 

  6. G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, and D.S. Scott, Compendium of Continuous Lattices, Springer-Verlag, 1980.

    Google Scholar 

  7. C.A. Gunter and D.S. Scott. Semantic Domains. In: J.van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B: “Formal Models and Semantics,” pages 635–674, Elsevier, 1990.

    Google Scholar 

  8. Y.M. Kaluzhny and A.Y. Muravitsky. A Knowledge Representation Based on the Belnap’s Four-Valued Logic, Journal of Applied Non-Classical Logics, Vol. 3, no. 2, 1993, 189–203.

    MATH  MathSciNet  Google Scholar 

  9. S.C. Kleene. Introduction to Metamathematics, P. Noordhof of N.V., Groningen, 1952.

    MATH  Google Scholar 

  10. A.Y. Muravitsky, A Framework for Knowledge-Based Systems, Journal of Applied Non-Classical Logics, Vol. 6, no. 3, 1996, 263–286.

    MATH  MathSciNet  Google Scholar 

  11. A.Y. Muravitsky. Knowledge Representation as Domain, Journal of Applied Non- Classical Logics, Vol. 7, no. 3, 1997, 343–364.

    MATH  MathSciNet  Google Scholar 

  12. A.Y. Muravitsky. Logic of Information Knowledge: a New Paradigm. In: R. Asatiani, K. Balogh, G. Chikoidze, P. Dekker, and D. de Jongh, editors, Proceedings of the Fifth Tbilisi Symposium on Language, Logic and Computation, ILL – University of Amsterdam, 2004, 121–128.

    Google Scholar 

  13. D.S. Scott, Continuous Lattices, Lecture Notes in Mathematics, Vol. 274, 1972, 97–136.

    Article  Google Scholar 

  14. D.S. Scott, Domains for Denotational Semantics, Lecture Notes in Computer Science, no. 140, 1982, 577–613.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Louisiana Scholars’ College, Northwestern State University, Natchitoches, LA, U.S.A

    Alexei Y. Muravitsky

Authors
  1. Alexei Y. Muravitsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexei Y. Muravitsky .

Editor information

Editors and Affiliations

  1. School of Engineering, University of Bridgeport, University Avenue 221, Bridgeport, 06604, U.S.A.

    Tarek Sobh

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer Science+Business Media B.V.

About this paper

Cite this paper

Muravitsky, A.Y. (2010). Information Systems via Epistemic States. In: Sobh, T. (eds) Innovations and Advances in Computer Sciences and Engineering. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-3658-2_46

Download citation

  • DOI: https://doi.org/10.1007/978-90-481-3658-2_46

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-3657-5

  • Online ISBN: 978-90-481-3658-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation