国家自然科学基金(69973023)
- 作品数：8 被引量：83H指数：6
- 相关作者：石纯一张伟徐晋晖胡山立王一川更多>>
- 相关机构：清华大学福州大学中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金高等学校国家重点实验室和教育部重点实验室访问学者专项基金福建省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 集体目标的形式规范被引量：2
- 2001年
- 在多 Agent系统中协调是系统效率的瓶颈 ,目前常用的协调机制有组织结构、交换元级信息、多 Agent规划、集体目标等 ,而集体目标具有最低协调成本的功效 .在没有一个标准逻辑描述集体目标的今天 ,在某些约束下 ,给出集体目标的形式规范是可行的 .首先给出了动态可能世界语义学 ,在此基础上证明 Sandu给出的集体目标约束条件过强 ,并回答了 Sandu没有解决的问题 :集体成员如何相互相信各自同时实现集体目标 .
- 程显毅石纯一
- 关键词：AGENT意图人工智能
- 理性Agent的意图维护模型被引量：14
- 2001年
- 在理性 Agent的形式化中 ,通常认为 Agent的思维状态包含信念、愿望和意图这 3个属性 .它们之间的静态关系已被人们充分重视 ,但它们随时间的动态变化还未被很好研究 .考察了意图维护直观语义中的一些问题 ,给出了随信念、愿望改变的意图维护的动态模型 ,与 Rao和 Georgeff的意图维护模型相比 ,适用性更广、更简明 ,不必限制可能世界的时序结构 ,不必另外引入信念、愿望、意图算子的 only模态形式 .
- 胡山立石纯一
- 关键词：AGENT语义人工智能
- 面向结构的Agent组织形成和演化机制被引量：41
- 2001年
- 基于 Agent组织的多 Agent问题求解可以大大降低求解难度和交互复杂性 .其中 Agent组织的形成和演化是基于 Agent计算和合作的关键 .给出了面向结构的组织形成和演化机制 ,解决了麻木性和灵活性差问题 ,保证了 Agent的效用理性和个性倾向 ,刻画了演化所满足的性质 ,改进了 Shehory,Kraus,Glaser等的组织形成和演化方法 .
- 徐晋晖张伟石纯一侯保华
- 关键词：AGENT人工智能
- 多Agent系统的模型和形式语义被引量：11
- 2001年
- 1 引言
自90年代以来,关于Agent和多Agent系统逐渐引起重视并开成AI研究的热点.由于Agent表达能力强,市场求解机制以及把推理格局引伸到思维状态,因此适用于动态开放环境的问题求解[1].Agent和多Agent系统最初是作为一种分布式计算模型提出来的,旨在控制分布式计算的复杂性,克服人机界面的局限性,以及适应实际问题的开放性和分布性的要求.
- 张伟徐晋晖石纯一
- 关键词：多AGENT系统人工智能形式语义
- 一种具有个性的Agent实现机制被引量：9
- 2001年
- 建立具有个性的 Agent在基于 Agent的计算中具有重要的意义 .现有研究对于个性的定义和个性对Agent影响的分析比较片面 ,缺少对个性程度和目标自主产生的描述 .给出了有程度描述的结合倾向和特质的个性定义 ,形式化地描述了具有个性的 Agent的结构和有关算法 ,分析了个性对 Agent交互与组织的影响 ,改进了Rizzo和 Castelfranchi等人的具有个性的
- 徐晋晖张伟路海明石纯一
- 关键词：AGENT思维状态人工智能
- 基于π演算的一种受限AGENT0操作语义被引量：1
- 2003年
- AOP语言AGENT0的交互动作缺乏明确的操作语义 ,Hindriks等使用的语义模型不能以恰当的方式处理交互动作 π演算是刻画并发交互系统的重要工具 在对AGENT0做恰当限制的情形下 ,基于π演算给出了受限AGENT0的操作语义 ,确定了交互过程中Agent的行为 对AGENT0做限制的目的是语义解释减少复杂性 ,不影响语言的基本含义 与Hindriks等在AGENT0方面的工作相比 。
- 王一川石纯一
- 关键词：Π演算人工智能多AGENT系统
- Agent逻辑和真假子集语义被引量：6
- 2002年
- 理性Agent规约的形式框架通常基于信念、愿望和意图逻辑.为了克服现有的信念、愿望和意图逻辑中存在的问题,为非正规模态算子提供一种合适的语义表示.讨论了理性Agent性态的抽象规约中对语义表示的要求以及现有的信念、愿望和意图逻辑中存在的问题.介绍了作者开发的真假子集语义及其在Agent形式化中的应用.他们的框架使意图的有问题的性质无效.并且证明通过对模型的代数结构施加一定的约束,能获得许多希望的性质.最后对真假子集语义进行了分析.这一切表明真假子集语义为非正规模态算子提供了一种合适的语义表示,是对经典的正规模态算子可能世界语义的一个重要发展,是理性Agent性态的逻辑规约的有力工具,可应用于建立新的合适的Agent逻辑系统.
- 胡山立石纯一
- 关键词：AGENT逻辑人工智能
- 基于π演算的一种Agent组织模型被引量：8
- 2003年
- Agent组织是多Agent系统研究的重要方面 从直观含义出发 ,将组织看做Agent之间的控制关系 ,以π演算为工具 ,给出了组织角色的定义和根据组织框架构建具体组织的过程 角色和组织框架都用进程表示 ,确定了Agent加入和脱离组织的严格描述 相比Ferber等以π演算和化学自动机定义组织形成过程的形式语义的工作 ,本文显式定义了角色和组织框架 。
- 王一川石纯一
- 关键词：Π演算MAS角色多AGENT系统人工智能
