关于集体目标推理

在一组约束条件下,Sandu证明了Tuomela集体目标定义中条件只有CC必要的。本文基于意图理论,证明Sandu给出的约束条件过程,并回答了Sandu没有解决的问题;集体成员如何相互相信各自同时实现集体目标。     

理性Agent的意图维护模型

在理性Agent的形式化中,通常认为Agent的思维状态包含信念、愿望帮意图这3个属性,它们之间的静态关系已被人们充分重视,但它们随时间的动态变化还未被很好研究,考察了意图维护直观语义中的一些问题,给出了随信念、愿望改变的意图维护的动态模型,与Rao和Georgeff的意图维护模型相比,适用性更广、更简单,不必限制可友爱世界的时序结构,不必另外引入信念=愿望、意图算子的on ly模态形式,并且对愿望和意图不存在逻辑全知问题和重言隐含下的副作用等问题。     

多Agent系统的模型和形式语义

1 引言自90年代以来,关于Agent和多Agent系统逐渐引起重视并形成AI研究的热点。由于Agent表达能力强,市场求解机制以及把推理格局引伸到思维状态,因此适用于动态开放环境的问题求解。Agent和多Agent系统最初是作为一种分布式计算模型提出来的,旨在控制分布式计算的复杂性,克服人机界面的局限性,以及适应实际问题的开放性和分布性的要求。     

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

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

Agent的体系结构

首先介绍了Agent的基本概念,然后针对BDI Agent和移动Agent,讨论Agent的体系结构。     

社会Agent的BDO模型

目前MAS中思维状态的研究趋势是在个体模型中加入社会思维属性,研究社会承诺、依赖、联合意图的推理关系。在BDI模型中,以意图为中心的观点不描述社会Agent。该文分析了以竭力为中心的Agent思维状态研究存在的问题,提出MAS的分层模型,并提出以信念、愿望和义务作为基本思维属性（简称BDO）来描述Agent的思维状态和社会属性,给出了BDO逻辑和语义模型,考虑了奖励、惩罚、承诺和承诺解除问题,并对队、组织、组织意图等现象给出了描述。该文力图更自然地描述社会性Agent的思维状态和群体概念,是对Rao和Georgeff提出的BDI模型的改进。最后通过一个例子说明了BDO的表达能力。进一步的工作包括建立更为完善的语义模型、结合各个思维属性的动态修正语义给出BDO Agent的动态模型以及给出基于BDO逻辑框架的Agent／MAS实现结构。     

联合意图的理论框架

0 引言 agent是指在某一环境下能够持续自主运行,具有社会性、反应性等特征的计算实体。多agent系统由一组具有一定资源和能力、相对独立且交互合作的agent组成。由于多agent系统提供了更高层次的抽象模型,能够自然、贴切、直观地表示现实世界中的计算实体及其问题求解方式,因而有关agent理论和技术的研究引起了人们的高度重视。     

多agent系统中agent的行为决策

1.介绍 agent是指在某一环境下能够持续自主运行,具有社会性、反应性、自发性等特征的计算实体。多agent系统由一组具有一定资源和能力、相对独立且交互合作的agent组成。由于多agent系统提供了更高层次的抽象模型,能够自然、贴切、直观地表示现实世界中的计算实体及其问题求解方     

一个Lm4c意图后承的判定算法

本文将提出一个基于Lm4c的意图后承判定算法,即输入任何命题公式φ、ψ,判断｜＝φ→ψ在Lm4c中是否成立。在变元较多的情况下,完全根据语义来判断意图后承的方法会使时间复杂度大得令人无法接受,因此,我们采用了语法、语义相结合的手段：用分析形式结构的方法排除多数情况,对剩余的从形式结构不好处理的少量情况再用语义检测。算法的最坏时间复杂度仍然是指数量级的,但出现最坏时间复杂度的概率被压缩到非常小的水平,因而平均时间复杂度相当好。我们还将给出实验结果,并证明算法的可靠性和完全性。     

一种Agent规范机制的设计

提出了一种Agent行为规范的实现机制,讨论了规范可获收益的下界,并给出了基于人工神经网络学习来解决行为规范问题的结构。行为规范产生机制考虑了Agent对规范制定影响力的差异,体现了规范作为连接宏观和微观的纽带作用;行为规范机制具有动态性,可以随系统运动而不断演化,同相关工作相比,考虑了Agent的社会性差异和规范的强制与进化的特征。     

通信协议形式化模型的研究

本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型；后者主要包括交互点和分层子模型．文中讨论了这类形式模型的有效性和适用性，运用该类模型对通信协议的主要概念及性质进行了形式定义和描述．重点给出了基于该类模型的协议安全性及活性的形式定义，研讨了安全性及活性的验证，以及某些典型形式描述技术FDT（Estelle，LOTOS，SDL）之间的语义联系，从而为通信协议的研究提供了一种有效的形式基础．     

Agent逻辑和真假子集语义

理性Agent规约的形式框架通常基于信念、愿望和意图逻辑.为了克服现有的信念、愿望和意图逻辑中存在的问题,为非正规模态算子提供一种合适的语义表示.讨论了理性Agent性态的抽象规约中对语义表示的要求以及现有的信念、愿望和意图逻辑中存在的问题.介绍了作者开发的真假子集语义及其在Agent形式化中的应用.他们的框架使意图的有问题的性质无效.并且证明通过对模型的代数结构施加一定的约束,能获得许多希望的性质.最后对真假子集语义进行了分析.这一切表明真假子集语义为非正规模态算子提供了一种合适的语义表示,是对经典的正规模态算子可能世界语义的一个重要发展,是理性Agent性态的逻辑规约的有力工具,可应用于建立新的合适的Agent逻辑系统.     

Agent Cooperation Based Control Integration by Activity-Sharing and Joint Intention

In this paper,a control integration method based on agent cooperation,called ASOJI,is proposed,which designs the architecture of integrated application systems in distributed computation environments as an agent community composed of nested agent fed-erations in three aspects:architecture style,agent cooperation,and composition semantics.Through defining activity-sharing-orented joint intention in the way of stepwise refinement,ASOJI can not only support the transparent specification of the architecture for software com-position,but also eliminate the gap between agent theory and the engineering realiztion of control integration.     

面向对象的形式规格说明语言OOZS

ＯＯＺＳ语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Ｚ语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、和出口机制,设置了Ｐｒｅ谓词和Ｐｏｓｔ谓词,表达力强,简明精确。本文是该语言的试用文本介绍。     

概率信念逻辑的语义

在信念逻辑基础上,引入概率,给出了一种概率信念逻辑PBL,增强了信念逻辑的表述能力和推理能力。并为PBL建立了两种语义：首先将知识逻辑的Aumann语义进行推广,给出了PBL逻辑的概率Aumann语义,其次为PBL建立了一种正规概率模态语义,这是一种适于刻画概率模态逻辑的语义模型。证明了PBL的概率Aumann语义和正规概率模记语义的可靠性,并讨论了正规概率模态语义与Kripke语义的关系。最后,通过一个例子说明了PBL的描述能力和推理能力。     

神经网络的集合运算

计算神经科学是在视觉计算理论影响下最近才产生的一个新的神经科学分支,其目的在于把从事人工智能、工程学和神经科学研究的科学家组织起来,共同开创一条利用各学科交叉研究脑信息处理的新路.本文介绍模型神经网络的集合运算性质,着重论述 Hopfield 提出的研究神经网络计算特性的理论框架及其在视觉中的应用.在这个基础上,我们分析了 Hopfield 模型的意义.     

系统动态行为语义模型及其形式描述

文中综述刻画系统动态行为的计算模型和形式化方法,包括算法模型,逻辑模型,基于进程代数的模型和方法,Ｉ／Ｏ自动化,Ｐｅｔｒｉ网及Ａｃｔｏｒ模型,并有针对性地本质上分析和比较它们在描述系统动态行为方面的特点和优劣。文事还着重剖析了基于网络环境下的分布对象计算系统的一些主要计算特征,包括交互,并发和分布等。     

移动计算形式理论分析与研究

移动计算是在网络技术发展中涌现出的一种新计算范型,文章旨在从形式抽象的角度来认识移动计算的本质特点,文中分析了网络计算平台的综合特征,总结了移动计算范型的曲型特征,重点介绍了有代表性的移动计算形式模型和方法,包括进程代数类的π－演算、环境演算和Ｓｅａｌ演算、时序逻辑类的移动Ｕｎｉｔｙ,以及Ａｃｔｏｒ扩充模型,针对每个模型或方法,分析了位置、移动等概念在模型中的刻画,以及各自的交互、动态配置重构和资