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

Logic programming
Substitution reactions
Semantics

Cite this

@article{5740b271df3f4fe2825cc6d826a7d8b9,
title = "A Correct Logic Programming Computation of Default Logic Extensions",
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.",
keywords = "Default logic, Logic programming, SLDNF-resolution",
author = "Grigoris Antoniou and Elmar Langetepe",
year = "1997",
month = "2",
day = "1",
doi = "10.1023/A:1005771523328",
language = "English",
volume = "18",
pages = "25--46",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "1",

}

A Correct Logic Programming Computation of Default Logic Extensions. / Antoniou, Grigoris; Langetepe, Elmar.

In: Journal of Automated Reasoning, Vol. 18, No. 1, 01.02.1997, p. 25-46.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A Correct Logic Programming Computation of Default Logic Extensions

AU - Antoniou, Grigoris

AU - Langetepe, Elmar

PY - 1997/2/1

Y1 - 1997/2/1

N2 - 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.

AB - 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.

KW - Default logic

KW - Logic programming

KW - SLDNF-resolution

UR - http://www.scopus.com/inward/record.url?scp=0031079459&partnerID=8YFLogxK

U2 - 10.1023/A:1005771523328

DO - 10.1023/A:1005771523328

M3 - Article

VL - 18

SP - 25

EP - 46

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 1

ER -