[发明专利]人工智能程序员书写数字飞行器源代码的推理决策方法

权利要求书

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所述的一种人工智能程序员书写数字飞行器源代码的推理决策方法，其特征在于，所述步骤四中具体包括如下步骤：利用源代码书写模块进行书写规则读取、统计分析及源代码书写。