论文信息 - Kripke semantics for knowledge representation logics

Kripke semantics for knowledge representation logics

This article provides an overview of development of Kripke semantics for logics determined by information systems. The proposals are made to extend the standard Kripke structures to the structures based on information systems. The underlying logics are defined and problems of their axiomatization are discussed. Several open problems connected with the logics are formulated. Logical aspects of incompleteness of information provided by information systems are considered.

Ewa Orlowska | E. Orlowska

[1] Ewa Orlowska,et al. Semantics of Vague Concepts , 1985 .

[2] G. Frege. Über Sinn und Bedeutung , 1892 .

[3] Ewa Orlowska,et al. Kripke models with relative accessibility and their applications to inferences from incomplete information , 1988 .

[4] T. Iwiński. Algebraic approach to rough sets , 1987 .

[5] Ewa Orlowska,et al. Logic of nondeterministic information , 1985, Stud Logica.

[6] Zdzislaw Pawlak,et al. Information systems theoretical foundations , 1981, Inf. Syst..

[7] Dana S. Scott,et al. Advice on Modal Logic , 1970 .

[8] Vaughan R. Pratt,et al. Application of modal logic to programming , 1980 .

[9] W. Zakowski. APPROXIMATIONS IN THE SPACE (U,π) , 1983 .

[10] Ewa Orlowska,et al. Representation of Nondeterministic Information , 1984, Theor. Comput. Sci..

[11] Dimiter Vakarelov. Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information , 1986, AIMSA.

[12] Krister Segerberg,et al. Applying modal logic , 1980 .

[13] Luis Fariñas del Cerro,et al. DAL - A Logic for Data Analysis , 1985, Theor. Comput. Sci..

[14] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .