Abstract
A duality between Pawlak's knowledge representation systems and certain information systems of logical type, called bi-consequence systems is established. As an application a first-order characterization of some informational relations is given and a completeness theorem for the corresponding modal logic INF is proved. It is shown that INF possesses finite model property and hence is decidable.
Similar content being viewed by others
References
Benthem J. F. A. K.,Modal Logic and Classical Logic Bibliopolis, Napoly, 1986.
Gabbay D.,Semantical considerations in Heyting's Intuitionistic Logic, Synthese Library, v. 148., D. Reydel Publishing Company, Holland, 1981.
Hughes G. &M. J. Cresswell,A Companion to Modal Logic Methuen, London, 1984.
Orlowska, E., ‘Modal logics in the theory of information systems’,Zeitschrift Für Mathematishe Logic Und Grundlagen Der Mathematik 30(1984) 213–222.
Orlowska E., ‘Logic of non-deterministic information’,Studia Logica XLIV(1985), 93–102.
Orlowska E., ‘Logic of indiscernibility relations’,ICS PAS Reports 546, 1984 LNCS 208, 1985, 177–186.
Orlowska E., ‘Kripke models with relative accessibility relations and their applications to inferences from incomplete information’, in: G. Mirkowska and H. Rasiowa (eds.)Mathematical Problems in Computation Theory Banach Center Publikations 21, Polish Scientific Publishers, Warsaw, 1987, 327–337.
Orlowska E., ‘Logic approach to information systems’,Fundamenta Informaticae 8(1988), 359–378.
Orlowska E., ‘Kripke semantics for knowledge representation logics’,Studia Logica XLIX, 2(1990), 255–272.
Orlowska E., ‘Rough set semantics for nonclassical logics’, manuskript, June 1993.
Orlowska E. andZ. Pawlak,Logical foundations of knowledge representation systems, ICS PAS Reports 573, 1984.
Orlowska E. andZ. Pawlak, ‘Pepresentation of Nondeterministic Information’,Theoretical Computer Science 29(1984) 27–39.
Pawlak Z., ‘Information systems — theoretical foundations’,Information Systems 6(1981), 205–218.
Pawlak Z.,Systemy Informacyjne WNT, Warszawa, 1983, In Poish.
Pawlak Z.,Rough Sets. Theoretical Aspects of reasoning about Data. Kluwer Academic Publishers, Dordrecht/Boston/London, 1991.
Rasiowa H. andR. Sikorski.The mathematics of Metamathematics PWN, Warsaw, 1963.
Scott D., ‘Domains for Denotational Semantics’, A corrected and expanded version of a paper prepared forICALP'82, Aarthus, Denmark 1982.
Segerberg K.,Essay in Classical Modal Logic, Uppsala, 1971.
Segerberg K.,Classical propositional operators Clarendon Press, Oxford, 1982.
Slowinski R., (ed.),Intelligent Decision Support, Handbook of Applications and Advances of Rough Sets Theory, Cluver Academic Publishers, 1992.
Stone M., ‘Topological Representation of Distributive Lattices and Brouwerian Logics’,Cas. Mat. Fys. No 67, 1937 pp. 1–25.
Vakarelov D., ‘Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information’, in:Artificial Intelligence II, Methodology, Systems, Applications, Ph. Jorrand and V. Sgurev (eds), North-Holland, 1987.
Vakarelov D., ‘S4 and S5 together -S4+5’, in:8th International Congress of Logic, Methodology and Philosophy of Science, LMPS'87, Moscow, USSR, 17–22 August 1987, Abstracts, vol. 5, part 3, 271–274.
Vakarelov D., ‘Modal characterization of the classes of finite and infinite quasi-ordered sets’, SU/LAL/preprint No1, 1988,Proc. Summer School and Conference on Mathematical Logic, Heyting'88, Chajka near Varna, Bulgaria, 1988.
Vakarelov D., ‘Modal logics for knowledge representation systems’,LNCS 363, 1989, 257–277,Theoretical Computer Science 90(1991) 433–456.
Vakarelov D., ‘A modal logic for similarity relations in Pawlak knowledge representation systems’,Fundamenta Informaticae XV (1991), 61–79.
Vakarelov D., ‘Logical analysis of positive and nagative similarity relations in property systems’. in:WOCFAI'91, First World Conference in the Fundamentals of Artificial Intelligence, 1–5 July 1991, Paris, France, Proceedings (ed.) Mishel De Glas and Dov Gabbay, pp 491–499.
Vakarelov D., ‘Consequence relations and information systems’, in:Intelligent Decision Support, Handbook of Applications and Advances of Rough Sets Theory, (ed.) R. Slowinski, Kluwer Academic Publishers, 1992.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Vakarelov, D. A duality between Pawlak's knowledge representation systems and bi-consequence systems. Stud Logica 55, 205–228 (1995). https://doi.org/10.1007/BF01053038
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01053038