Skip to main content
SpringerLink
Log in

Are There Essentially Incomplete Knowledge Representation Systems?

  • Conference paper
  • First Online:
Fundamentals of Computation Theory (FCT 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2138))

Included in the following conference series:

Abstract

A mathematical model of a knowledge representation system (KR-system) is proposed. Its prototype is the concept of an information system in the sense of Z. Pawlak; however, the model is, in fact, a substantial extension of the latter. In our model, attributes may form an arbitrary category, where morphisms represent built-in functional dependencies, and uncertainty of knowledge is treated in terms of category theory via monads. Several notions of simulation are also considered for such KR-systems. In this general setting, the semiphilosophical problem mentioned in the title, still open, is given a precise meaning.

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. Arbib, M., Manes, E.: Fuzzy machines in category. Bull. Austral. Math. Soc. 13 (1975), 169–210.

    Article  MATH  MathSciNet  Google Scholar 

  2. Archangelsky, D.A., Taitslin, M.A.: A logic for information systems. Stud. Log. 58 (1997), 3–16.

    MATH  MathSciNet  Google Scholar 

  3. Cīrulis, J.: An algebraic approach to knowledge representation. MFCS’99, LNCS 1672 (1999), 299–309.

    Google Scholar 

  4. Finkelstein, D., Finkelstein, S.R.: Computational Complementarity. Internat. J. Theoret. Phys. 22 (1983), 753–779.

    Article  MATH  MathSciNet  Google Scholar 

  5. Goodman, I.R., Nguyen, H.T.: Uncertainty models for knowledge based systems. North-Holland, Amsterdam e.a., 1985.

    MATH  Google Scholar 

  6. Mac Lane, S.: Categories for the Working Mathematician. Springer-Verlag, N.Y. e.a., 1971.

    MATH  Google Scholar 

  7. Manes, E.G.: Review of “Fuzzy Sets and Systems: Theory and Applications”, by D. Dubois and H. Prade, Acad. Press, 1980. Bull. Amer. Math. Soc. 7 (1982), 603–612.

    Google Scholar 

  8. Manes, E.G.: A class of fuzzy theories. Math. Anal. Appl. 85 (1982), 409–451.

    Article  MATH  MathSciNet  Google Scholar 

  9. Madner, J.: Standard monads. Arch. Math. (Brno) 23 (1987), 77–88.

    MathSciNet  Google Scholar 

  10. Moore, E,F.: Gedanken-experiments on sequential machines. In: Shannon, C.E., McCharty, J. (eds): Automata Studies, Princeton Univ. Press, 1956, 129–156.

    Google Scholar 

  11. van Oosten, J.: Basic Category Theory. BRICS Lecture Series LS-95-1, Univ. of Aarhus, 1995.

    Google Scholar 

  12. Orłovska, E., Pawlak, Z.: Representation of nondeterministic information. Theoret. Comput. Sci. 29 (1984), 27–39.

    Article  MathSciNet  Google Scholar 

  13. Pawlak, Z.: Information systems — theoretical foundations. Inform. Systems 6 (1981), 205–218.

    Article  MATH  Google Scholar 

  14. Pomykała, J.A., de Haas, E.: A note on categories of information systems. Demonstr. Math. 37, (1991) 663–671.

    Google Scholar 

  15. Poigné, A.: Basic category theory. In: Handbook of Logic in Computer Science, Vol. 1. Clarendon Press, Oxford, 1992, 416–640.

    Google Scholar 

  16. Starke, P.H.: Abstrakte Automaten. WEB Deutscher Verl. Wissensch., Berlin, 1969.

    MATH  Google Scholar 

  17. Svozil, K.: Quantum Logic. Springer-Verlag Singapore Pte. Ltd., 1998.

    Google Scholar 

  18. Tsirulis, Ya.P.: Variations on the theme of quantum logic (in Russian). In: Algebra i Diskretnaya Matematika, Latv. State Univ., Riga, 1984, 146–158.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Latvia, Riga, LV-1586, Latvia

    Jānis Cīrulis

Authors
  1. Jānis Cīrulis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Latvia, Raiņa bulvaris 29, LV-1459, Riga, Latvia

    Rūsiņš Freivalds

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cīrulis, J. (2001). Are There Essentially Incomplete Knowledge Representation Systems?. In: Freivalds, R. (eds) Fundamentals of Computation Theory. FCT 2001. Lecture Notes in Computer Science, vol 2138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44669-9_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-44669-9_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42487-1

  • Online ISBN: 978-3-540-44669-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation