[發明專利]人工智能程序員書寫數字飛行器源代碼的推理決策方法

有效

• 申請號: 201810036979.6
• 申請日: 2018-01-15
• 公開（公告）號: CN108304624B
• 公開（公告）日: 2021-08-13
• 發明（設計）人: 董云峰;李錦輝
• 申請（專利權）人: 北京航空航天大學
• 主分類號: G06F30/20
• 分類號: G06F30/20;G06F30/15;G06K9/62
• 代理公司: 北京慕達星云知識產權代理事務所(特殊普通合伙) 11465
• 代理人: 王鵬

1.一種人工智能程序員書寫數字飛行器源代碼的推理決策方法，其特征在于，包括以下步驟：

步驟一，建立推理決策知識庫，所述推理決策知識庫結構上包括事實庫與推理規則庫；采用三元組(對象，屬性，值)或(關系，對象1，對象2)來表示事實，所述事實庫用于描述源代碼書寫過程中程序員的決策依據，事實庫包括問題類型、是否需要半物理仿真、是否是飛行器集群、飛行器總數量、集群中實體間關系、飛行器的類型、服務對象、運行硬件環境的性能；推理規則庫用于描述源代碼書寫過程中程序員的決策；將數字飛行器源代碼的推理規則庫分解為不同層次的推理規則；

步驟二，對數字飛行器源代碼樣板進行維分解，確定分解后各部分源代碼中的推理決策知識庫；

步驟三，根據數字飛行器的輸入啟動推理機制，所述數字飛行器的輸入指推理決策依據；具體包括：

(1)根據數字飛行器的特點，確定事實庫，遍歷推理規則庫，找到與當前事實匹配的推理規則；

(2)執行推理規則的操作部分，并將其結論作為新事實存入事實庫；

(3)利用所述新事實重復步驟(1)和步驟(2)，直到沒有新的推理規則適用，或者找到適用的書寫規則為止，將書寫規則保存到書寫規則庫中；

步驟四，源代碼書寫模塊根據書寫規則生成數字飛行器源代碼。

2.根據權利要求1所述的一種人工智能程序員書寫數字飛行器源代碼的推理決策方法，其特征在于，所述推理決策知識庫內容上包括從系統界定維建立的系統環境決策知識庫、系統功能層決策知識庫，以及從系統維建立的源代碼工程組成決策知識庫、源代碼工程文件定義決策知識庫、源代碼全局變量使用決策知識庫、源代碼重要函數使用決策知識庫。

3.根據權利要求1所述的一種人工智能程序員書寫數字飛行器源代碼的推理決策方法，其特征在于，所述事實庫用于描述源代碼書寫過程中程序員的決策依據，記錄數字飛行器的特點及仿真要求，包括但不限于環境、功能、工程、文件、全局變量、函數六個層面。

4.根據權利要求1所述的一種人工智能程序員書寫數字飛行器源代碼的推理決策方法，其特征在于，所述推理規則庫用于描述源代碼書寫過程中程序員的決策，將數字飛行器源代碼的推理規則庫分解為不同的推理規則，包含但不限于環境、功能、工程、文件、全局變量、函數六個層面。

5.根據權利要求1所述的一種人工智能程序員書寫數字飛行器源代碼的推理決策方法，其特征在于，所述步驟三中所述數字飛行器的輸入指推理決策依據，包括但不限于環境、功能、工程、文件、全局變量、重要函數。

6.根據權利要求1所述的一種人工智能程序員書寫數字飛行器源代碼的推理決策方法，其特征在于，所述推理規則的表示方法為產生式表示法；

所述的產生式表示法的組成為：“如果condition，則action”的形式； Condition被稱為前件，它給出了該產生式可否使用的先決條件，由事實的邏輯組合來構成；而action被稱為后件，是一組結論或操作，它指當前件condition滿足時，應該推出的結論或應該執行的動作；其中結論指的是一條或者多條事實的集合，而操作指的是一條或者一系列可執行的規則。

7.根據權利要求1所述的一種人工智能程序員書寫數字飛行器源代碼的推理決策方法，其特征在于，所述步驟四中具體包括如下步驟：利用源代碼書寫模塊進行書寫規則讀取、統計分析及源代碼書寫。