02/02/2021

Contextual Conditional Reasoning

Giovanni Casini, Thomas Meyer, Ivan Varzinczak

Keywords:

Abstract Paper Similar Papers

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.

The video of this talk cannot be embedded. You can watch it here:
https://slideslive.com/38948995
(Link will open in new window)
 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at AAAI 2021 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 15:07 
 0
 0
 0
 0
 15:17 
 0
 0
 0
 0
 15:02 
 0
 0
 0
 0
 12:03 
 0
 0
 0
 0
 17:45 
 0
 0
 0
 0
 14:20 
 0
 0
 0
 0
 16:40 
 0
 0
 0
 0
 13:23 
 0
 0
 0
 0
 9:48 
 0
 0
 0
 0
 11:30 
 0
 0
 0
 0
 3:02 
 0
 0
 0
 0
 12:06 
 0
 0
 0
 0
 14:01 
 0
 0
 0
 0
 2:57 
 0
 0
 0
 0
 20:10 
 0
 0
 0
 0
 24:21 
 0
 0
 0
 0
 16:06 
 0
 0
 0
 0
 7:01 
 0
 0
 0
 0
 14:35 
 0
 0
 0
 0
 6:26 
 0
 0
 0
 0
 5:34 
 0
 0
 0
 0
 10:46 
 0
 0
 0
 0
 11:00 
 0
 0
 0
 0
 2:44 
 0
 0
 0
 0
 8:58 
 0
 0
 0
 0
 9:14 
 0
 0
 0
 0
 26:05 
 0
 0
 0
 0
 5:10 
 0
 0
 0
 0
 15:43 
 0
 0
 0
 0
 14:56 
 0
 0
 0
 0
 5:44 
 0
 0
 0
 0
 11:41 
 0
 0
 0
 0
 11:25 
 0
 0
 0
 0
 4:31 
 0
 0
 0
 0
 13:39 
 0
 0
 0
 0
 13:20 
 0
 0
 0
 0
 11:05 
 0
 0
 0
 0
 25:29 
 0
 0
 0
 0
 15:06 
 0
 0
 0
 0
 14:15