Autocircumscription (Q1105394)
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: Autocircumscription |
scientific article; zbMATH DE number 4058915
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Autocircumscription |
scientific article; zbMATH DE number 4058915 |
Statements
Autocircumscription (English)
0 references
1988
0 references
Reasoning can be used to select among various possible interpretations of events. But how are these possibilities determined? We isolate two key technical features of circumscription (consistency and minimization), and use the first as the basis for a reformulation of the circumscription principle in a way related to possibility, self-knowledge, and negative introspection. The second (minimization) then can be separately expressed on its own. Conceptual clarity and a kind of validity are results of this separation, as well as a computational means to determine (sometimes) when a wff is not among a reasoner's conclusions.
0 references
autocircumscription
0 references
knowledge representation
0 references
default reasoning
0 references
nonmonotonic reasoning
0 references
Reasoning
0 references
consistency
0 references
minimization
0 references
0 references
