表征因果行动理论及其在应答集编程中的实现

抽象

    我们考虑一个简单的写作因果行动理论的语言，并假设这些理论的状态转换模型的几个属性。然后，我们考虑将这些因果行动理论的一些可能嵌入在一些其他行动形式中，以及它们在具有回答集语义的逻辑程序中的实现。特别是，我们建议考虑我们所说的从这些因果行动理论到逻辑程序的允许翻译。我们识别两组属性，并证明对于每个集合，只有一个可以满足集合中所有属性的强大等价的允许转换。我们还表明，这两组条件是最小的，因为从每个条件中删除任何条件将导致多个允许的映射。此外，事实证明，一套，到逻辑程序。对于另一个，它与Lifschitz和Turner从动作语言C的翻译基本相同到逻辑程序。这项工作提供了一个新的观点，通过使用属性集而不是实例来理解，评估和比较动作语言。本文的结果提供了两种代表性行动语言B的表征和C从我们的因果行动理论到逻辑程序的允许映射。看到其他动作语言是否可以被类似地表征，以及是否可以使用不同的属性集定义新的动作形式，这将是有趣的。

关键词

因果行动理论;动作语言;逻辑编程

 

介绍

    关于行动的正式推理长期以来一直是基于逻辑的人工智能的核心话题，并且激发了大量早期非单调逻辑的工作。主要困难是框架和分歧问题。目前社区的共识是解决分歧问题，需要一个因果关系的概念。因此，在因果行动理论（例如[1]; [2]; [3]; [4]; [5]; [6]; [7]; [8]; [9]; [10];[11]），并提出了各种语言和语义。这些不同的方法基本上都是一致的，当一套因果规则是分层的，在这种情况下，产生一个完整的行动理论，可以用一组后继状态公理来表示。然而，当规则中有循环时，根据这些不同的方法，这些规则将如何被表示并不清楚，这些规则应该是正确的结果。例如，我们允许循环规则对动作产生不确定的影响?

这促使我们进行一个计算机实验，系统地列举所有可能的小型语言的因果理论，并看看他们所期望的模式。事实证明，什么是理想的模式取决于我们想要的关于因果理论的属性。这导致我们考虑因果理论的过渡模型的各种属性。然后我们考虑这些各种属性如何适应一些允许静态因果规则的现有动作语言。为了使比较系统化，并且出于计算原因，我们考虑将我们的因果动作理论的允许翻译称为答案集语义逻辑程序 [12];[13]。具体来说，给定一组转型模型的属性，我们考虑从我们的因果理论到逻辑程序的所有可能的翻译，以便在映射到因果理论的过渡模型时，这些程序的答案集将满足集合中的所有属性。在本文中，我们确定了两组这样的属性。对于他们来说，我们的计算机实验表明，当语言中最多有三个流利时，允许的翻译是唯一的，直到强烈等同的概念。一般情况通过三种流利语言作为基础案例的归纳证明。对于他们来说，我们的计算机实验表明，当语言中最多有三个流利时，允许的翻译是唯一的，直到强烈等同的概念。一般情况通过三种流利语言作为基础案例的归纳证明。对于他们来说，我们的计算机实验表明，当语言中最多有三个流利时，允许的翻译是唯一的，直到强烈等同的概念。一般情况通过三种流利语言作为基础案例的归纳证明。

   这两组条件是最小的，因为如果任何条件从任一个集合中删除，则将存在多个允许的转换。

    此外，对于一组属性，翻译与Balduccini和Gelfond从Gelfond和Lifschitz的动作语言B的翻译基本相同[8]到逻辑程序。对于另一个，翻译与Lifschitz和Turner从动作语言 C的翻译基本相同[14]到逻辑程序。这些结果是重要的，因为它们通过使用属性集而不是示例来提供对理解，评估和比较操作语言的新视角。可以类似地对其他动作语言进行表征，并使用不同的属性集定义新的动作语言。

    本文的其余部分安排如下。在第2节，我们正式推出，我们在这项工作中使用的因果作用理论的语法。接下来，我们列出了一些合理的属性，我们期望因果动作理论的语义在第3节中得到满足。然后在第4节中，我们考虑将一些我们理论的一些直接映射到一些现有的形式，如动作语言B和C，和情况演算。在第5节中，我们考虑将因果行动理论映射到答案集语义逻辑程序的问题，定义允许翻译的概念，并给出我们的主要结果。最后在第6节中，我们结束文件。两个主要定理的详细证明在线附录中给出。

 

简单的因果行动理论

    我们假设有限集合F命名原子称为流利。我们还假设两个不同的符号“⊤”为重言式，“⊥”为矛盾。甲流利字面或者是˚F或¬˚F,其中f∈F。到目前为止，在因果行动理论的工作中，重点是对原始行为的影响的形式化，以及在正式化中如何使用因果规则。这些行为被认为是独立的，因为一个行为的影响与任何其他行为的影响无关。所以为了使我们的形式主义尽可能简单，我们假设在我们的语言中只有一个未命名的动作，当我们谈论一个动作的效果时，我们提到这个隐含的，未命名的动作的效果。

在语法上，因果动作理论是一对（S，D），其中S是一组静态因果规则，D是一组动态因果规则。静态和动态因果规则都是形式（l，G），其中1是流畅的文字,G是一套流畅的文字。作为静态因果规则，（l，G）意味着在每一种情况下，只要G中所有流畅的文字都被保持，1就是真实的。作为一个充满活力的因果规则，这意味着在任何情况下，其中的所有文字流畅摹持有，如果成功执行的动作，然后升将在新的形势下是正确的。因此，我们的动态因果规则本质上是直接行动效应公理。请注意，在动态因果规则中，这里省略了操作参数，因为我们假设只有一个动作。在下文中，我们称之为升头，摹静态或动态的因果规律的前提。我们假设摹是一致的，即它不包含两个˚F和¬˚F，不含⊥。我们将前提G定义为一套流畅的文字，因为在这个前提下流畅的文字顺序并不重要。不过，我们经常把G写成流利的文字的结合。例如，既˚F1∧F2和˚F2∧f1表示相同的前提{f1，f2}。特别地，空集合is由is表示。

语义上，因果动作理论规定了一组转换。过渡是一对（s，s ^'），其中s和s ^'是国家，这是一套流利的。一个国家小号可以看作是真值赋值使得流利˚F是真正的小号，当且仅当f∈s。对于公式φ ，我们写s⊨φ如果φ是在真值赋值真实小号。同样，对于一组流利的文字G ，我们写了s⊨G如果G中所有流畅的文字都在真理任务中。特别是s⊨∅任何国家小号  。直观地说，过渡（s，s ^'）意味着动作可以成功地执行小号，得到小号^'。

 

定义1：

一个状态是一套流利的原子，一个过渡是一对状态。语义函数δ是从因果动作理论到转换集的映射。

因此，语义函数δ给出每个因果动作理论的语义。我们说两个因果行动理论T1和T2如果它们具有相同的转变，则在δ下是等价的：δ（T1）=δ（T2）。在下一节中，我们将讨论一些关于语义功能的属性。

 

属性

我们假设下面的固定语义函数δ。因此，的一当我们说（s，s ^'）是T的转换，我们的意思是（s，s ^'）∈δ（T）。我们在下面列出有关δ的一些有趣的属性。我们的第一个财产是转型国家必须满足每一个静态因果规则。

 

属性1静态因果规则是状态约束。

 

如果（s，s ^'）是因果行动理论的转变（S，D），那么对于每个静态因素规则（l，G）在S，我们有这个：

 

这个属性被大多数动作语义所接受。所以我们认为它应该是一个基本的财产，并建立在我们的允许的映射。

当推理，说开关是开或关，我们可以使用流畅的关闭意味着开关是闭合的，并且表示开关通过闭合打开的事实。或者我们可以做到这一点，使用开放意味着开关是开放的并且表示关闭由¬open。我们的以下属性说，只要一个系统地进行选择，选择哪一个用作原始的就不重要了。

 

属性2流畅的文字是可互换的。

 

 

对于任何因素行动理论T，任何流利的f和任一状态S1和S2，（s ₁，s ₂）是T的转，iff   是T的过渡，

 

在任何国家以及任何因果行动理论T，T ^f是由通过替换的F每次发生在T获得的因果作用理论¬ F。

 

我们的下一个财产说，如果静态因果规则的前提包含了它的否定，那么这个规则基本上是属性1的约束。

 

属性3可以消除立即的负循环。

对于任何因果行动理论（S，D），任何r =（l，{¬}∪G）∈S，属性1适用于S，我们有（s，s ^'）是（S，D）iff  （s，s ^'）是   （S∖{r}，D）。

我们的下一个财产说，如果静态和动态因果规则之间没有可能的相互作用，那么只能应用动态因果规则。换句话说，没有后果。

 

属性4当静态因果规则不与动态因果规则相互作用时，没有分支。

 

令T =（S，D）是一个因果行动理论。如果对于每个（l，G）∈D，没有（l^'，G ^'）∈S使流畅的1发生在G ^'，那么（s，s ^'）是 T iff的过渡。

s ^' =（s∖s ^-）∪s ⁺，

s ⁺ ∩s ^- =∅，和

s和s ^'满足s（属性1）中的静态因果规则： 和  。特别的，如果s ⁺ ∩s^- ≠∅，那么T没有s的转换。下一个财产是一个较弱的版本的财产4。在给出之前，我们首先定义因果行动理论的依赖图。给定因果动作理论T =（S，D），其依赖图是这样的有向图：

•它的顶点是任意流畅的文字，和

•它与l ₁有一个优势至l ₂如果S  包含静态因果规则（l ₁，G）使得升₂ ∈G。

 

属性4'当静态因果规则没有循环并且不与动态因果规则相互作用时，没有分支。

令T =（S，D）是一个因果行动理论。其依赖图是非循环的，如果对于每个（l，G）∈D，没有（l^'，G ^'）∈S使流畅的1发生在G ^'，那么（s，s ^'）是 T iff的过渡。

•s ^' =（s∖s ^-）∪s ⁺，

•s ⁺ ∩s ^- =∅，和

• s和s ^'满足s（属性1）中的静态因果规则：

和 。特别的，如果s ⁺ ∩s^- ≠∅，那么T没有s的转换。

属性4'比属性4弱，因为前者仅适用于“分层”因果行动理论。

下一个财产涉及处所的冗余。如果两个q和¬ q会导致p，那么p  必须是真实的不管。同样，如果两个q∧r和¬q∧r导致p，那么我们可以得出结论，q是不重要的，并且r导致p。

 

属性5可以组合静态因果规则的场所。

令T =（S，D）是一个因果行动理论。如果（f，G ₁）和（f，G ₂）在S中，对于一些流利的文字，公式

 

在逻辑上等同于公式

 

那么T下的一组转换与T ^' =（S ^'，D）下的转换集相同，其中   S ^'=（S∖{（f，G ₁），（f，G ₂）}）∪{（f，G）}。

 

 

在B中嵌入因果行动理论，C等

我们的因果行动理论可以映射到行动语言B中的理论，C，和其他人以直截了当的方式。请注意，我们的语言没有操作条款。相反，有一个隐含的动作。让我们把这个动作一。

给定因果动作理论T =（S，D），它可以映射到以下动作描述T _B在语言B如下：if （l，G）在S中  ，则静态因果规则“ l如果G“在T _B，如果（l，G）在D中  ，则动作规则“ A导致l如果G“在T _B。该映射为我们的因果动作理论引入语义函数δ （s，s^'）∈δ（T）iff （s，A，s ^'）是T _B的过渡根据B。对于这个语义功能，可以看出，属性1，属性3;财产4满足（见下面的定理1）。这三个属性给出了B的表征语义。除 物业2; 物业4'也满足，但物业5不是。

因果动作理论T =（S，D）也可以翻译成以下动作描述T _C在行动语言C如下：if（l，G）是小号  ，那么静态因果规则“ 引起l如果⋀ _升我 ∈G升_我“在T _C，如果（l，G）在Р，则动作规则“引起的升如果⊤后A∧⋀ _升我 ∈G升_我“在T _C。该映射再次引起语义函数：（s，s ^'）是的过渡Ť  如果（S，A，S）是T _C的过渡根据C语义。对于这个语义函数，我们可以看到 Property 1，Property 2，Property 3  ; 财产5是满意的，但不是财产4。例如，考虑因果动作理论T =（{（f ₂，f ₁），（f ₁，f₂）}，∅）。如果s =∅，s ^'= {f ₁，f ₂ }，那么s  和s ^'满足所有静态因果规则，并根据C语义，小号^“是一个可能的新状态的动作后，一个状态发生小号。

因果动作理论T =（S，D）也可以映射到林的因果理论T _L在情况演算中如下：if （f，G ₀）在小号  ，让G =⋀ _{升我 ∈G 0}升_我，则以下因果规则在T _L中：∀s.Holds（G，s）⊃Caused（f，true，s）; 如果（¬f，G）在S中  ，则以下因果规则在T _L中：∀s.Holds（G，s）⊃Caused（f，false，s）; 如果（f，G）在D中  ，则以下直接效应公理在T _L中：  ; 并且如果（¬f，G）在D中  ，则以下直接效应公理在T _L中：

。

 

如在C，根据这个映射到林的因果理论，财产4不满意。

可以对其他形式主义做类似的映射。然而，一个明显的问题是为什么映射必须是我们上面描述的方式。例如，我们可以将这里的理论映射到C语言不同的是，Property 1; 物业4将会满足？如果我们对映射没有任何限制，那么这绝对是可以的，因为可以先计算转换，然后在C中找到一个理论具有相同的转换。在本文中，我们通过选择答案集逻辑程序作为目标语言来考虑这个问题。这是两个原因。一个是用于计算逻辑程序的答案集的良好ASP解算器的可用性。另一个原因是已经有很好的学习，如B语言的映射和C回答设定的逻辑程序。在下一部分中，我们将使用使用“标准”编码惯性的逻辑程序对因果动作理论的所有可能的组合映射进行了研究。

 

 

从因果行动理论到回答集编程

使用逻辑程序来实现和/或形成因果行动理论已经有很多工作（例如[4] ; [15] ; [16] ; [17]  ;  [18]）。在本文中，我们考虑将我们的因果行动理论映射到应答集语义下的逻辑程序。

给定一个集合Ffluents和因果行动理论牛逼  的˚F我们考虑将T  映射到正常的逻辑程序（具有约束和经典否定）ξ（T）在语言L =F∪¬F∪F ^' ∪¬F ^'，哪里  ，  ，而对于¬F ^'。我们在这里假设每个f∈F，f ^'是一个新的原子。的过渡ŧ  和答案套（T）ξ然后通过用F中的流利来识别s 来相关联，和s^'与那些在F ^'：（s，s ^'）是T的转换，如果存在ξ（T）的答案集A  ， 就这样

方程式（ 1 ）

S =A∩F

方程式（ 2 ）

再次，如果我们对我们可以采取的程序没有任何限制ξ（T），那么我们可以在转换和答案集之间的上述对应关系下具有满足任何一致的属性集的映射。然而，从知识表现的角度来看，我们希望映射是组合的，在某种意义上，它可以由静态和动态因果规则的一些映射组成。正如我们所提到的，使用逻辑程序推理行动已经有很多工作，其中一个关键思想是使用以下规则来编码惯性：

方程（ 3 ）

˚F ^“ ←楼不¬f ^'，

 

方程式（ 4 ）

¬f ^' ←¬f，而不是f ^'。

 

此外，我们希望映射至少满足属性1，以便初始状态和后继状态都将静态因果规则作为约束满足，并且因果规则（l，G）应该翻译成一些关于l的逻辑程序规则。此外，我们希望映射在流畅的名称不重要的意义上是统一的。更精确地，如果σ是流利名称的置换，然后将所述映射Ť流畅名之后，根据改变σ是相同的应用映射到Ť在根据逻辑程序，然后再改变流利名σ。

总而言之，我们研究以下类别的映射。

 

定义2。

从因果行动理论到逻辑程序的映射ξ据说是允许的

1。

（组成）对于每个T =（S，D），

方程（ 5 ）

 

•ξ ^小号（r）的是关于静态因果规则的翻译，而对于规则（l，G），ξ ^小号（1，G） 是由以下约束组成的逻辑程序：

方程（ 6 ）

方程（ 7 ）

和一些形式的规则

 

当 是l 的补码： ，和  ，  如果W= {l ₁，...，l _n}，和   和   是原子集  ，其中F _G都是流利的，出现在G  ，和  是  ;

•

ξ ^ð（r）的是动态因果规则的翻译，而对于规则（l，G），ξ ^ð（1，G）是一套形式的规则

l ^' ←F，

 

其中F  是F∪F中的一组流畅的文字;

B，基础，是与给定理论T  独立的以下一组规则：对于每个f∈F，

方程（ 8 ）

f←不¬f，

方程式（ 9 ）

¬f←不是f。

方程（ 10 ）

˚F ^“ ←楼不¬f ^'，

方程式（ 11 ）

¬f ^' ←¬f，而不是f ^'。

2。

（统一）两者ξ ^小号和ξ ^ð在集合F上的任何置换σ  下都是同态的：fluents的ξ ^小号（R ^σ）=（ξ ^小号（R））^σ和ξ ^ð（R ^σ）=（ξ ^ð（R））^σ，其中[R ^σ从获得ř根据由流利置换σ，以及用于任何逻辑程序P  ，P ^σ是通过根据σ的流利替代从P获得的程序。

 

请注意，对于翻译ξ ^ð（R）一个动态因果规则，没有使用“否定失败”算子。这是因为我们在基础中有选择规则（8）和（9）来生成所有可能的完整初始状态。根据这些选择规则，由于在允许的映射中没有关于f或f的其他规则，流畅的文字“ f   ”和“ not ””是可以互换的，因此是‘¬ ˚F   ’和“ 不˚F”。当然，我们可以在动态因果规则的翻译中允许否定失败算子。

注意，映射ξ从因果作用的理论来逻辑程序产生一个语义函数δ下 （1）和（2） ：（S，S ^' ）∈δ（T）如果存在ξ（T）的答案集A  ，使（1）和（2）保持。所以在下面的例子中，当我们说映射满足一个属性时，我们意味着由映射产生的语义函数满足这个属性。

命题1。

如果映射ξ是允许的，则ξ满足 属性1。

我们的主要结果是满足某些属性集合的可接受映射的唯一性。注意，随着（6）和（7）的存在，我们可以很容易地证明以下命题。可以理解的是，这种唯一性需要强烈的等价模式[19]，因为总是产生强等效的逻辑程序的两个映射在答案集语义下是不可区分的。

我们的第一个结果显示了行动语言B之间的对应关系和符合属性1，属性3的允许映射 ;  物业4。在最后一节，我们描述了从我们的因果行动理论到行动语言B中的因果理论的翻译。给定一个因果动作理论T  ，让T _B表示B中的因果理论根据这个翻译。我们说（s，s ^'）是T  在动作语言B下的过渡语义如果（s，A，s ^'）是T _B的过渡根据行动语言B的语义。

定理1。

让  ξ _乙作为从因果动作理论到逻辑程序的以下映射：对于每个   T =（S，D），

方程（ 12 ）

 

•B是基地，

•对于每个静态因果规则   （l，G），  是由约束（6）和（7）组成的一组规则和以下规则

方程（ 13 ）

l ^' ←G ^'，•

对于每个动态因果规则 （l，G）， 是由以下规则组成的单身人物集合

方程（ 14 ）

l ^' ←G。

 

我们有

1。

映射ξ _乙是允许的，并满足 属性1，属性3  ;  物业4 。此外，对于任何因果动作理论T，   （s，s ^'）为T的下一个过渡   ξ _乙如果它是B下的T的过渡  语义。

2。

如果ξ是可允许的映射满足 特性1，属性3  ;  房产4 ，然后ξ强烈相当于ξ _乙在以下意义上：对于任何因果行动理论，如果 （l，G）是一个静态因果规则，那么 ξ ^小号（1，G）和 在（5）中定义的碱基B下是强相当的;如果（l，G）是一个动态的因果规则，则 ξ ^ð（1，G）和  在基础B下也是很相当的。

3。

该组的 性质1，属性3  ;  属性4 是最小的：如果它们中的任一个被删除，则存在满足剩余属性的允许映射ξ，并且对于一些静态因果规则   （l，G），  ξ ^小号（1，G）和  在B.

 

我们对于动作语言C有类似的结果以及。在下文中，给出一个因果行动理论T  ，我们说（s，s ^'）是T  在C下的过渡语义如果（s，A，s ^'）是T _C的过渡根据C，其中T_C是C中的动作描述从最后一节给出的T翻译。

 

定理2。

让  ξ _Ç作为从因果动作理论到逻辑程序的以下映射：对于每个   T =（S，D），

方程（ 15 ）

 

当

•B是基地，

•

对于每个静态因果规则（l，G）， 是由约束（6）和（7）组成的一组规则和以下规则

方程（ 16 ）

 

•

对于每个动态因果规则（l，G）， 是由以下规则组成的单身人物集合

方程（ 17 ）

l ^' ←G。

我们有：

1。

映射 ξ _Ç是允许的，并满足 属性1，属性2，属性3，属性4'  ;  财产5 。此外，对于任何因果动作理论T，（s，s ^'）为T的下一个过渡ξ _Ç如果它是C下的T的过渡语义。

2。

如果ξ是满足属性1，属性2，属性3，属性4' 的允许映射; 房产5 ，然后ξ强烈相当于ξ _Ç在以下意义上：对于任何因果行动理论，如果（l，G）是一个静态因果规则，那么ξ ^小号（1，G）和 在（5）中定义的碱基B下是强相当的;如果（l，G）是一个动态的因果规则，则ξ ^ð（1，G）和 在基础B下也是很相当的。

3。

物业1，物业2，物业3，物业4' 的集合;属性5 是最小的：如果其中任何一个被删除，则存在满足剩余属性的允许映射ξ，而对于一些静态因果规则（l，G），ξ^小号（1，G）和 在B.

 

这两个定理的完整证明在网络附录中给出。他们是感应地完成。基本情况是三种流利的语言。对于基本情况，结果由计算机程序验证，对于每个代表性的动态或静态因果规则，列举其所有可能的允许映射，并且对于每个可能的映射检查，如果各自的属性是否被满足。感应步骤是手动证明的。由于允许的映射是组合的，因此我们可以将因果行动理论的证明分解成单因素规则。对于每种类型的静态/动态因果规则，为了满足属性，允许的映射必须将其映射到与定理中强烈等价的逻辑程序。我们在定理1的证明中勾画归纳步骤来说明。是很相当的 在定理1（也与 在定理2）在B底下。然后，我们依次证明了对任何可允许的映射ξ，对于每个ř以下类型的静态规则的，如果ξ在满足性能 定理1，那么ξ ^小号（r）的是很相当的 在基础B和形式（6）和（7）的相应的状态约束下：

 

•静态规则没有任何流畅的循环

•具有负流畅环的静态规则

•具有阳性流畅环的静态规则

 

正/负流畅环的定义在在线附录中给出。

虽然归纳步骤的证明是冗长乏味的，但基本情况在概念上更重要。事实上，使用我们的计算机程序“发现”定理和属性。这类似于我们以前用于其他一些问题的计算机辅助定理发现[20]；[21]; [22]。

这两个定理为两种动作语言B之间的关系提供了有趣的见解和C。首先，他们都满足属性1，因此所有状态在其转换模型中都必须满足所有静态因果规则。它们也满足属性3，从而将具有负循环的静态因果规则作为约束。

但是，而B似乎把因果关系理论，有或没有积极依赖循环均匀，Ç给具有正循环的静态因果规则赋予特殊含义。这可以从B的事实看出满足属性4，C只有满足一个较弱的版本，属于4“，它只适用于分层理论。例如，考虑T =（{（f ₁，f ₂），（f ₂，f₁）}，∅）。两个因果规则导致f ₁之间的循环和f ₂。在B下的语义，（∅，s）作为一个过渡，必须是s=∅的情况。换句话说，当f ₁和f ₂最初是假的，那么他们必须在继承国都保持虚假。但是，在C下的语义，（∅，{f ₁，f ₂ }）也是T的转型。事实上，具有即时正周期的静态因果规则，如（f，f）（或如果f在C中引起f的语言）具有特殊的作用：它们被用来表示流利的f是默认流利的假设。

B之间的另一个区别和C从物业5可以看出。语言C满足该属性，从而允许将多个静态因果规则的场所合并在一起，并通过逻辑等价简化。但是，B一般不允许。考虑以下因果行动理论：

T =（{（F ₁，F ₂ ∧f ₃），（F ₁，F ₂ ∧¬f ₃），（F ₃，F ₁ ∧f ₂）}，{（F ₂，⊤）}）。

 

前两个静态因果规则的前提可以根据C进行合并和简化：T相当于T ^'下面：

Ť ^' =（{（F ₁，F ₂），（F ₃，F ₁ ∧f ₂）}，{（F ₂，⊤）}）。

但在B之下的语义，这两个理论是不相等的。可以看出（∅，{f ₁，f ₂，f ₃ }）是T^'但不Ť 下乙。

这两个定理的推论是，没有可以满足所有属性的允许映射。

推论3。

不存在允许的映射ξ，使得它满足 属性1，属性2，属性3，属性4; 财产5 。

 

结语

我们为因果行动理论提出了一种“简约”的语言，并为他们假设了一些属性。我们已经考虑了这些因果行动理论在某些其他行动形式中的可能嵌入，以及它们在具有回答集语义的逻辑程序中的实现。特别是，我们提出考虑我们所说的从因果行动理论到逻辑程序的允许翻译。我们的计算机实验表明，当语言只有三个流利的时候，唯一允许的翻译强烈等价，满足属性1，属性3; 属性4是Balduccini和Gelfond从Gelfond和Lifschitz的B的动作描述中的翻译语言到逻辑程序; 和唯一允许的强制等效的翻译，满足属性1，属性2，属性3，属性4'; 属性5是Lifschitz和Turner从动作语言C的翻译到逻辑程序。此外，所有这些属性对于结果是必要的。丢弃任何一个将导致多个允许的映射。这些结果表明动作语言B和C 分别由两组属性表征。

对于未来的工作，可以看到类似的属性和“允许”翻译的替代概念是否可以被识别用于其他行动形式，如MAD和ALM。调查一些其他属性也是有趣的，看看这些属性的组合如何可以产生不同的动作形式。