A logic for reasoning with inconsistent knowledge
A logic for reasoning with inconsistent knowledge is described. This logic is a generalization of the work of \textit{N. Rescher} [Hypothetical reasoning, North-Holland, Amsterdam (1964)]. In the logic a reliability relation is used to choose between incompatible assumptions. These choices are only made when a contradiction is derived. As long as no contradiction is derived, the knowledge is assumed to be consistent. This makes it possible to define an executable deduction process for the logic. For the logic a semantic based on the ideas of Shoham is defined. It turns out that the semantics for the logic is a preferential semantics according to the definition of \textit{S. Kraus}, \textit{D. Lehmann} and \textit{M. Magidor} [Nonmonotonic reasoning, preferential models and cumulative logics, Artif. Intell. 44, 167-207 (1990)]. Therefore the logic is a logic of system \({\mathbf P}\) and possesses all the properties of an ideal nonmonotonic logic.
- Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
- Artificial Intelligence: Methodology, Systems, and Applications
- scientific article; zbMATH DE number 4181307
- A semantics for reasoning consistently in the presence of inconsistency
- Nonmonotonic reasoning, preferential models and cumulative logics
- A logic for default reasoning
- A logical framework for default reasoning
- Cumulative default logic: In defense of nonmonotonic inference rules
- scientific article; zbMATH DE number 3663099 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 3266584 (Why is no real title available?)
- Knowledge in flux. Modeling the dynamics of epistemic states
- Nonmonotonic reasoning, preferential models and cumulative logics
- Reasoning about action. I: A possible worlds approach
- A new kind of implication to reason with unknown information
- Inducing inference relations from inconsistency measures
- Abductive inference in defeasible reasoning: a model for research programmes
- A semantics for reasoning consistently in the presence of inconsistency
- scientific article; zbMATH DE number 6685485 (Why is no real title available?)
- Argumentative logics: Reasoning with classically inconsistent information
- Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
- scientific article; zbMATH DE number 4181307 (Why is no real title available?)
- scientific article; zbMATH DE number 4145361 (Why is no real title available?)
- scientific article; zbMATH DE number 140409 (Why is no real title available?)
- scientific article; zbMATH DE number 487144 (Why is no real title available?)
- scientific article; zbMATH DE number 2019865 (Why is no real title available?)
- scientific article; zbMATH DE number 809138 (Why is no real title available?)
- Similarity-based inconsistency-tolerant logics
- scientific article; zbMATH DE number 1453151 (Why is no real title available?)
- AI 2003: Advances in Artificial Intelligence
- A simple signed system for paraconsistent reasoning
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Artificial Intelligence: Methodology, Systems, and Applications
- A logic for reasoning with inconsistency
- Remedying inconsistent sets of premises
This page was built for publication: A logic for reasoning with inconsistent knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1199925)
