Operational Characterization of Extensions in Some Logics for Default Reasoning

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Default reasoning is one of the most common forms of nonmonotonic reasoning, and is found in many application domains. Default logic and its variants have been proposed as knowledge representation methods capable of default reasoning. One problem of all these methods is that their concepts are given in terms of fixed-point equations, thus making them difficult to understand and use. In this paper, we present simple, constructive approaches for the semantics of some default logic variants, and show their correctness.

Original languageEnglish
Pages (from-to)261-273
Number of pages13
JournalInformation Sciences
Volume89
Issue number3-4
DOIs
Publication statusPublished - 1 Mar 1996
Externally publishedYes

Fingerprint

Default Reasoning
Default Logic
Knowledge representation
Semantics
Logic
Fixed-point Equation
Nonmonotonic Reasoning
Knowledge Representation
Correctness
Form
Concepts

Cite this

@article{3569c5717fa34fc8bff8f8feb8d6455c,
title = "Operational Characterization of Extensions in Some Logics for Default Reasoning",
abstract = "Default reasoning is one of the most common forms of nonmonotonic reasoning, and is found in many application domains. Default logic and its variants have been proposed as knowledge representation methods capable of default reasoning. One problem of all these methods is that their concepts are given in terms of fixed-point equations, thus making them difficult to understand and use. In this paper, we present simple, constructive approaches for the semantics of some default logic variants, and show their correctness.",
author = "Grigoris Antoniou",
year = "1996",
month = "3",
day = "1",
doi = "10.1016/0020-0255(95)00234-0",
language = "English",
volume = "89",
pages = "261--273",
journal = "Information Sciences",
issn = "0020-0255",
publisher = "Elsevier Inc.",
number = "3-4",

}

Operational Characterization of Extensions in Some Logics for Default Reasoning. / Antoniou, Grigoris.

In: Information Sciences, Vol. 89, No. 3-4, 01.03.1996, p. 261-273.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Operational Characterization of Extensions in Some Logics for Default Reasoning

AU - Antoniou, Grigoris

PY - 1996/3/1

Y1 - 1996/3/1

N2 - Default reasoning is one of the most common forms of nonmonotonic reasoning, and is found in many application domains. Default logic and its variants have been proposed as knowledge representation methods capable of default reasoning. One problem of all these methods is that their concepts are given in terms of fixed-point equations, thus making them difficult to understand and use. In this paper, we present simple, constructive approaches for the semantics of some default logic variants, and show their correctness.

AB - Default reasoning is one of the most common forms of nonmonotonic reasoning, and is found in many application domains. Default logic and its variants have been proposed as knowledge representation methods capable of default reasoning. One problem of all these methods is that their concepts are given in terms of fixed-point equations, thus making them difficult to understand and use. In this paper, we present simple, constructive approaches for the semantics of some default logic variants, and show their correctness.

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

U2 - 10.1016/0020-0255(95)00234-0

DO - 10.1016/0020-0255(95)00234-0

M3 - Article

VL - 89

SP - 261

EP - 273

JO - Information Sciences

JF - Information Sciences

SN - 0020-0255

IS - 3-4

ER -