Autocircumscription
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.
- A logic for default reasoning
- A theorem on the consistency of circumscription
- Circumscription - a form of non-monotonic reasoning
- Completeness results for circumscription
- scientific article; zbMATH DE number 4156408 (Why is no real title available?)
- Inner models for set theory—Part I
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
- Languages with self-reference. II: Knowledge, belief, and modality
- Non-monotonic logic. I
- Nonmonotonic logic and temporal projection
- On the representation of context
- On the satisfiability of circumscription
- Semantical considerations on nonmonotonic logic
- Solution of a problem of Leon Henkin
- The mathematics of non-monotonic reasoning
- Toward useful type-free theories. I
- Autoepistemic logic of first order and its expressive power
- Circumscriptive semantics for updating knowledge bases
- Dynamic reasoning with qualified syllogisms
- Characterising equilibrium logic and nested logic programs: Reductions and complexity,
- scientific article; zbMATH DE number 4158607 (Why is no real title available?)
- scientific article; zbMATH DE number 35418 (Why is no real title available?)
- John McCarthy's legacy
This page was built for publication: Autocircumscription
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1105394)
