Contextual Conditional Reasoning

Authors

  • Giovanni Casini ISTI-CNR CAIR
  • Thomas Meyer University of Cape Town CAIR
  • Ivan Varzinczak Université d’Artois CAIR

Keywords:

Nonmonotonic Reasoning

Abstract

We extend the expressivity of classical conditional reasoning by introducing context as a new parameter. The enriched conditional logic generalises the defeasible setting in the style of Kraus, Lehmann and Magidor, and allows for a more refined representation of an agent’s epistemic state, distinguishing, 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 an appropriate representation result, and define an entailment relation based on Lehmann and Magidor’s notion of Rational Closure.

Downloads

Published

2021-05-18

How to Cite

Casini, G., Meyer, T., & Varzinczak, I. (2021). Contextual Conditional Reasoning. Proceedings of the AAAI Conference on Artificial Intelligence, 35(7), 6254-6261. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/16777

Issue

Section

AAAI Technical Track on Knowledge Representation and Reasoning