Abstract
Current semantics of logic programs normally ignore thesyntactical aspects of the programs. As a result, only the meanings ofsome well-behaved programs can be captured by these semantics. In this paper however, we propose a new semantics of logic programs that can reflectsome of the syntactical behaviours of the programs. The central notion of the semantics is the concept of aneutral clause p ← A which does not affect the behaviour of p in a program. The logic that underlies the semantics is based on anintensional extension of Levesque’s autoepistemicpredicate logic. It differs from existing autoepistemic logics in that it isquantificational andconstructive. We will also compare and contrast our semantics with some well-known semantics. In particular, we will show how to capture the undefined value of a logic program without resorting to a three-valued nonmonotonic formalism. This is achieved by translating an incoherent AE logic program to a program with multiple AE extensions whose intersection can then be used to characterize the undefined value of a logic program.
Similar content being viewed by others
References
Apt, K., et al “Towards a Theory of Declarative Knowledge” inFoundation of Deductive and Logic Programming (J. Minker, ed.), Morgan Kaufmann, pp. 89–142, 1988.
Bonanti, P., “Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs,”ICLP 1992.
Clark, K., “Negation as Failure,” inLogic and Database (H. Galliare and J. Minker, eds.), Plenum Press, New York, pp. 293–322, 1978.
Dung, P. and Kanchanasutt, “A Fixpoint Semantics for Logic Programs with Negation,”9th TCS&ST, India, LNCS Notes, 1989.
van Emden, M. and Kowalski, R., “The Semantics of Predicate Logic as a Programming Language,”JACM, 23, 4, pp. 733–742, 1976.
Fitting, M., “A Kripke-Kleene Semantics for Logic Programs.”J. Logic Program 2, pp. 295–312, 1985.
Gabbay, D.,Modal Probability Foundations for Negation as Failure, Dept. of Computing, Imperial College, London, 1986.
Gelfond, M., “On Stratified Autoepistemic Theories,”AAAI 87, 1987.
Gelfond, M. and Lifschitz, V., “The Stable Model Semantics of Logic Programming,”Int. Conf. on Logic Programming, 1988.
Jiang, Y. J., “An Intensional Autoepistemic Predicate Logic,” to appear, 1991.
Jiang, Y. J., “An International Epistemic Logic,”Studia Logica Vol. 2, 1993.
Kunen, K., “Negation in Logic Programming,”J. of Logic Programming 4, pp. 289–308, 1987.
Konolige, K., “Resolution and Quantified Epistemic Logics,”8th Int. Conf. on Automated Deduction, LNCS Note 230, pp. 199–208, 1986.
Konolige, K. “On the Relationship between Circumscription and AE Logic,”IJCAI 85, 1989.
Levesque, H. J., “All I Know: Abridged Report,”AAAI 87, a full version, Dept. of Comp. Science, Toronto University, 1987.
Lifschitz, V., “Between Circumscription and Autoepistemic Logic,”1st Int. Conf. on Principles of Knowledge Representation (Reiter et al., eds.), 1989.
Marek, W. and Truszczynski, “Stable Semantics for Logic Programs and Default Theories,”NACLP 89, 1989.
Moore, R. C., “Semantic Considerations of Non-monotonic Logic,”Artificial Intelligence, 25, 1, 1985.
Moore, R. C., “Autoepistemic Logic,”SRI 3068, 1986.
Niemela, I., “Autoepistemic Predicate Logic,”ECAI 88, pp. 595–599, 1988.
Prymusinski, T., “Perfect Model Semantics,”ICLP 1988, 1988.
Przymusinski, T., “Nonmonotonic Formalisms and Logic Programming,”ICLP 89, 1989.
Przymusinski, H. and Przymusinski, T., “Weakly Perfect Model Semantics for Logic Programs,”ICLP 1988, 1988.
Przymusinski, T., “Three-valued Nonmonotonic Formalisms and Sémantics of Logic Programs,”Artificial Intelligence 49, pp. 309–343, 1991.
Reiter, R., “A Logic for Default Reasoning,”Artificial Intelligence, 13, 1980.
Reiter, R., “Closed World Assumption,”Logic and Database (H. Galliare and J. Minker, eds.), Plenum Press, New York, pp. 293–322, 1988.
Van Gelder, A., et al., “The Well-founded Semantics for General Logic Programs,”JACM 38, pp. 620–650, 1991.
Marek, W., and Subrahmanian, V., “The Relationship between Logic Program Semantics and Nonmonotonic Reasoning,”ICLP 89, pp. 600–617, 1989.
Author information
Authors and Affiliations
Additional information
Yuejun Jiang, Ph. D.: He joined the Department of Computing at Imperial College in January 1990 when he became a research associate to Professors Barry Richards and Dov Gabbay. He acted as a research coordinator of the planning group in the Logic Programming Section. In October 1992, He further became a research associate to Professor Robert Kowalski, responsible for the meta reasoning project. Previous to Imperial College, he was a British Telecom fellow at the Computer Laboratory, University of Cambridge. He received a 1st class B. Sc degree (10/1980–7/1983) and Ph. D in computing at Manchester University (10/1983–10/1986). He was also an ICL fellow at Essex University between 1987 and 1988. His main research interests are in nonmonotonic reasoning, multiagent planning, temporal reasoning, dynamic constraint solving and mata reasoning.
About this article
Cite this article
Jiang, Y.J. On the autoepistemic reconstruction of logic programming. New Gener Comput 11, 107–124 (1993). https://doi.org/10.1007/BF03037155
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF03037155