多Agent系统形式化模型和本体系统构建理论与方法.doc

云南省科学技术奖推荐书 （自然科学奖） 编?? 号 　 年 度 　2012 项 目 名 称 多Agent系统形式化模型和本体系统构建理论与方法研究 第一候选单位 　云南师范大学 推荐单位/专家 　云南师范大学 填 表 日 期 　2012-5-17 云南省科学技术奖励办公室制 一、项目基本情况 成果登记号： ? 1492010J0023 项目名称 多Agent系统形式化模型和本体系统构建理论与方法研究 候选人 （单位） 孙瑜(云南师范大学),俆天伟(云南师范大学),李志平(云南师范大学),解继丽(云南师范大学),夏跃稳(云南师范大学) 推荐单位 （盖章）或 专家（签字） 云南省教育厅 推荐专业(学科)评审委员会 J.电子信息技术 项目所属学科1 5202010.人工智能理论 项目所属学科2 5202070.知识工程 项目所属学科3 主题词 多Agent系统；本体；智能教学系统 所属国民经济行业 M.科学研究和技术服务业 任务来源 B.省级计划 计划下达单位、部门 云南省科技厅 计划名称和 编号 基于Web和多Agent技术的智能教学环境研究 (2004F0017Q) 因特网非规范知识获取与编辑系统研究（2005F0022Q） 本体的逻辑推理和本体修正（07Y1661Z） 项目开始时间 2004-10-1 项目结束时间 2010-5-21 代表性论文、专著最早发表时间 2004-12-1 代表性论文 影响因子合计 6 代表性论文 他引次数合计 39 二、项目简介 （限1000字以内） 项目主要研究内容、发现点、科学价值、同行引用及评价等内容。 研究内容和成果： 提出了多Agent系统的形式化描述系统：（1）提出了区分外部环境和由Agents组成的内部环境的，基于访问、感知和知道的多Agent VSK-AF逻辑；（2）提出了基于博弈论的多Agent协商模型。 提出了基于Web和多Agent技术的智能教学系统的相关理论和方法：（1）提出了基于Web和多Agents的智能教学系统模型；（2）提出了通过教学环境和用户环境来对该教学系统进行形式化描述的理论。 给出了本体表示语言和本体修正的相关理论和方法：（1）提出了带值限制的本体表示语言和逻辑推理机制，对本体的协调性进行了严格的理论证明；（2）提出了本体与缺省逻辑之间的转换理论，并且证明了一个树型结构的本体是协调的当且仅当该本体的缺省理论只有一个扩展。 提出了基于vague集的时态模糊描述逻辑：（1）提出了时态模糊描述逻辑TFDL的语法、语义和知识库的解释；（2）提出了TFDL的概念的可满足性判定算法，并证明了该算法的可终止性、可靠性和完全性。 提出了基于本体的查询检索系统模型和成语典故本体构建方法：（1）提出了基于领域本体的查询系统的形式化模型，该模型引入本体层来对知识库系统中的语义和信息内容进行描述；（2）将本体论与中国的传统文化相结合，基于骨架法构建了成语典故本体ILQO。 通过设计和实现基于Web和多Agent技术的智能教学系统和成语典故教与学原型，验证了上述理论成果的正确性。 科学价值、同行引用和评价： 2004年10月至今共发表学术论文20余篇，其中EI、ISTP收录2篇，EI收录8篇，ISTP收录1篇。累计影响因子9.665，他人引用近60次。 经过评定，本项目的成果在多Agent的形式化模型、本体系统的构建上有所创新，具有较高的理论水平，并在教育技术产业化方面有较好的应用前景，研究成果达到了国内先进水平。 三、候选人和候选单位对项目的贡献情况 第1候选人：孙瑜 对项目的贡献情况：对多Agent形式化系统和本体工程进行了系统深入的研究，主要提出了多Agent VSK-AF逻辑、本体表示语言、本体与缺省逻辑之间的转换机制，基于Web和多Agent技术的智能教学系统形式化模型，以及基于vague集的时态模糊描述逻辑。 第2候选人：俆天伟 对项目的贡献情况：对知识管理和计算机辅助教学进行系统深入的研究，主要提出了知识表示方法和基于过程的知识管理模型，智能教学系统的提系统结构，以及智能教学系统中的搜索Agent形式化描述模型。 第3候选人：李志平 对项目的贡献情况：对基于本体的知识表示和基于Web和Agent的智能教学环境进行系统深入的研究，主要提出了基于本体的领域知识表示方法和查询系统模型，以及基于web和多Agent技术的智能教学系统形式化模型。 第4候选人：解继丽 对项目的贡献情况：对本体系统构建方法基于