用于辩证分析的多方对话协议

在基于辩论的多agent系统研究中,agent之间的对话博弈一般是双方的,然而现实中的辩论却常常涉及到多方参与者,如何实现多agent系统的多方对话博弈是当前的研究热点之一。用于多方论据博弈的辩证分析模型(DAM-MAG)是一种借鉴中国武术擂台比武思想,将多方对话博弈转化为若干个双方对话博弈的理论模型。DAM-MAG的难点在于多方对话博弈协议的设计和实现。为此,基于该理论模型提出了一种多方对话博弈协议。该协议提供了通过双方对话博弈来解决多方对话博弈问题的方法,为解决多agent系统的多方对话博弈提供了新的途径。     

高新消防380万元建成真火模拟训练系统

近日,高新区消防支队投入380万元打造了全市首个真火模拟训练系统,这也是全国消防部队唯一在室内建设的真火模拟训练系统。     

用于辩证分析的多Agent辩论对话系统MAS-Arguing的设计与实现

多方对话博弈是当前多Agent辩论技术研究的难点.本文基于辩论理论的辩证语义,提出一种用于多方论据博弈的辩证分析模型DAM-MAG,并设计和实现了基于该模型的多Agent辩论对话系统MAS-Arguing,证明了DAM-MAG模型在技术上的可行性.为了多方对话博弈易于实现,MAS-Arguing引入辩论擂台管理Agent,负责协调和监控多个辩论Agent之间的角色转换和论据博弈.本文主要从体系结构、通信语言、多方对话协议和承诺规则等方面说明了MAS -Arguing系统的设计与实现.     

病毒播报

“安德夫木马”变种DYF Trojan.DL.Win32.Undef.dyf 警惕程度木马病毒通过网络传播依赖系统WindowsNT／2000／XP/2003该病毒发作时,会从黑客指定网站下载各种木马病毒和恶意程序等到用户的电脑中运行,给用户的电脑安全带来严重的威胁。     

语义Web技术及其逻辑基础

随着语义Web的产生和发展,人-机及机-机间的交流与协作将变得更加方便。该文从介绍语义Web概念及体系结构入手,对关键技术XML, RDF及Ontology进行了对比分析说明,同时研究了其逻辑基础(描述逻辑),分析了其语法语义及推理任务。对语义Web的未来发展热点问题进行了展望。     

一种基于主体的语义Web服务模型

要实现Web服务组合自动快速准确性,必须对Web服务进行语义标注,使计算机能在"理解"服务的基础上实现快速准确查找和自动组合.Agent以其独特的性质,被普遍认为是可以代替人做出某些行为的实体.借鉴主动服务的思想,在传统面向服务体系架构(SOA)的基础上,将Agent技术引入到SOA模型中,提出了一种基于主体的语义Web服务模型,采用Agent来封装不同角色模块,使得Web服务的调用和组合过程可看成是代表各自角色的A-gent之间的协商和协作解决问题的过程.     

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析.结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网.将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础.