[发明专利]一种基于人工智能规划的模型自动组合方法和系统

说明书

技术领域

本发明涉及一种模型自动组合方法和系统。更具体地，本发明涉及一种基于人工智能规划的模型自动组合方法和系统。

背景技术

目前，在复杂产品研制企业中存在大量的专业沉淀，不需要从零开始建模，只需要重用、扩展部分已有的模型，再开发少量全新的模型，并经过有效的组合，即可满足业务需求。

现有的方法多是手动进行组合。在传统的模型库中，通常按照模型所属的部门、涉及的学科或者应用的项目对模型进行分类管理。由于模型数量不是太多，用户通过浏览模型库导航栏中的部门、学科、或者项目的目录就可以定位自己所要找的模型，或者通过关键字查找就可以找到自己所需的模型。当然，由于遗留的模型之间存在着多方位的异构性，一般还要基于组件的思想对模型进行统一封装和适当改造，以屏蔽其异构性，再手工进行接口匹配和模型关联，以实现模型的组合。

然而，随着模型数量的增长，单纯地浏览或者关键字查找已经难以找到一组合适的模型来参与组合。此时，语义被添加了进来。通过为每个入库的模型添加语义标签，以及为模型库添加领域本体和推理引擎，可以提高模型的检索匹配的效率。但是，如果每检索出一组模型，都要人手工进行可组合校验，效率将大打折扣，特别是当复杂产品模型的层次关系、关联关系比较复杂的时候。因而，模型的自动组合就显得尤为重要。

模型有静态结构和动态行为，静态结构描述模型的层次关系、嵌套关系以及信息交互关系；动态行为描述各个模型的状态变化以及模型间事件交互的时序逻辑关系。

现有基于语义的方法能够对模型的属性以及接口等进行自动匹配组合，即从模型静态结构的角度进行组合。但是，对于一组模型的组合来说，即使检索出的模型的属性、接口相互匹配，也不意味着模型的时序动态特性相互匹配。还需要一种新的方法，从模型动态行为的角度进行自动匹配组合，以弥补现有模型自动组合的不足之处。

发明内容

本发明目的在于提供一种基于人工智能规划的模型自动组合方法，解决复杂产品模型组合过程中模型动态行为自动组合的问题，确保组合模型时序动态特性的正确性。

该方法包括：

描述模型之间的元交互情景，所述元交互情景是模型之间基本的时序动态逻辑，多个元交互情景组成交互情景；

利用规划问题表示语言对动态行为进行语义描述；

利用人工智能规划器进行动态行为规划。

进一步地，所述描述模型之间的元交互情景包括以下步骤：

运用图形描述动态行为并将所述元交互情景以动态行为描述脚本规范输出，所述脚本规范包括开始和结束标记，以及开始标记和结束标记之间的动态行为描述内容，该动态行为描述内容包括模型之间事件交互的列表。

进一步地，所述利用规划问题表示语言对动态行为进行语义描述包括以下步骤：

输入所述动态行为描述脚本规范，利用规划问题表示语言表示动态行为中的事件，规划问题中的行动对应所述动态行为中的事件。

进一步地，所述利用人工智能规划进行动态行为规划包括以下步骤：

根据所述的元交互情景获得规划条件，所述规划条件包括所述动态行为中的事件之间的定序约束和因果连接；

根据所述规划条件对动态行为进行规划从而获得更大粒度组合模型之间的交互情景。

进一步地，所述描述模型之间的元交互情景包括以下步骤：

将所述动态行为描述脚本转化为图形化描述。

相应地，本发明提供一种基于人工智能规划的模型自动组合系统，包括：

模型动态行为描述模块，用于描述模型之间的元交互情景，所述元交互情景是模型之间基本的时序动态逻辑，多个元交互情景组成交互情景；

动态行为语义标注模块，用于利用规划问题表示语言对动态行为进行语义描述；

人工智能规划器，用于进行动态行为规划。

进一步地，所述模型动态行为描述模块进一步用于运用图形描述动态行为并将所述元交互情景以动态行为描述脚本规范输出，所述脚本规范包括开始和结束标记，以及开始标记和结束标记之间的动态行为描述内容，该动态行为描述内容包括模型之间事件交互的列表。

进一步地，所述动态行为语义标注模块进一步用于输入所述动态行为描述脚本规范，利用规划问题表示语言表示动态行为中的事件，规划问题中的行动对应所述动态行为中的事件。

进一步地，所述人工智能规划器进一步用于根据所述的元交互情景获得规划条件，所述规划条件包括所述动态行为中的事件之间的定序约束和因果连接；以及，