What does a conditional knowledge base entail?

02/18/2002
by   Daniel Lehmann, et al.
0

This paper presents a logical approach to nonmonotonic reasoning based on the notion of a nonmonotonic consequence relation. A conditional knowledge base, consisting of a set of conditional assertions of the type "if ... then ...", represents the explicit defeasible knowledge an agent has about the way the world generally behaves. We look for a plausible definition of the set of all conditional assertions entailed by a conditional knowledge base. In a previous paper, S. Kraus and the authors defined and studied "preferential" consequence relations. They noticed that not all preferential relations could be considered as reasonable inference procedures. This paper studies a more restricted class of consequence relations, "rational" relations. It is argued that any reasonable nonmonotonic inference procedure should define a rational relation. It is shown that the rational relations are exactly those that may be represented by a "ranked" preferential model, or by a (non-standard) probabilistic model. The rational closure of a conditional knowledge base is defined and shown to provide an attractive answer to the question of the title. Global properties of this closure operation are proved: it is a cumulative operation. It is also computationally tractable. This paper assumes the underlying language is propositional.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/05/2019

A reconstruction of the multipreference closure

The paper describes a preferential approach for dealing with exceptions ...
research
02/13/2013

Coping with the Limitations of Rational Inference in the Framework of Possibility Theory

Possibility theory offers a framework where both Lehmann's "preferential...
research
07/26/2000

Ordering-based Representations of Rational Inference

Rational inference relations were introduced by Lehmann and Magidor as t...
research
06/01/2021

On the KLM properties of a fuzzy DL with Typicality

The paper investigates the properties of a fuzzy logic of typicality. Th...
research
05/26/2020

Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds

A conditional knowledge base R is a set of conditionals of the form "If ...
research
03/27/2013

Integrating Probabilistic, Taxonomic and Causal Knowledge in Abductive Diagnosis

We propose an abductive diagnosis theory that integrates probabilistic, ...
research
11/10/2014

Comparative Study of View Update Algorithms in Rational Choice Theory

The dynamics of belief and knowledge is one of the major components of a...

Please sign up or login with your details

Forgot password? Click here to reset