Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional causal theories into logic programming, and this work paved the way to the use of answer set solvers for answering queries about actions described in causal logic. In this paper we generalize these embeddings to first-order causal logic-a system that has been used to simplify the semantics of variables in action descriptions.
展开▼
机译:非单调因素逻辑成为几种表达行动语言的语义的基础。 Norman McCain和Paolo Ferraris展示了如何将命题因果理论嵌入到逻辑编程中,这项工作铺平了使用答案设置求解器的方法,用于回答关于因果逻辑中描述的动作的查询。在本文中,我们将这些嵌入的嵌入概括为一阶因果逻辑 - 用于简化动作描述中变量的语义的系统。
展开▼