25、通过溯因逻辑编程细化动作理论

通过溯因逻辑编程细化动作理论

在动作理论的研究中，有限不确定性通常用异或（˙∨）来表示。直观上，以下两种领域描述中必有一个是真实的：

toggle(left) causes on(small) if ¬on(small)
toggle(left) causes ¬on(small) if on(small)
toggle(right) causes on(big) if ¬on(big)
toggle(right) causes ¬on(big) if on(big)

以及

toggle(left) causes on(big) if ¬on(big)
toggle(left) causes ¬on(big) if on(big)
toggle(right) causes on(small) if ¬on(small)
toggle(right) causes ¬on(small) if on(small)

接下来，我们将介绍一种通过溯因逻辑编程来细化动作理论的方法，该方法能产生直观上可接受的结果。

1. 领域描述语言 A+

为了更好地描述动作和领域，我们引入了动作描述语言 A+，它是对 A 的扩展。选择 A 的原因在于它简单、可扩展且具有很强的表达能力，并且与其他几种主要的形式化方法等价。

1.1 语法

A+ 基于三个不相交的非空符号集：命题名称、流名称和动作名称。为了方便，我们也会使用参数化名称。在 A+