[发明专利]非单调推理在逻辑动作语言系统刻画中的知识表示方法

权利要求书

1.一种非单调推理在逻辑动作语言系统刻画中的知识表示方法，包括以下步骤：

逻辑动作语言在回答集逻辑程序语法下，进行系统化的自动翻译，得到候选语法翻译池；

针对逻辑动作语言特性，构建统一的语义特性坐标，以及该坐标下的确定性的语义特性约束集合，使得该集合约束下只包含唯一确定性的由该逻辑动作语言到逻辑程序的语法翻译；

根据所述唯一确定性的语法翻译，计算逻辑程序的稳定模型语义，并系统性地进行自动语义映射，验证所得模型与逻辑动作语言本身语义模型的一致性。

2.根据权利要求1所述的方法，其中，所述确定性的语义特性约束集合根据以下步骤构建：

建立逻辑动作语言语法数据集；

面向应用场景构建通用的语义特性数据集，为相似场景下的不同逻辑动作语言构建统一的特性坐标；

确定有限域作为逻辑动作语言刻画的实验基础；

寻找特性组合以约束语义模型的计算；

在已确定的有限域上验证选取的特性组合，是否为目标逻辑动作语言提供唯一性语义刻画，进而确定目标逻辑动作语言对应的最小特性刻画集合。

3.根据权利要求1所述的方法，其中，根据以下原则构建所述通用的语义特性坐标：对经典否定互换的同构性；满足状态约束；单事实的否定环可删除；静、动态规则隔离时无分支；静、动态规则隔离且无因果回路时无分支；支持前提等价性合并。

4.根据权利要求3所述的方法，其中，对经典否定互换的同构性表示为：

对于给定的逻辑动作语言描述下的规则集合T，与任意给定事实f，若(s₁,a,s₂)是T的一个模型，则也是T^f的一个模型，其中为世界状态，a为一个合法动作，对于状态s与事实f，s^f定义如下：

而T^f是T中所有f与互换所得到的规则集合。

5.根据权利要求3所述的方法，其中，所述满足状态约束表示为：

对于给定逻辑动作语言描述下的规则集合T＝(S,D)，其静态规则集S中的所有规则对应的状态约束，必须被T的每一个模型满足。

6.根据权利要求3所述的方法，其中，所述单事实的否定环可删除表示为：

对于给定逻辑动作语言描述下的规则集合T＝(S,D)中，如果静态规则集S中包含规则(Head,Cond)并且满足则该规则可被直接删除而不对T带来任何模型变化。

7.根据权利要求3所述的方法，其中，所述静、动态规则隔离时无分支表示为：

对于给定逻辑动作语言描述下的规则集合T＝(S,D)，若动态规则集D中不存在满足以下条件的规则(Head,Cond)：Head∈C，则在后继状态中，对于除动态规则直接导致的事实真值变化外，没有任何其他变化，即(s₁,a,s₂)是T的一个模型当且仅当以下被满足：

s₁＝s₂∪s⁺\s^-

s⁺∩s^-＝Φ

s₁与s₂满足S中的所有静态规则对应的状态约束。