Ordering default theories and nonmonotonic logic programs (Q557790)

From MaRDI portal
Revision as of 21:27, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Ordering default theories and nonmonotonic logic programs
scientific article

    Statements

    Ordering default theories and nonmonotonic logic programs (English)
    0 references
    0 references
    30 June 2005
    0 references
    A default theory contains different portions of information: classical/persistent and default/ten\-ta\-tive. These different portions are used in the paper to order default theories. The default theories are characterised by means of a bilattice-based many-valued interpretation having two orderings: information content ordering and truth ordering. When \(Th_1\leq_{DL} Th_2\), conclusions derived from \(Th_1\) are relatively less certain than those derived from \(Th_2\). Such an order \(\leq_{DL}\) is nonmonotonic w.r.t. the increase of information. This allows the author to study ordering relations in the answer-set semantics for nonmonotonic logic programs having many-valued interpretations (for this topic see also the influential paper by \textit{M. Gelfond} and \textit{V. Lifschitz} [New Gener. Comput. 9, No. 3/4, 365--385 (1991; Zbl 0735.68012)]).
    0 references
    default theories
    0 references
    nonmonotonic logic programs
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references