Approximation methods for knowledge representation systems
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.
- 1.Halpern, J. (ed.) (1986) Proceedings of the Conference Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann.Google Scholar
- 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.Hintikka, J. (1962) Knowledge an Belief. Cornell University Press.Google Scholar
- 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.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.Parikh, R (ed.) (1990) Proceedings of the Conference Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann.Google Scholar
- 7.Pawlak, Z. (1982), Rough Sets. International Journal of Computer and Information Sciences, 11, pp. 341–346.Google Scholar
- 8.Pawlak, Z. (1991), Rough Sets-Theoretical Aspects of Reasoning about Data. Kluwer.Google Scholar
- 9.Pawlak, Z. (1990) Decision Logic, Report of the Warsaw University of Technology, Institute of Computer Science.Google Scholar
- 10.Rasiowa, H. (1990) On Approximation Logics: A survey. Jahrbuch 1990 der Kurt Gödel Gesellschaft.Google Scholar
- 11.Rauszer, C.M., Logic for Information Systems. to appear in Fundamenta Informaticae.Google Scholar
- 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