Nonmonotonic reasoning based on incomplete logic (Q4380299)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1127871
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Nonmonotonic reasoning based on incomplete logic |
scientific article; zbMATH DE number 1127871 |
Statements
Nonmonotonic reasoning based on incomplete logic (English)
0 references
11 March 1998
0 references
partial logic
0 references
nonmonotonic reasoning
0 references
default logic
0 references
circumscription
0 references
autoepistemic logic
0 references
The authors re-examine several approaches to nonmonotonic reasoning that make background use of classical logic, and reformulate them using a certain nonclassical logic. The latter is a three-valued logic, called by the authors ``incomplete logic'', and closely related to what is known in the literature as ``partial logic''. The kinds of nonmonotonic reasoning that are recast in this way are Reiter default logic, circumscription, and autoepistemic logic.
0 references
