How to recover from (non)monotonic inconsistencies (Q2776473)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: How to recover from (non)monotonic inconsistencies |
scientific article; zbMATH DE number 1714620
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | How to recover from (non)monotonic inconsistencies |
scientific article; zbMATH DE number 1714620 |
Statements
28 February 2002
0 references
expansion
0 references
contraction
0 references
semantics
0 references
theory recovery
0 references
inconsistency
0 references
nonmonotonic logic
0 references
0 references
0.8024558
0 references
0.79499507
0 references
0.78550595
0 references
0 references
0 references
0 references
How to recover from (non)monotonic inconsistencies (English)
0 references
A minimal set of rationality postulates is proposed for theory recovery, which is the process of restoring consistency in a theory when an inconsistency is detected. Relationships are established between the type of recovery operator to apply, the abstract properties of the logics involved and requirements for the similarity between the recovered theory and the original theory. The general conclusion is that expansions are not suitable for cumulative theories, while contractions cannot be used for non-cumulative theories, such as default logic, autoepistemic logic and nonmonotonic logic programming.NEWLINENEWLINEFor the entire collection see [Zbl 0977.00020].
0 references
