A Correct Logic Programming Computation of Default Logic Extensions

Grigoris Antoniou, Elmar Langetepe

Research output: Contribution to journalArticle

Abstract

We present a method of representing some classes of default theories as normal logic programs. The main point is that the standart semantics (i.e., SLDNF-resolution) computes answer substitutions that correspond exactly to the extensions of the represented default theory. This means that we give a correct implementation of default logic. We explain the steps of constructing a logic program LogProg(P, D) from a given default theory (P, D), give some examples, and derive soundness and completeness results.

Original languageEnglish
Pages (from-to)25-46
Number of pages22
JournalJournal of Automated Reasoning
Volume18
Issue number1
DOIs
Publication statusPublished - 1 Feb 1997
Externally publishedYes

Fingerprint Dive into the research topics of 'A Correct Logic Programming Computation of Default Logic Extensions'. Together they form a unique fingerprint.

  • Cite this