Casini G., Meyer T., Varzinczak I.
Conditional reasoning Counterfactuals Defeasible reasoning Belief change
We extend the expressivity of classical conditional reasoning by introducing context as a new parameter. The enriched conditional logic generalises the defeasible conditional setting in the style of Kraus, Lehmann, and Magidor, and allows for a refined semantics that is able to distinguish, for example, between expectations and counterfactuals. In this paper we introduce the language for the enriched logic and define an appropriate semantic framework for it. We analyse which properties generally associated with conditional reasoning are still satisfied by the new semantic framework, provide a suitable representation result, and define an entailment relation based on Lehmann and Magidor's generally-accepted notion of Rational Closure.
Source: AAAI-21 - The Thirty-Fifth AAAI Conference on Artificial Intelligence, pp. 6254–6261, Online Conference, 2-9/2/2021
Publisher: AAAI Press, Menlo Park [CA], USA
@inproceedings{oai:it.cnr:prodotti:459178, title = {Contextual conditional reasoning}, author = {Casini G. and Meyer T. and Varzinczak I.}, publisher = {AAAI Press, Menlo Park [CA], USA}, booktitle = {AAAI-21 - The Thirty-Fifth AAAI Conference on Artificial Intelligence, pp. 6254–6261, Online Conference, 2-9/2/2021}, year = {2021} }