一种结合环境状态的Agent语义模型

在Agent模型的研究中，大部分工作集中在基于Agent的思维状态（BDI）的模型，没有考虑外部环境的影响，或者仅仅将外部环境和内部思维状态笼统混在一起进行分析，没有考虑到它们之间的内在联系，将Agent的BDI思维属性模型与外部环境状态相结合，给出了在部分可观察环境下，结合外部环境状态的MAS语言语法，语义模型，考虑了Agent的可见算子，观察算子和信念算子之间的关系，并通过机器人足球赛的例子，对该语义系统加以具体描述，这些研究推广了Kaelbling,Wooldridge等人的工作。     

Agent Oriented Programming进展

1 引言近十年Agent和多Agent系统(MAS)的研究逐渐成为AI学科的热点之一。MAS中Agent是具有思维状态和交互能力的自治实体,彼此通过合作求解复杂问题,适合于动态开放环境。Agent的思维状态通常采用BDI模型,B(信念)、D(愿望)和I(意图)分别用模态算子给出,并在可能世界框架下给出其语义解释。这一模型语义明确直观,但实质上是一个计算资源无限的理想模型,因而在实际系统中,都采用限制和变通的方法来实现Agent,因此导致了所谓的理论脱离实践     

基于BDI的对手Agent模型

MAS中建立对手模型,并进行意图和规划识别是有效交互的必要条件.BDI是描述思维的有效手段,可用来建立通用的对手思维状态模型.当前对手模型的研究偏重于对单一行为结果的推断,不能充分表示并发多意图及其关系,也不利于实时地的为决策提供支持.提出的基于BDI建立通用对手Agent模型的算法改进了Anand S.Rao和Milind Tambe等人有代表性的研究成果.     

一种基于规则推理的BDI模型实现

1 引言对于Agent来说,控制它的行为和内部状态的是它的思维状态,因此研究Agent的思维状态模型对当前Agent的理论和实践都有极其重要的影响,其中应用最为广泛的当推BDI模型。BDI模型源于Bratman哲学分析的“意图中心论”,从作为思维状态研究方法论基础的“意识立场”出发,试图借鉴人类思维属性的概念来解释复杂系统的行为。一般我们把信念、愿望和意图当作基本的思维属性(BDI)。在现有的BDI的研究中,较多的是侧重于Agent模型的研究,Cohen和Levesque基于正规模态逻辑的可能世界模型,系统地讨论了理性平衡,行为意图的形式表达和演化规则。他们的工作是     

知识获取模型的设计与探讨

介绍了MAS的组成和BDI Agent的结构,在此基础上提出了基于动态信任的MAS知识获取模型,并给出了基于模态逻辑的知识获取形式化框架,最后用形式化框架对知识获取模型进行了描述.     

AgentSpeak中意图生成过程的可靠性与完整性研究

意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是Agent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent意图执行的有效性。首先根据AgentSpeak的语法构造了一个解释系统,并给出了该解释系统的满足关系,从而得出了AgentSpcak的模型论语义。在该模型论语义的基础上,结合由Moreira和Bordini所给出的操作语义,证明了AgentSpeak的意图生成等价定理:AgentSpeak语言中模型论语义的意图等价于AgentSpeak程序操作语义的意图。由此可得出结论—AgentSpcak中的意图执行是可靠而完整的,从而验证了AgcntSpcak中软件Agent意图完成目标的正确性。     

基于指令机制的BDC思维状态模型研究

在作战仿真中,需要仿真作战单元的各种行为过程,而其行为必须依靠其思维状态过程驱动,研究了基于BDI理论的Agent认知模型,并讨论了BDI模型在作战应用中存在的不足的基础上,提出了更适用于军事作战的以指令(Command)为中心的BDC思维状态模型,实现了用“指令”代替“意图”作为智能体思维状态的核心来讨论个体的思维特...     

具有预测能力的BDI Agent模型研究

BDI模型缺乏对思维过程及预测能力进行形式化描述。为此,通过引入预测因素,对BDI模型进行扩展,给出BDIP模型结构及其扩展公理、语义及决策行为,证明模型的可靠性和完备性,并形式化表示决策过程及决策算法。应急疏散决策的应用实例表明,与BDI模型相比,该模型能够准确表示Agent的意图形成过程,为意图确定提供依据。     

一种理性Agent的BDI模型

该文通过引入假设信念,解释愿望和意图在Agent思维状态的认知方面的含义,进而定义愿望和意图,并引入规划,建立理性Agent的动态BDI模型.与Cohen和Levesque,Rao和Georgeff,Konolige和Pollack等人的工作相比,克服了对信念、愿望和意图的反直观解释问题,解决了关于愿望和意图的无为而治和副作用问题,强调了愿望的激发与维护作用,表达了信念、愿望和意图三者间的动态约束与激发关系.     

计算机生成兵力中智能体角色模型的研究

基于角色的集中规划式MAS结构是CGF仿真中群体组织的主要形式。由于军队命令机制的特殊性，Agent的BDI模型并不能很好地描述CGF-Agent的精神状态。在BDI的基础上，提出了基于命令的BGC模型，对模型的语义、语法和性质进行了讨论。在BGC模型框架下，文章对角色进行形式化描述，并分析了基于角色的任务分派。实际仿真应用表明，BGC角色模型能够在一定程度上满足CGF的应用需求。     

情感等级BDI主体模型研究

信念、愿望和意图(BDI)模型是近年来影响最为深远的主体技术之一。文中把命题动态逻辑和无穷值的ukasiewicz逻辑进行融合后对情感等级BDI主体模型进行了形式化。为通过信念度、愿望度、意图度、害怕度、焦虑度和自信度对不确定性行为进行表示和推理,把相应的公理添加到ukasiewicz逻辑中。文中的情感等级BDI主体模型的行为是通过添加具体条件的每种背景的不同测度来决定,清晰地表示主体的心理状态和情感状态的不确定性。文中对情感等级BDI模型进行公理化,并说明它们对主体行为的影响。此模型可较轻易地向包括其它心理状态和情感状态的主体进行推广。文中在给出情感等级BDI模型的语言、语义及公理和演绎规则后,证明此逻辑系统的可靠性和完全性。随后给出情感等级BDI主体模型的不同背景之间的相互关系,并对该主体的买房行动进行实例分析。本研究立足于不确定性的表示和推理,旨在为分布式人工智能提供形式支持。     

BDI模型信念特性研究

Agent计算的典型模型是BDI(belief,desire,intention),信念是Agent计算的重要属性．把信念拓展为知识性信念和可实现信念．Agent的知识性信念是指Agent当前具有或掌握的知识,具有知识的进化和继承特性．Agent的可实现信念是指当前不成立而在将来会成立的事情,是Agent被意识到的个性倾向和目标．用非标准世界的模态逻辑为形式化工具描述两种信念,将可能世界的可达关系作为认识的不同阶段和达到可实现信念的不同阶段,避免了“逻辑全知问题”和逻辑蕴涵的副作用问题．可实现信念满足KD公理,知识性信念满足KDT4公理．两种信念适合描述Agent的意识状态和意识模型．     

Corruptible social agents

Agent‐based virtual simulations of social systems susceptible to corruption (e.g., police agencies) require agents capable of exhibiting corruptible behaviors to achieve realistic simulations and enable the analysis of corruption as a social problem. This paper proposes a formal belief‐desire‐intention framework supported by the functional event calculus and fuzzy logic for modeling corruption based on the integrity level of social agents and the influence of corrupters on them. Corruptible social agents are endowed with beliefs, desires, intentions, and corrupt‐prone plans to achieve their desires. This paper also proposes a fuzzy logic system to define the level of impact of corruption‐related events on the degree of belief in the truth of anti‐corruption factors (e.g., the integrity of the leader of an organization). Moreover, an agent‐based model of corruption supported by the proposed belief‐desire‐intention framework and the fuzzy logic system was devised and implemented. Results obtained from agent‐based simulations are consistent with actual macro‐level patterns of corruption reported in the literature. The simulation results show that (i) the bribery rate increases as more external entities attempt to bribe agents and (ii) the more anti‐corruption factors agents believe to be true, the less prone to perpetrate acts of corruption. Copyright © 2014 John Wiley & Sons, Ltd.     

An intelligent agent with layered architecture for operating systems resource management

Abstract: A software agent is defined as an autonomous software entity that is able to interact with its environment. Such an agent is able to respond to other agents and/or its environment to some degree, and has some sort of control over its internal state and actions. In belief–desire–intention (BDI) theory, an agent's behavior is described in terms of a processing cycle. In this paper, based on BDI theory, the processing cycle is studied with a software feedback mechanism. A software feedback or loop‐back control mechanism can perform functions without direct external intervention. A feedback mechanism can continuously monitor the output of the system under control (the target system), compare the result against preset values (goals of the feedback control) and feed the difference back to adjust the behavior of the target system in a processing cycle. We discuss the modeling and design aspects of an autonomous, adaptive monitoring agent with layered control architecture. The architecture consists of three layers: a scheduling layer, an optimizing layer and a regulating layer. Experimental results show that the monitoring agent developed for an e‐mail server is effective.     

一种结合效用的Agent思维状态模型

建立Agent思维状态模型是Agent理论 研究的一个重要课题.结合效用提出一种Agent思维状态模型BDICU(belief desire intentio n combined with utility),使Agent的行为具有逻辑理性和决策理性,为副作用问题提供了 解决方法.同时,给出目标和意图的生成和更新规则.BDICU模型改进和扩充了Rao和Georgeff 的信念-期望-意图理论,为逻辑和效用理性Agent系统提供了实现支持.     

多agent系统的一种交互策略模型

在多agent系统(MAS)中,通信交互是agent实现协作的主要途径.文章从语义层的角度对agent间通信交互过程进行分析,将agent的思维状态BDI(belief,desire,intention)模型引入通信交互过程,提出一种交互策略模型,支持在基本交互行为之上的多种类型的协商交互,以解决agent间的信知、行动等方面的冲突.与以往的研究中的辩论协商等方法相比,该策略模型可以实现基于场景的灵活交互,更具实用性.