[發明專利]描述邏輯與可廢止邏輯整合的不一致本體非單調推理方法

無效

• 申請號: 201110227566.4
• 申請日: 2011-08-01
• 公開（公告）號: CN102411730A
• 公開（公告）日: 2012-04-11
• 發明（設計）人: 彭志平
• 申請（專利權）人: 彭志平
• 主分類號: G06N5/04
• 分類號: G06N5/04
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.用描述邏輯和可廢止邏輯的知識庫構建領域知識庫K，即K＝(T，A，F，R，＞)，其特征是：T指描述邏輯的TBox，A指描述邏輯的ABox，F指可廢止邏輯的事實集合，R指可廢止邏輯的規則集合，＞指可廢止邏輯R上的優先關系。

2.對T進行劃分，確定T的硬性公理集T_s和可廢止公理集T_d，其特征是：T_s和T_d是T的一個劃分，其中硬性公理集T_s為T中最大的一致概念公理集合，可廢止公理集T_d為T中最小的不一致概念公理集合，且T_s＝T-T_d。

3.對T_s和T_d進行初始化，得到和且其特征是：初始化包括用概念包含公理和替換概念等價公理C≡D、添加概念包含公理的逆否公理以及規范化公理的否定式。

4.根據權利要求3所述的對T_s和T_d進行初始化，得到和且其特征是：所述的用概念包含公理和替換概念等價公理C≡D”為在T_s和T_d中，凡出現形如C≡D的概念等價公理，都用形如包含公理和替換。

5.根據權利要求3所述的對T_s和T_d進行初始化，得到和且其特征是：所述的概念包含公理的逆否公理為對于T_s和T_d中的任一概念包含公理，將所有二元算子”用替代、用替代，并在左右兩側分別加否定構造算子最后將公理的左右兩側式子互換。

6.根據權利要求3所述的對T_s和T_d進行初始化，得到和且其特征是：所述的規范化公理的否定式為對于T_s和T_d中的任一概念包含公理都有與之等價的形如的否定規范公理，如的否定規范公理為

7.分別構建和的公理解析對集合，用ARP_s和ARP_d表示，其特征是：在和中形如否定規范公理的序偶arp＝<{C₁(x)，...，C_m(x)}，{D₁(x)，...，D_n(x)}>為該公理的解析對，分別用ARP_s和ARP_d表示和的公理解析對集合，如概念包含公理的公理解析對為

8.分別調用OntologyToStrictRule(ARP_s)算法和OntologyToDefeasibleRule(ARP_d)算法，其特征是：OntologyToStrictRule(ARP_s)算法詳細描述如下：

OntologyToDefeasibleRule(ARP_d)的思路與OntologyToStrictRule(ARP_s)相似，其過程略。

9.結合可廢止邏輯原有四個推理規則和下面四個新增可廢止推理規則進行非單調可廢止推理，其特征是：四個新增的可廢止推理規則包括：概念構造算子的可廢止推理(如下面的I5～I8所示)、概念構造算子的可廢止推理規則(如下面的I9～I12所示)、概念構造算子的可廢止推理規則(如下面的I13～I16所示)和概念構造算子的可廢止推理規則(如下面的I17～I20所示)，如下所示

I5：We?may?appendif?either

(1)or

(2)

I6：We?may?appendif

(1)and

(2)

I7：We?may?appendif?either

(1)or

(2)

I8：We?may?appendif

(1)and

(2)

I9：We?may?appendif

(1)

I10：We?may?appendif

(1)

I11：We?may?appendif

(1)

I12：We?may?appendif

(1)

I13：We?may?appendif

(1)+ΔR(a，b)and

(2)+ΔC(b)

I14：We?may?appendifeither

(1)-ΔR(a，b)or

(2)-ΔC(b)

I15：We?may?appendif

(1)and

(2)

I16：We?may?appendifeither

(1)or

(2)

I17：We?may?appendifeither

(1)-ΔR(a，b)or

(2)+ΔC(b)

I18：We?may?appendif

(1)+ΔR(a，b)and

(2)-ΔC(b)

I19：We?may?appendifeither

(1)or

(2)

I20：We?may?appendif

(1)and

(2)