Nonmonotonic inference operations
From MaRDI portal
Abstract: A. Tarski proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations is inspired by the results of Kraus, Lehmann and Magidor on finitary nonmonotonic operations, but this paper is self-contained.
Recommendations
- Deductive Nonmonotonic Inference Operations: Antitonic Representations
- Nonmonotonic inference based on expectations
- scientific article; zbMATH DE number 1761407
- Nonmonotonicity and answer set inference
- Generalized compactness of nonmonotonic inference operations
- scientific article; zbMATH DE number 1749200
- Semantics-based nonmonotonic inference
- Monotonic and non-monotonic inductive inference
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations
- scientific article; zbMATH DE number 4080969
Cited in
(6)- Nonmonotonic inference based on expectations
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations
- Brave nonmonotonic inference and its kinds
- Defaults as restrictions on classical Hilbert-style proofs
- Generalized compactness of nonmonotonic inference operations
- Connectives in Cumulative Logics
This page was built for publication: Nonmonotonic inference operations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4291870)
