On the Conditional Logic of Simulation Models
On the Conditional Logic of Simulation Models
复制标题
论仿真模型的条件逻辑
DOI：
10.24963/ijcai.2018/258
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Thomas F. Icard
中科院分区：
文献类型：
--
作者：
D. Ibeling;Thomas F. Icard
我们提议通过诉诸对模拟程序的干预概念来分析条件推理，将近期人工智能文献中许多关于条件思维的方法形式化并纳入其中。我们的主要成果包括一系列公理化，允许在这个框架和现有框架（常态排序模型、因果结构方程模型）之间进行比较，以及一个确定可满足性问题的NP完全性的复杂性结果。也许令人惊讶的是，所有现有方法共有的一些基本逻辑原则在我们的因果模拟方法中是无效的。我们认为这种额外的灵活性在对一些直观示例进行建模时是很重要的。
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.