Abstract
We study two methods for non-monotonic reasoning within amalgamated logic programming. One approach extends Bowen and Kowalski's consistency checking method with an epistemic interpretation for consistency. The other is to simulate Levesque's logic of All I Know(OL) for realizing non-monotonic provability. We show the representations of autoepistemic reasoning in these methods.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Akama,S. (1989): Meta-logic programming for non-monotonic reasoning, Proc. of the Second International Symposium on Artificial Intelligence, October, Monterrey, Mexico.
Akama,S. (1991): Theories as agents, draft.
Akama,S. and Ohnishi,H. (1990): Outline of epistemic knowledge base, Z.W.Ras, M.Zemankova and M.L.Emrich (eds.), Methodologies for Intelligent Systems 5, Proc. of the Fifth International Symposium on Methodologies for Intelligent Systems, 110–117, October, Knoxville, Tennessee, U.S.A., North-Holland, Amsterdam.
Bowen,K.A. (1985): Meta-level programming and knowledge representation, New Generation Computing 3, 359–383.
Bowen,K.A. and Kowalski,R.A., (1982): Amalgamating language and metalanguage in logic programming, K.L.Clark and S.A.Tarnlund (eds.), Logic Programming, 153–172, Academic Press, New York.
Clark,K.L. (1978): Negation as failure, H.Gallaire and J.Minker(eds.), Logic and Databases, 293–322, Plenum, New York.
Farinas del Cerro, L. (1986): MOLOG, a system that extends Prolog with modal logic, New Generation Computing 4, 35–51.
Gabbay,D. (1984): Theoretical foundations for non-monotonic reasoning in expert systems, K.R.Apt (ed.), Logics and Models of Concurrent Systems, 439–459, Springer, Berlin.
Ginsberg,M.L. (ed.) (1987): Readings in Non-Monotonic Reasoning, Morgan Kaufmann Publishers, Los Altos.
Hintikka,J. (1962): Knowledge and Belief, Cornel University Press, Ithaca.
Jiang,Y.J. (1990): An epistemic model of logic programming, New Generation Computing 8, 33–59.
Kraus,S., Lehmann,D. and Magidor,M. (1990): Non-monotonic reasoning, preference models and cumulative logics, Artificial Intelligence 44, 167–207.
Levesque,H. (1990): All I know: a study in autoepistemic logic, Artificial Intelligence 42, 263–309.
Makinson,D. (1989): General theory of cumulative inference, Proc. of the Second International Workshop on Non-Monotonic Reasoning, 1–18, Lecture Notes on Computer Science 346, Springer, Berlin.
McDermott,D. and Doyle,J. (1980): Non-monotonic logic I, Artificial Intelligence 13, 41–72.
Moore,R.C. (1975): Reasoning about Knowledge and Action, Ph.D. Thesis, MIT.
Moore,R.C. (1985): Semantical considerations on nonmonotonic logic, Artificial Intelligence 25, 75–94.
Ohlbach,H.J. (1988): A Resolution Calculus for Modal Logics, Ph.D. Thesis, F.B. Informatik, University of Kaiserslautern, West Germany.
Reiter,R. (1980): A logic for default reasoning, Artificial Intelligence 13, 81–132.
Shoham,Y. (1987): A semantical approach to nonmonotonic logics, Proc. of Logics in Computer Science, 275–279.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Akama, S. (1991). Amalgamated logic programming and non-monotonic reasoning. In: Ras, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1991. Lecture Notes in Computer Science, vol 542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54563-8_108
Download citation
DOI: https://doi.org/10.1007/3-540-54563-8_108
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54563-7
Online ISBN: 978-3-540-38466-3
eBook Packages: Springer Book Archive