Situated Conditional Reasoning

09/03/2021
by   Giovanni Casini, et al.
0

Conditionals are useful for modelling, but are not always sufficiently expressive for capturing information accurately. In this paper we make the case for a form of conditional that is situation-based. These conditionals are more expressive than classical conditionals, are general enough to be used in several application domains, and are able to distinguish, for example, between expectations and counterfactuals. Formally, they are shown to generalise the conditional setting in the style of Kraus, Lehmann, and Magidor. We show that situation-based conditionals can be described in terms of a set of rationality postulates. We then propose an intuitive semantics for these conditionals, and present a representation result which shows that our semantic construction corresponds exactly to the description in terms of postulates. With the semantics in place, we proceed to define a form of entailment for situated conditional knowledge bases, which we refer to as minimal closure. It is reminiscent of and, indeed, inspired by, the version of entailment for propositional conditional knowledge bases known as rational closure. Finally, we proceed to show that it is possible to reduce the computation of minimal closure to a series of propositional entailment and satisfiability checks. While this is also the case for rational closure, it is somewhat surprising that the result carries over to minimal closure.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/08/2014

Rational Closure in SHIQ

We define a notion of rational closure for the logic SHIQ, which does no...
research
03/23/2018

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure

In this work we study a rational extension SROEL^R T of the low complexi...
research
09/28/2018

On Rational Entailment for Propositional Typicality Logic

Propositional Typicality Logic (PTL) is a recently proposed logic, obtai...
research
04/16/2019

Theoretical Foundations of Defeasible Description Logics

We extend description logics (DLs) with non-monotonic reasoning features...
research
05/05/2019

A reconstruction of the multipreference closure

The paper describes a preferential approach for dealing with exceptions ...
research
12/12/2014

Belief revision in the propositional closure of a qualitative algebra

Belief revision is an operation that aims at modifying old be-liefs so t...
research
03/07/2000

The lexicographic closure as a revision process

The connections between nonmonotonic reasoning and belief revision are w...

Please sign up or login with your details

Forgot password? Click here to reset