论文信息 - Relational proof systems for some AI logics - 字舞流文

Relational proof systems for some AI logics

Relational methodology of defining automated proof systems has been applied to a modal logic for reasoning with incomplete information and to an epistemic logic for reasoning about partial knowledge of groups of agents.

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

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

[3] Reind P. van de Riet,et al. Artificial intelligence II. Methodology, systems, applications : by Ph. Jorrand and V. Sgurev, Eds. (North-Holland, Amsterdam, 1987) 403 pp , 1987, Future Gener. Comput. Syst..

[4] Wolfgang Lenzen,et al. Recent work in epistemic logic , 1978 .

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

[6] Dimiter Vakarelov,et al. Modal Logics for Knowledge Representation Systems , 1989, Theor. Comput. Sci..

[7] J. Hintikka. Knowledge and belief , 1962 .

[8] Paul Weingartner,et al. Foundations of Logic and Linguistics , 1985 .

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

[10] Ewa Orlowska. Logical aspects of learning concepts , 1988, Int. J. Approx. Reason..

[11] R. Goldblatt. Logics of Time and Computation , 1987 .

[12] Krister Segerberg,et al. An essay in classical modal logic , 1971 .

[13] Ewa Orlowska. Logic For Reasoning About Knowledge , 1989, Math. Log. Q..

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