[發(fā)明專利]命題邏輯中基于矛盾體內(nèi)部子句的逆向并行演繹推理方法

在審

• 申請?zhí)枺?/td>: 201710334654.1
• 申請日: 2017-05-12
• 公開（公告）號: CN108875940A
• 公開（公告）日: 2018-11-23
• 發(fā)明（設計）人: 徐揚;陳樹偉;劉軍;何星星;鐘小梅
• 申請（專利權(quán)）人: 西南交通大學
• 主分類號: G06N5/04
• 分類號: G06N5/04
• 代理公司: 成都天嘉專利事務所(普通合伙) 51211
• 代理人: 蔣斯琪

1.命題邏輯中基于矛盾體內(nèi)部子句的逆向并行演繹推理方法，其特征在于包括如下步驟：

(一)構(gòu)造矛盾體并形成矛盾體分離式：對于命題邏輯中的子句集S＝{C₁,C₂,…,C_m}，其中，C₁,C₂,…,C_m為命題邏輯中的子句；從子句集S中選取k個子句D₁，…，D_k，分成兩部分，構(gòu)造矛盾體并形成矛盾體分離式m是子句集S中子句的個數(shù)，k是選自子句集S用于構(gòu)造矛盾體的子句個數(shù)；m≥2，k≥2；i＝1，…，k；

(二)根據(jù)矛盾體分離式判斷演繹推理是否終止：對步驟(一)中得到的矛盾體分離式R，判斷子句集S的不可滿足性：

如果所得矛盾體分離式R為空，則停止判斷，得到結(jié)論：子句集S不可滿足；

否則，轉(zhuǎn)到步驟(三)；

(三)抽取矛盾體內(nèi)部子句：根據(jù)步驟(一)中所構(gòu)造的矛盾體及形成的矛盾體分離式R，從子句D₁，…，D_k中選取不為空的子句，記這些子句為其個數(shù)為t個，抽取這t個子句對應的矛盾體內(nèi)部子句轉(zhuǎn)到步驟(四)；

(四)演繹推理：以步驟(三)中得到的t個矛盾體內(nèi)部子句為目標，分別對子句集S進行并行演繹推理或逐個進行演繹推理，如果相應的演繹推理結(jié)果分別為這t個子句則得到結(jié)論：子句集S不可滿足；

否則，重復步驟(一)～(四)或用另外的演繹推理方法，進行下一輪演繹推理，直至得到子句集不可滿足性的判定結(jié)論，或達到設定的條件，則停止演繹推理，給出結(jié)論：子句集S屬性無法判定；

上述步驟中，j＝1,…,t，t≥1。

2.根據(jù)權(quán)利要求1所述的命題邏輯中基于矛盾體內(nèi)部子句的逆向并行演繹推理方法，其特征在于：步驟(一)中，從子句集中選取k個子句，其中的子句可重復出現(xiàn)。

3.根據(jù)權(quán)利要求1所述的命題邏輯中基于矛盾體內(nèi)部子句的逆向并行演繹推理方法，其特征在于：對于命題邏輯中的子句C₁，C₂，…，C_m，

(1)如果對于任意的中有互補對，則稱或子句集S是一個標準矛盾體；

(2)如果不可滿足，則稱或S是一個準矛盾體；

在命題邏輯中，標準矛盾體和準矛盾體是同一概念，簡稱為矛盾體。

4.根據(jù)權(quán)利要求1所述的命題邏輯中基于矛盾體內(nèi)部子句的逆向并行演繹推理方法，其特征在于：對于命題邏輯中的子句C₁,C₂,…,C_m，稱子句為C₁,C₂,…,C_m的矛盾體分離式，如果：

(1)對子句C_i1，其中i1＝1，…，m；存在C_i1中的兩個部分子句與使得：

①與無相同文字，可以為空子句，不為空子句；

②不可滿足；

(2)