[發明專利]非單調推理在邏輯動作語言系統刻畫中的知識表示方法

在審

• 申請號: 202110037336.5
• 申請日: 2021-01-12
• 公開（公告）號: CN112766505A
• 公開（公告）日: 2021-05-07
• 發明（設計）人: 張昊迪;伍楷舜;陳振浩
• 申請（專利權）人: 深圳大學
• 主分類號: G06N5/02
• 分類號: G06N5/02;G06N5/04
• 代理公司: 北京市誠輝律師事務所 11430
• 代理人: 耿慧敏

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中的所有靜態規則對應的狀態約束。