Here and There among Logics for Logic Programming
We explore the range of propositional logics suitable for logic programs under the stable semantics, starting with the logic of here-and-there as a primary representative. It will be shown, however, that there are other potential logics in the range. Still, all such logics are based on essentially the same semantics, so their differences are largely due to choice of the underlying language. Our representation suggests a more tolerant answer to the question ‘What is the Logic of Logic Programming?’, as well as some further expressive opportunities in using logic programs as a general knowledge representation formalism.
KeywordsLogic Program Logic Programming Classical Logic Intuitionistic Logic Logical Formula
Unable to display preview. Download preview PDF.
- 3.Belnap Jr., N.D.: A useful four-valued logic. In: Dunn, M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8–41. D. Reidel (1977)Google Scholar
- 7.Bochman, A.: A causal logic of logic programming. In: Dubois, D., Welty, C., Williams, M.-A. (eds.) Proc. Ninth Conference on Principles of Knowledge Representation and Reasoning, KR 2004, pp. 427–437. Whistler (2004)Google Scholar
- 8.Bochman, A.: Explanatory Nonmonotonic Reasoning. World Scientific (2005)Google Scholar
- 9.Bochman, A.: Logic in nonmonotonic reasoning. In: Brewka, G., Marek, V.W., Truszczynski, M. (eds.) Nonmonotonic Reasoning. Essays Celebrating its 30th Anniversary, pp. 25–61. College Publ. (2011)Google Scholar
- 10.Bochman, A., Lifschitz, V.: Yet another characterization of strong equivalence. In: Hermenegildo, M., Schaub, T. (eds.) Technical Communications of the 26th Int’l. Conference on Logic Programming (ICLP 2010). Leibniz International Proceedings in Informatics (LIPIcs), vol. 7, pp. 281–290. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl (2011)Google Scholar