A logic for reasoning with inconsistent knowledge
type: Item
instance of: scholarly article
title: A logic for reasoning with inconsistent knowledge
zbMATH Open document ID: 0763.68057
DOI: 10.1016/0004-3702(92)90105-7
author: Nico Roos
published in: Artificial Intelligence
publication date: 1993-01-17T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 96259
zbMATH Keywords: reasoning with inconsistent knowledge
zbMATH Keywords: preferential semantics
MaRDI profile type: Publication
full work available at URL: 0004-3702(92)90105-7
OpenAlex ID: W1983672048
cites work: Q3861360
cites work: Cumulative default logic: In defense of nonmonotonic inference rules
cites work: Q4052071
cites work: Q3107917
cites work: Reasoning about action. I: A possible worlds approach
cites work: Nonmonotonic reasoning, preferential models and cumulative logics
cites work: A logical framework for default reasoning
cites work: A logic for default reasoning
cites work: Q5551124
description: scientific article; zbMATH DE number 96259