国家自然科学基金(69773026)
- 作品数：11 被引量：68H指数：5
- 相关作者：程显毅石纯一胡山立罗跃川马光伟更多>>
- 相关机构：江苏理工大学清华大学福州大学更多>>
- 发文基金：国家自然科学基金高等学校国家重点实验室和教育部重点实验室访问学者专项基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 分布式人工智能测试床被引量：2
- 2001年
- 本文从历史上影响较大的两个测试床 DVMT(模拟物理分布系统 )和 MACE(模拟逻辑分布系统 )出发 ,讨论了测试床提供的三类环境的基本原理 ,最后介绍我们开发的面向运输调度的市场机制测试床 TSOM.
- 程显毅石纯一
- 关键词：分布式人工智能测试床
- 避免逻辑全知的BDI语义被引量：16
- 2002年
- BDI(belief, desire, intention)是基于Agent计算的理论模型,BDI语义关系着Agent计算的发展.通过把相信划分为主观相信和客观相信,把可能世界理解为认知的不同阶段,给出具有进化特征的BDI语义.该语义既能描述Agent,又避免了逻辑全知问题.
- 程显毅石纯一
- 关键词：AGENT人工智能
- 一个改进的理性Agent-BDI模型被引量：19
- 2000年
- 利用一种新的可能世界语义 ,在 Rao和 Georgeff的基于分支时间可能世界模型的 BDI形式化的基础上 ,得到一个改进的 BDI模型 .与 Rao和 Georgeff的 BDI模型以及大多数基于可能世界的形式化相比 ,不存在逻辑全知问题和除等价情况外的副作用问题 .
- 胡山立石纯一
- 关键词：愿望意图多AGENT系统
- 一个MAS结构模型被引量：9
- 2001年
- 通过引入Ａｇｅｎｔ视图概念，给出一个ＭＡＳ（Ｍｕｌｔｉａｇｅｎｔ Ｓｙｓｔｅｍ）结构模型。
- 程显毅罗跃川
- 关键词：MASAGENT感知器人工智能信息处理
- 社会Agent认知结构的研究被引量：2
- 2000年
- Agent的 BDI认知结构是基于 Bratman的哲学解释 ,存在理论和实际脱节的问题。本文基于社会性观点 ,给出 Agent的 ISC认知结构 ,该结构能很好地解释意义传送的问题。
- 程显毅
- 关键词：人工智能AGENT专家系统
- 关于集体目标推理
- 2001年
- 在一组约束条件下 ,Sandu证明了 Tuomela集体目标定义中条件只有 CC必要的 .本文基于意图理论 ,证明Sandu给出的约束条件过强 ,并回答了 Sandu没有解决的问题 :集体成员如何相互相信各自同时实现集体目标 .
- 程显毅焦志伟
- 关键词：意图AGENT
- MAS理性与模型的研究被引量：12
- 2001年
- 理性是选择策略的标准 ,是系统内一种有序结构 ,关系着 MAS目标的实现和 MAS的稳定性。有序结构可以在平衡条件下形成 (封闭系统 ) ,也可以在远离平衡条件下形成 (开放系统 ) ,本文在讨论封闭环境下 MAS理性的基础上 ,给出适应开放环境下的 MAS理性。
- 程显毅石纯一
- 关键词：AGENTMAS人工智能
- 一种结合效用的Agent思维状态模型被引量：5
- 2000年
- 建立 Agent思维状态模型是 Agent理论研究的一个重要课题 .结合效用提出一种 Agent思维状态模型BDICU( belief desire intention combined with utility) ,使 Agent的行为具有逻辑理性和决策理性 ,为副作用问题提供了解决方法 .同时 ,给出目标和意图的生成和更新规则 .BDICU模型改进和扩充了 Rao和 Georgeff的信念 -期望 -意图理论 ,为逻辑和效用理性
- 徐晋晖石纯一
- 关键词：AGENT思维状态信念意图
- Agent社会理性模型的计算框架被引量：3
- 2001年
- 理性是选择策略的标准 ,在社会背景下 ,关系着 MAS目标的实现 ,Jennings〔4〕给出了 Agent社会理性 =k1*自我理性 + k2 *合作理性 ,该模型存在的问题是 K1,K2是主观确定的 ,本文基于协同学原理 ,给出 K1,K2客观的计算框架 .
- 程显毅张笑微
- 关键词：协同学MAS人工智能
- 语用的通信协调模型
- 2000年
- 通信不仅仅是为了交换信息 ,它更主要的是 ,当系统出现冲突时 ,起协调作用 ;当系统需要合作时 ,起协商作用。用传统的协议机制实现这个目标是有局限的 ,为此本文基于语用预设讨论了语用在解决协调时的作用 ,并给出了一个语用的通信协调模型。
- 程显毅
- 关键词：语用预设AGENT
