Abstract: 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.
Cites work
- A Minimal Model Semantics for Nonmonotonic Reasoning
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- An Analysis of some Deontic Logics
- Another perspective on default reasoning
- Conditional logic of actions and causation
- Conditional logics of normality: A modal approach
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Counterfactuals
- Counterfactuals.
- Defeasible inheritance-based description logics
- Description logics of context
- DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
- Diverse confidence levels in a probabilistic semantics for conditional logics
- scientific article; zbMATH DE number 3930376 (Why is no real title available?)
- scientific article; zbMATH DE number 1735958 (Why is no real title available?)
- scientific article; zbMATH DE number 6747877 (Why is no real title available?)
- Input/output logics
- Jumping to explanations versus jumping to conclusions
- Local Models Semantics, or contextual reasoning = locality + compatibility
- Nonmonotonic inference based on expectations
- Nonmonotonic reasoning, preferential models and cumulative logics
- On rational entailment for propositional typicality logic
- On the logic of theory change: Partial meet contraction and revision functions
- Preferential reasoning in the perspective of Poole default logic
- Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
- Rational closure for all description logics
- Rational Closure for Defeasible Description Logics
- Rationality and context in defeasible subsumption
- Relevant closure: a new form of defeasible reasoning for description logics
- Semantic characterization of rational closure: from propositional logic to description logics
- System JLZ -- rational default reasoning by minimal ranking constructions.
- Taking defeasible entailment beyond rational closure
- The quantitative/qualitative watershed for rules of uncertain inference
- What does a conditional knowledge base entail?
- When Maximizing Entropy gives the Rational Closure
Cited in
(3)
This page was built for publication: Situated conditional reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6161506)
