袁金平
- 作品数：11 被引量：31H指数：3
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于主体的语义Web服务模型被引量：5
- 2009年
- 要实现Web服务组合自动快速准确性,必须对Web服务进行语义标注,使计算机能在"理解"服务的基础上实现快速准确查找和自动组合。Agent以其独特的性质,被普遍认为是可以代替人做出某些行为的实体。借鉴主动服务的思想,在传统面向服务体系架构(SOA)的基础上,将Agent技术引入到SOA模型中,提出了一种基于主体的语义Web服务模型,采用Agent来封装不同角色模块,使得Web服务的调用和组合过程可看成是代表各自角色的A-gent之间的协商和协作解决问题的过程。
- 袁金平姚莉鲍爱华刘芳
- 关键词：面向服务体系架构多主体系统语义WEB服务语义WEB服务组合
- 一种基于规则的OWL-S本体语法一致性维护方法被引量：1
- 2009年
- OWL-S本体语法一致性维护是语义Web服务维护工程中需要重点研究的问题。提出一个一致性维护框架指导知识工程师进行OWL-S本体语法一致性维护,定义并抽象出OWL-S本体基本变化,提出变化关联矩阵分析基本变化间的依赖关系,基于关联矩阵提出额外变化序列生成算法分析基本变化对全局的影响,并分析了算法时间复杂性。对OWL-S本体语法一致性规则进行了形式化定义,使机器能够自动检测这些规则,辅助知识工程师完成OWL-S本体语法一致性维护工作。
- 鲍爱华张维明袁金平姚莉
- 关键词：OWLS关联矩阵
- 用于多方论据博弈的辩证分析模型
- )于现实世界的信息可能是不完备、不一致或不精确的,因此动态开放环境下的多源信息集成通常存在着信念冲突.本文基于辩证语义提出了一种用于多方论据博弈的辩证分析模型(Dialectic Analysis Model for M...
- 姚莉袁金平漆学田
- 关键词：ARGUMENTATIONDIALECTICARGUMENTGAMEAGENTDIALOGUE
- 语义Web技术及其逻辑基础被引量：17
- 2008年
- 随着语义Web的产生和发展,人-机及机-机间的交流与协作将变得更加方便。该文从介绍语义Web概念及体系结构入手,对关键技术XML,RDF及Ontology进行了对比分析说明,同时研究了其逻辑基础(描述逻辑),分析了其语法语义及推理任务。对语义Web的未来发展热点问题进行了展望。
- 袁金平鲍爱华姚莉
- 关键词：语义网描述逻辑可扩展标识语言资源描述框架
- 用于辩证分析的多方对话协议被引量：1
- 2010年
- 在基于辩论的多agent系统研究中,agent之间的对话博弈一般是双方的,然而现实中的辩论却常常涉及到多方参与者,如何实现多agent系统的多方对话博弈是当前的研究热点之一。用于多方论据博弈的辩证分析模型(DAM-MAG)是一种借鉴中国武术擂台比武思想,将多方对话博弈转化为若干个双方对话博弈的理论模型。DAM-MAG的难点在于多方对话博弈协议的设计和实现。为此,基于该理论模型提出了一种多方对话博弈协议。该协议提供了通过双方对话博弈来解决多方对话博弈问题的方法,为解决多agent系统的多方对话博弈提供了新的途径。
- 袁金平姚莉佟濛
- 关键词：多AGENT系统多AGENT交互
- 基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法被引量：5
- 2008年
- 针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。
- 鲍爱华袁金平姚莉张维明
- 关键词：WEB服务语义WEB过程语义本体演化着色PETRI网
- 基于辩证语义的分布式协同态势分析方法
- 2010年
- 分布式协同态势分析在联合作战战役筹划中起着十分重要的作用。当前的战场环境呈现动态不确定性,传统的态势分析方法在处理不确定、不一致及不完全信息等实际应用中存在较大的局限性。本文基于辩论理论的辩证语义,提出了一种新的分布式协同态势分析方法。该方法通过多方对话博弈展现不同参与者的主张和论据之间的攻击关系及矛盾焦点,进而构建相应的辩证分析树网格以辅助决策者协同解决态势分析中的信息不一致和观点冲突问题。该方法的研究将为联合作战的态势分析提供新的方法论。
- 姚莉袁金平漆学田
- 关键词：辩论论据
- 多AGENT协同辩证推理方法及实现技术研究
- 在浩如烟海的信息环境下，信息的不一致、不精确和不完全性是不可避免的问题。如此复杂信息环境使得人类迷失在海量信息中而显得无所适从：该相信哪一条信息和不应相信哪一条信息？如何从不一致信息环境下获取更加合理和更有根据的决策知识...
- 袁金平
- 关键词：辩论论据辩证推理多AGENT系统
- 文献传递
- 保证语义正确性的动态分层集成数据访问方法
- 本发明公开了一种保证语义正确性的动态分层集成数据访问方法，目的是解决如何在大规模关系数据库集成条件下，提供语义完全正确的数据访问。技术方案为，先对描述逻辑子集DL-Lite<Sub>A</Sub>进行扩展得到<Image...
- 姚莉唐富年封孝生刘芳张群郝智勇李金洋袁金平
- 文献传递
- 保证语义正确性的动态分层集成数据访问方法
- 本发明公开了一种保证语义正确性的动态分层集成数据访问方法，目的是解决如何在大规模关系数据库集成条件下，提供语义完全正确的数据访问。技术方案为，先对描述逻辑子集DL-Lite<Sub>A</Sub>进行扩展得到<Image...
- 姚莉唐富年封孝生刘芳张群郝智勇李金洋袁金平
- 文献传递
