因果定律与多值变量
摘要：在非单调形式主义中，本文延续了关于表示行动属性的工作线，强调了“真实”和“因果”的区别。这与McCain和Turner引入的因果逻辑系统以及Giunchiglia和Lifschitz提出的行动语言C中的区别相对应。仅有的能在C+语言中直接表示的流变量是与真值有关的流变量，这通常是不方便的。我们展示了如何扩展因果逻辑和语言C，使其能够接受任意非空集合中的值。我们对语言C进行的扩展称为C+，该扩展还可以描述行动的属性，这在延展容忍度的角度来看是重要的。我们描述了将C+嵌入到带有多值常量的因果理论中的过程，将C+与Pednault的行动语言ADL联系起来，并展示了如何用布尔常量代替多值常量。
作者：Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
论文ID：2307.10227
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-21