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

有效

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

本發明公開了一種人工智能程序員書寫數字飛行器源代碼的推理決策方法，包括：建立推理決策知識庫，所述推理決策知識庫包括事實庫與推理規則庫；對數字飛行器源代碼樣板進行維分解，確定分解后各部分源代碼中的推理決策知識庫；根據數字飛行器的輸入啟動推理機制；源代碼書寫模塊根據書寫規則生成數字飛行器源代碼。本發明將人寫程序的決策過程分解，根據每部分的特點將數字飛行器源代碼開發重要決策過程智能化，減少了數字飛行器源代碼中的人的主觀因素，避免了人的重復開發工作，提高了程序開發效率。

技術領域

本發明涉及一種源代碼智能書寫技術領域，更具體的說是涉及一種人工智能程序員書寫數字飛行器源代碼的推理決策方法。

背景技術

在航空航天技術領域中，飛行器包括飛機、導彈、衛星、航天飛船等，數字飛行器是與真實飛行器的功能、組成、結構、模式、程序、操作完全一致的且運行在軟件模擬的空間環境中的動態模擬仿真系統。

目前工程設計、研發、測試過程中利用數字世界進行仿真驗證的比例大大提升，飛行器實物測試成本高，數字飛行器的作用更加明顯。然而數字飛行器代碼開發量大，加重了數字飛行器仿真的工作量及成本。

因此，如何提供人工開發工作量小，工作效率高的飛行器源代碼的推理決策方法是本領域技術人員亟需解決的問題。相對于其他決策方法，推理決策方法的表達方式與人的邏輯習慣一致，格式固定，形式單一，規則間相互較為獨立，知識庫的建立與擴展較為容易。

發明內容

有鑒于此，本發明提供了一種人工智能程序員書寫數字飛行器源代碼的推理決策方法，將人寫程序的決策過程分解，根據每部分的特點將多種不同的人工智能方法組合起來，自動完成數字飛行器源代碼的決策過程，避免了人的重復開發工作，提高了程序開發效率。

為了實現上述目的，本發明采用如下技術方案：

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

步驟一，建立推理決策知識庫，所述推理決策知識庫包括事實庫與推理規則庫；

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

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

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

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

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

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

優選的，所述推理決策知識庫包括從系統界定維建立的系統環境決策知識庫、系統功能層決策知識庫等，以及從系統維建立的源代碼工程組成決策知識庫、源代碼工程文件定義決策知識庫、源代碼全局變量使用決策知識庫、源代碼重要函數使用決策知識庫。

所述從系統界定維將數字飛行器源代碼樣板進行分解，其主要包含環境、功能、組成幾個部分決策。其中系統環境選擇決策主要包括源代碼的實現語言(C、C#、Matlab)、輸入輸出的數據方式(數據庫、文件)、源代碼的運行平臺(windows、Linux、嵌入式)等方面。功能定義決策主要指數字飛行器仿真粒度決策。

所述從系統維將數字飛行器源代碼樣板進行分解，其主要包含工程、文件、全局變量、函數幾個部分。其中：

(1)所述的數字飛行器源代碼工程確定的決策方法，包括單機版/分布式決策、分布式工程劃分決策、二維演示選擇、三維演示程序選擇、其它外圍支撐程序選擇等幾個部分。