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

Cite this