scholarly journals Conditional Logic is Complete for Convexity in the Plane

2021 ◽  
pp. 1-21
Author(s):  
Johannes Marti
Keyword(s):  
2000 ◽  
Vol 117 (1) ◽  
pp. 83-106 ◽  
Author(s):  
Wilhelm Rödder
Keyword(s):  

Analysis ◽  
2006 ◽  
Vol 66 (4) ◽  
pp. 325-335 ◽  
Author(s):  
C. B. Cross
Keyword(s):  

Author(s):  
Duligur Ibeling ◽  
Thomas Icard

We propose analyzing conditional reasoning by appeal to a notion of intervention on a simulation program, formalizing and subsuming a number of approaches to conditional thinking in the recent AI literature. Our main results include a series of axiomatizations, allowing comparison between this framework and existing frameworks (normality-ordering models, causal structural equation models), and a complexity result establishing NP-completeness of the satisfiability problem. Perhaps surprisingly, some of the basic logical principles common to all existing approaches are invalidated in our causal simulation approach. We suggest that this additional flexibility is important in modeling some intuitive examples.


2006 ◽  
Vol 35 (6) ◽  
pp. 599-619
Author(s):  
Ming Xu

1994 ◽  
Vol 68 (2) ◽  
pp. 171-179 ◽  
Author(s):  
D. Dumitrescu
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document