Approximation methods for knowledge representation systems

  • Cecylia M. Rauszer
Approximate Reasoning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 689)


In the paper we examin an approximation logic which may serve as a tool in investigations of distributive knowledge representation systems. The concept of knowledge is based on rough set approach. The logic under consideration is strong enough to capture properties of knowledge understood as partitions of the universe, lower and upper approximations of sets of objects as well as properties of dependencies of attributes.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Halpern, J. (ed.) (1986) Proceedings of the Conference Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann.Google Scholar
  2. 2.
    Halpern J.Y., Moses Y. (1992) A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54, pp 309–379.Google Scholar
  3. 3.
    Hintikka, J. (1962) Knowledge an Belief. Cornell University Press.Google Scholar
  4. 4.
    Holland, J.H., Holyoak, K.J., Nisbett, R.E., and Thagard, P.R. (1986), Induction: Processes of Inference, Learning and Discovery. MIT Press.Google Scholar
  5. 5.
    Minski, M. (1975), A Framwork for Representation Knowledge. In Winston, P. (ed) The Psychology of Computer Vision McGraw-Hill,New York, pp 211–277.Google Scholar
  6. 6.
    Parikh, R (ed.) (1990) Proceedings of the Conference Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann.Google Scholar
  7. 7.
    Pawlak, Z. (1982), Rough Sets. International Journal of Computer and Information Sciences, 11, pp. 341–346.Google Scholar
  8. 8.
    Pawlak, Z. (1991), Rough Sets-Theoretical Aspects of Reasoning about Data. Kluwer.Google Scholar
  9. 9.
    Pawlak, Z. (1990) Decision Logic, Report of the Warsaw University of Technology, Institute of Computer Science.Google Scholar
  10. 10.
    Rasiowa, H. (1990) On Approximation Logics: A survey. Jahrbuch 1990 der Kurt Gödel Gesellschaft.Google Scholar
  11. 11.
    Rauszer, C.M., Logic for Information Systems. to appear in Fundamenta Informaticae.Google Scholar
  12. 12.
    Skowron, A., On Topology in Information Systems. Bull of the Polish Academy of Sciences, vol 36, No 7–8, 1988, pp.477–479.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Cecylia M. Rauszer
    • 1
  1. 1.Institute of MathematicsUniversity of WarsawWarsaw Banacha 2Poland

Personalised recommendations