搜索结果: 1-2 共查到“人工智能 UML”相关记录2条 . 查询时间(0.031 秒)
基于SHOIN(D)的UML类图形式化方法
UML类图 描述逻辑 描述逻辑SHOIN(D)
2009/9/27
UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。针对UML模型形式化问题，提出基于描述逻辑的形式化方法，分析UML类图各模型元素与描述逻辑SHOIN(D)的对应关系，提出UML类图的SHOIN(D)形式化方法，给出UML类图转换为SHOIN(D)知识库的正确性证明。
基于UML的多智能体建模分析方法研究
2007/12/12
Abstract以多智能体系统机器人足球仿真比赛为研究背景 ,对Agent理论和结构模型进行分析 ,探讨了使用UML语言建立Agent模型与结构之间映射关系的方法 .通过对Agent的内部结构与行为的描述 ,实现了A gent建模与其软件建模的统一 .并在开发机器人足球仿真比赛队伍AFU2 0 0 4Agent软件的过程中成功地加以应用 ,为Agent的建模和设计实现开启了新的思路 .