Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Fariñas del Cerro, L. and Orlowska, E. (1985) DAL-a logic for data analysis. Theoretical Computer Science 36, 251–264.
Goldblatt, R. (1987) Logics of time and computation. Center for the Study of Language and Information, Stanford.
Halpern, J. (ed) (1986) Theoretical aspects of reasoning about knowledge. Morgan Kaufmann, Los Altos, California.
Hintikka,J. (1962) Knowledge and belief. Cornell University Press.
Lenzen, W. (1978) Recent work in epistemic logic. Acta Philosophica Fennica 30, 1–219.
Orlowska, E. (1983) Semantics of vague concepts. In: Dorn, G. and Weingartner, P. (eds) Foundations of logic and linguistics. Problems and their solutions. Selected contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg 1983. Plenum Press, London-New York, 465–482.
Orlowska, E. (1985) Logic of nondeterministic information. Studia Logica XLIV, 93–102.
Orlowska, E. (1988) Logical aspects of learning concepts. Journal of Approximate Reasoning 2, 349–364.
Orlowska, E. (1989) Logic for reasoning about knowledge. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 35, 559–572.
Orlowska, E. (1991a) Relational interpretation of modal logics. In: Andreka, H., Monk, D. and Nemeti, I. (eds) Algebraic Logic. North Holland, Amsterdam, to appear.
Orlowska,E. (1991b) Dynamic logic with program specifications and its relational proof system. Journal of Applied Non-Classical Logics, to appear.
Pawlak, Z. (1981) Information systems-theoretical foundations. Information Systems 6, 205–218.
Prior, A. (1967) Past, present and future. Oxford University Press, Oxford.
Segerberg, K. (1971) An essay in classical modal logic. University of Uppsala, Uppsala.
Valiev,M.K. (1988) Interpretation of modal logics as epistemic logics (In Russian). Proceedings of the Conference Borzomi'88, Moscow, 76–77.
Vakarelov, D. (1987) Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. In: Jorrand, Ph. and Sgurev, V. (eds) Artificial Intelligence II, Methodology, Systems, Applications. North Holland, Amsterdam.
Vakarelov, D. (1989) Modal logics for knowledge representation. Springer Lecture Notes in Computer Science 363, 257–277.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Orlowska, E. (1991). Relational proof systems for some AI logics. In: Jorrand, P., Kelemen, J. (eds) Fundamentals of Artificial Intelligence Research. FAIR 1991. Lecture Notes in Computer Science, vol 535. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54507-7_4
Download citation
DOI: https://doi.org/10.1007/3-540-54507-7_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54507-1
Online ISBN: 978-3-540-38420-5
eBook Packages: Springer Book Archive