基于动态描述逻辑的主体模型

在动态描述逻辑的基础上，提出了一种智能主体的心智状态模型．它充分利用了动态描述逻辑统一的形式化框架，同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态．探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改等基本问题．该主体模型将理论和实践有机地结合起来，表达能力强，能够充分体现智能主体的本质特征与运行机制，为智能主体的设计与编程奠定了很好的基础．     

基于描述逻辑的主体服务匹配

多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题．描述逻辑是知识表示和推理的形式化工具，它提供了可判定的和可靠的推理服务．该文利用描述逻辑有效的推理功能，特别是它对概念包含关系的有效判断，把它与多主体系统的服务推理结合起来．充分利用描述逻辑具有清晰模型一理论语义和有效的概念分层推理服务等功能，该文提出了基于描述逻辑的主体服务匹配算法，详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配．并提出了五种服务匹配算法．这些方法都是基于语义的服务匹配，利用服务分层机制实现了有效和高效的多主体系统中的服务匹配，克服了基于语义距离进行服务匹配的不足．     

面向交互的主体能力描述和推理方法研究

主体间的交互对主体能力的影响是主体能力描述和推理需要考虑的一个重要因素．给出了一个面向交互的主体能力描述和推理框架．该框架将描述逻辑中的知识表示结构和任务逻辑中的任务语义结合起来，可以显式地描述主体之间的交互关系对主体能力的影响并可提供可判定的推理服务．建立了一个用于任务可完成性判定的逻辑系统DTL，并证明了它是可靠、完备和可判定的．     

基于组织结构的多主体协作

基于主体组织的多主体问题求解可以降低问题求解难度和交互复杂性，其中多主体组织的形成规则和多主体的协作与规划是多主体合作的关键。文中提出了一种新的多主体组织模型和一组相关的组织原则，给出了组织规划的方法，提出了多主体组织的形成与消亡形式，并利用扩展的时序逻辑和π-演算对上述结论进行了形式化描述，完善了基于组织结构的多主体协作理论，改进了多主体理论研究和多主体编程实践之间脱节的现状。     

基于实例的多智能体水平井设计系统模型的研究

针对钻井水平井设计过程涉及的因素繁多,往往是根据以往类似设计问题的经验与结果来求解所面临的问题,论文利用基于实例推理和Agent的概念与技术,将水平井设计实例构造为具有知识、目标和能力的智能实体,提出一个基于实例的多智能体水平井设计模型,利用实例推理和移动计算技术来实现动态水平井设计的多方协作和并行设计。     

基于动态描述逻辑DDL的动作理论

基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径.系统地研究了基于DDL的动作表示和推理问题.首先,在应用描述逻辑对静态领域知识进行刻画的基础上,引入带参数的原子动作定义式和带参数的复...     

基于描述逻辑的Agent组织

描述逻辑是基于对象的知识表示形式．已有的描述逻辑没有考虑组织目标，不适合描述多Agent组织模型．针对这个问题，首先给出多Agent组织的模型，结合组织目标考虑组织、子组织之间的关系．基于此模型，提出描述逻辑ALCA框架，用以描述结合目标任务的多Agent组织，证明了ALCA是可判定的，给出一个ALCA的可满足性判定算法．最后通过一个例子说明ALCA的描述性．     

基于LOBA逻辑的言语行为表示

言语行为是多主体系统中一个有趣而重要的问题.该文从实际推理主体(practical reasoningagents)研究的角度对语用学中的言语行为进行了探讨.在多主体系统中言语行为的研究主要集中在3个方面:1)言语行为的本体描述;2)主体如何推理出合理的言语行为;3)主体如何正确处理其他主体发出的言语行为.这3个方面侧重点不同,但是相互间又紧密关联.重点讨论上述2)和3)两方面的内容,建立了一个主体认知过程的模型,并用可信主体逻辑LOBA(logic of believable agents)进行形式化表示.在主体认知过程的模型中,考虑包括主体的感知、信念、情绪、期望、目标、意图、承诺在内的各种认知成分,通过引入相应的认知动作来考虑这些认知成分之间的动态关系,并在此基础上描述主体如何产生和处理言语行为.在逻辑系统的构建上,LOBA逻辑扩展了KARO逻辑和LORA逻辑,将主体的情绪和认知动作都作为模态算子进行处理,并构建了3层语义模型以解释主体的认知动作.利用上述方法,LOBA可以在更细的粒度上来刻画主体的动态的实际推理过程.     

基于多主体的项目开发虚拟组织

从ontology的建立、任务的语义描述到主体结构、程序结构、心智模型的构造，建立了一个基于多主体技术的分布式虚拟协作系统，提出一种以Fuzzy ART网络为心智模型的反应主体结构，从而赋予主体在动态环境下的自适应性、竞争性、自组织性和集聚能力。所提方法在一个多主体平台上加以实现，运行结果证明了这一结构的合理性，也显示了ART网络在动态环境中的自组织和无监督学习能力。     

多主体系统中对其它主体的研究

多主体系统是当前人工智能研究后一个热点，其中，关于知识和动作的推理是一个重要的课题，文中给出了一种知识表示框架，称为ＲＡＯ逻辑，用来对其它主体研究时表示概念和规则，我们从日常推理中抽象出换位原则的规则（ＰＥＰ），ＰＥＰ是ＲＡＯ是的一条公理模式，并且为主体研究其它主体的一个基本规则，它与知识逻辑中的分离规则和（Ｋ）公理具有相似的形式和作用。     

A logical foundation for the semantic Web

World Wide Web (WWW) has been one of important channels from which people acquire information and services, but most web pages are only used by humans at pre-sent, and these pages cannot be processed and understood automatically by computers. The semantic Web is an essential reformation of Web. The main objective of the seman-tic Web is to enrich Web with semantics and make Web be understood by computers, in order to communicate and cooperate between people and computer. The key of the se-…     

基于双向推理的主体框架

文章提出了一个基于双向推理的主体框架FBRA,它是一个混合型的主体框架,主体既是反应的又是慎思的。它的推理内核是正向推理和反向推理相结合。正向推理用于对环境的反应,包括对其他主体的反应。反向推理基于溯因推理,用于信念修正、规划、多主体协调和多主体通信等。     

基于语境和动作推理的语义Web服务发现

在语义Web服务发现中,服务本身及用户所处的语境是不可忽视的因素.针对现有服务发现方法的不足,给出一种基于语境和动作推理的语义Web服务发现方法.该方法通过建立基于动作的语境模型来刻画静态和动态的语境信息,利用动态描述逻辑中的动作推理实现语境推理,并在此基础上实现语境敏感的语义Web服务发现算法.案例研究及相关工作对比表明,与现有方法相比,文中方法在语境刻画和推理能力方面均有较优表现.同时实验结果也表明,在增加合理逻辑推理的时空开销的前提下,文中方法能为用户提供更符合需求的服务发现结果.     

强弱例外下的交互时态逻辑

非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外。在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑(ATL)进行拓展,建立非单调交互时态逻辑NATL,给出其语法和语义。是对ATL进行非单调拓展的首次有益尝试。可以考虑以之为理论工具对多Agent思维状态及其动态修正机制进行妥善刻画。