多Agent系统研究综述

Agent与多Agent系统 (MAS)是分布式人工智能 (DAI)的主要研究方向之一 .介绍了MAS的主要研究领域与最新进展 ,对MAS研究的技术基础、Agent的认知模型与理论、Agent的体系结构、MAS中的规划等方面进行了阐述     

Agent的PASS-BDI模型

Agent的BDI模型主要基于Bratman提出的理性主体理论，未能充分体现Agent主动性的认知过程，使Agent的问题求解和心智状态之间的关系未得到充分表达，且难于编程实现。将Das等人提出的计划—注意—同时性加工—继时性加工认知过程模型引入Agent的理论研究中，建立了Agent的PASS-BDI模型，利用多价π-演算从心智状态，认知过程，整体行为等几个方面刻画了该模型的静态和动态特征，并将研究结果应用于多Agent组织中Agent行为特征的刻画。PASS-BDI模型加强了对Agent主动性认知过程的刻画，且易于编程实现。     

多Agent交互式动态影响图的建模方法

交互式动态影响图是一种以动态影响图为基础,利用有向图构造Agent之间交互作用的决策概率模型,目前只能解决2个Agent的问题.根据概率图模型理论、交互式部分可观测马尔可夫决策过程性质、最大奖励期望值原理等以3个Agent为例建立多Agent交互式动态影响图(I-MADIDs)模型,探讨除建模Agent之外,其他非建模Agent之间存在稳定关系时,如何简化I-MADIDs模型.最后对老虎问题进行建模,利用HUGIN7.0对其进行求解,分别讨论了建模A-gent和其他Agent的决策情况,对比了精确方法和简化模型中贝叶斯参数学习近似方法中Agent的决策情况,证明了近似方法的有效性.     

基于Agent的虚拟认知康复辅助治疗系统研究

针对目前VR辅助认知康复技术的缺点,提出将VR和Agent技术相结合,设计了一种基于Agent的虚拟认知康复辅助治疗系统AVR—CRS,并讨论了该系统的逻辑结构、虚拟Agent的形式化模型、通信协作模式以及基于WebServices的系统实现等关键技术．与传统的虚拟康复技术相比,该系统具有开放、自主、可移植的特点,能适应未来远程康复的发展需要．     

基于知识影响图的多Agent集成诊断与决策

建造一种包括应用Agent和系统Agent的2层多Agent诊断系统结构，提出应用Agent诊断与决策及系统Agent全局决策的集成方案；设计基于知识的诊断与决策影响图及推理方法，分别用于应用Agent内部的诊断与操作决策、局部的运行决策、以及系统Agent的全局运行决策；实例证明了方法的可行性。     

基于Agent的个性化推荐系统的研究

本文提出了一种基于Agent技术的个性化推荐系统的设计方法。认知Agent（Cognitive Agent）可以根据每个用户个人偏好并综合全体用户的普遍偏好情况为用户提供个性化的推荐服务,此外认知Agent还能根据每个用户的消费行为动态修正偏好设定,从而达到良好的推荐效果。本文还通过一个图书推荐系统的实例给出了基于Agent的个性化推荐系统在JACK平台下的具体设计和实现方法。     

多Agent协同设计系统学习机制

从认知的和社会的角度分析了协同设计活动,提出了一种面向协同设计的多Agent系统结构和设计Agent的感知模型,以及多Agent协同强化学习的方法.该方法采用动态小生境技术对设计Agent进行分组,并选出每组中的最优设计Agent,使其通过与设计人员交互进行强化学习,然后和其他组选出的Agent协同学习,并把学到的知识在组内进行传播.以齿轮减速器设计为例,介绍了多Agent协同设计系统的协同设计及学习过程.     

基于影响图的多Agent决策问题研究

影响图是决策问题的图形表示,它是在贝叶斯网络基础上增加了决策结点和效用结点。文章讨论了影响图理论在多Agent建模与决策方面的应用;提出了联合分层影响图和动态贝叶斯网络来实现多Agent的实时决策的方法,该方法已在Robcup球员建模和决策方面初步得到应用。     

交互式动态影响图及其精确求解算法

为了表示部分可观察马尔可夫环境下,多Agent决策中各Agent之间的动态结构关系,对影响图(IDs)在结构和时间上进行扩展,形成一种能够对其他Agent建模的决策模型:交互式动态影响图(I-DIDs).I-DIDs是不确定环境下多Agent进行序贯决策的图模型.该模型的解是在对其Agent行为概率分布的预测下提供给该...     

基于多Agent技术的远程教学模型的分析与设计

随着人工智能技术的不断发展和完善,人工智能领域的理论(尤其是Agent技术)不断地应用于远程教学系统中,从而给网络教学系统的研究与应用开辟了新的思路。结合Agent的智能性,构建了一个基于多Agent的网络远程教学系统的模型,模拟人类在教学活动中的智能活动过程。通过建立学生Agent和教师Agent,使得系统能够根据学生的个性特征和认知能力,灵活地通过网络学习,从而实现个别化的教学。     

基于脉冲控制的多智能体系统协同问题研究综述

脉冲控制因其具有鲁棒性强、易实现以及收敛速度快等优点而受到广大研究者的青睐,并广泛应用于多智能体系统协同控制领域。文章对基于脉冲控制策略的多智能体系统协同控制的研究进展进行较为详细的综述,着重介绍脉冲控制协议的设计及脉冲序列生成机制;此外,对多智能体脉冲协同控制理论在实际中的应用进行了相应的介绍;最后,指出多智能体系统脉冲协同控制中几个亟待解决的问题,并对其理论及应用进行了展望。     

事件触发脉冲控制下二阶多智能体系统的领导跟随一致性

针对二阶多智能体系统,研究事件触发脉冲控制下的领导跟随一致性问题.不同于事件触发采样控制策略, 设计的控制协议要求每个智能体只有在状态误差超过规定的上界时刻才会施加控制,即事件触发脉冲控制.通过构造合适的事件触发函数, 借助于Lyapunov稳定性理论, 代数图理论、不等式技术给出二阶多智能体系统的一致性判据, 并排除多智能体系统的Zeno行为.通过数值算例验证所提出的控制方案的有效性.     

瞬时耦合二阶多体系统的一致性及时滞效应

对于二阶多智能体,提出一种具有输入和通讯时滞的脉冲控制算法,分析可得这一算法的一致性准则. 同时讨论了输入时滞和通讯时滞对二阶多体系统的一致性能的影响. 结果表明,在确定二阶多体系统的一致动力学方面,通讯时滞比输入时滞有更重要的作用. 具体而言,没有通讯时滞时,二阶多体系统达到了动态一致,即个体的速度是一个非零常数;然而,只要有通讯时滞,在一定条件下系统的速度一致状态就是零.此外,发现一个更有趣的事实是,在无向网络拓扑作用下,通讯时滞或输入时滞将增强二阶多体系统的同步性能. 最后用一些数值仿真验证了理论结果的有效性.     

Study on Multi-agent Systems with Colored Petri Nets

The approach to model multi-agent systems with hierarchical colored Petri nets is introduced. In a multi-agent system, every agent is modeled with colored Petri net system, and the colored Petri net system of the multi-agent system is a hierarchical colored Petri net system, such that the agents planning deadlock detection and avoidance, can be analyzed with the Petri net system.     

离散多智能体系统分组一致性分析

在有向拓扑结构下,研究离散多智能体系统的分组一致问题,提出无入度平衡假设条件的控制协议设计方法.首先,根据系统模型,设计离散多智能体系统的分组一致控制协议.其次,利用代数图论和矩阵论,分析并得到离散多智能体系统实现分组一致的充要条件.最后,仿真结果验证了理论分析结论的正确性.数值仿真结果表明:系统实现分组一致仅要求有向图G_n含有一个有向生成树,不要求拓扑结构满足入度平衡条件.     

分布式仿真系统验证工具设计与开发

为实现分布式仿真系统的自动验证,设计并开发了一个基于多Agent技术的验证工具．该工具采用形式化描述和校核方法完成多Agent系统的设计,利用Q学习算法实现多Agent之间的协调和协作,并使用面向对象知识表示方法表示了分布式仿真系统的验证知识,从而实现了统计验证、图灵测试和表面验证等任务．实际应用证明,该工具极大的提高了分布式仿真系统验证的自动化水平．     

二阶非线性多智能体系统的固定时间领导-跟随集群

对多智能体系统的固定时间领导-跟随集群问题进行了研究.利用非光滑技巧,结合一个固定时间稳定性定理和图论,实现了多智能体系统在固定时间内形成领导-跟随集群,得到了稳定时间上界估计式.同时给出了个体之间避免碰撞的一个充分条件,并且刻画了系统达到稳定状态时的群体大小.最后通过仿真模拟验证了理论分析的有效性.     

多智能体系统的固定时间和有限时间比例一致性

研究无向拓扑下多智能体系统的固定时间和有限时间的比例一致性问题。利用集值映射、微分包含和Lyapunov稳定性理论，给出多智能体系统达到固定时间和有限时间比例一致的判别准则。最后，给出一个实例，验证结论的可行性和有效性。     

Belief and Knowledge Reasoning

Alternating-time Temporal Epistemic Logic (ATEL) which is an important kind of multi-agent cooperation logics only takes knowledge into account, but does not deal with belief of agents. By introducing three kinds of belief operators into ATEL, a new multi-agent cooperation logic named ATBKL (Alternating-time Temporal Belief and Knowledge Logic) was developed. A model checking algorithm was proposed. It is proved that the model checking complexity of ATBKL is the same as that of ATEL, i.e., the presented logic is better for further study of multi-agent systems.     

离散多智能体系统的分布式编队跟踪控制

本文研究了离散多智能体系统在固定有向拓扑中的分布式编队控制,同时假设此系统跟踪时变参考状态。首先,针对一阶系统设计了控制协议,给出了系统稳定时协议参数需满足的充要条件,结果表明,跟踪误差的上限正比于采样周期。其次,针对二阶系统,考虑了速度一致性,其编队控制协议可用同样的方法研究。最后通过仿真,结果证明了所设计协议的有效性。