首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到17条相似文献,搜索用时 250 毫秒
1.
基于动态描述逻辑的多主体协作模型   总被引:7,自引:2,他引:7  
基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推理应用到主体的具体设计中.它充分利用了动态描述逻辑的统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程,探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题.多主体协作模型将理论和实践有机地结合起来,能够充分体现智能主体的本质特征与运行机制,为多主体系统的设计与编程奠定了很好的基础.  相似文献   

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

3.
面向交互的主体能力描述和推理方法研究   总被引:1,自引:0,他引:1  
主体间的交互对主体能力的影响是主体能力描述和推理需要考虑的一个重要因素.给出了一个面向交互的主体能力描述和推理框架.该框架将描述逻辑中的知识表示结构和任务逻辑中的任务语义结合起来,可以显式地描述主体之间的交互关系对主体能力的影响并可提供可判定的推理服务.建立了一个用于任务可完成性判定的逻辑系统DTL,并证明了它是可靠、完备和可判定的.  相似文献   

4.
情感主体形式模型   总被引:4,自引:0,他引:4  
为使主体能够有效处理情感,具有更高的智能性,本文提出一种情感主体的形式化描述模型.分3个层次,给出情感主体心智状态、情感主体心智状态更新、以及情感主体模型的形式化定义.并通过对基本情感的更新过程的公理推导,说明了该模型能够充分体现情感主体的本质特征和运行机制,有较强的表达能力和扩展能力,为构建支持情感推理的情感规则库提供理论依据.然后对情感更新过程进行直观描述,并给出情感主体的体系结构.仿真实验表明,情感主体能够合理产生情感反应并作出更优智能决策,从而验证该模型的有效性.  相似文献   

5.
AODE中智能体心智状态的表示与处理   总被引:1,自引:0,他引:1  
张东摩  陈世福 《软件学报》1997,8(A00):357-364
本文介绍面向智能体的开发环境中智能体心智状态的表示与处理方法。文中首先概述了AODE系统中单个智能体的结构及各模块的功能,其次引入了一种用于描述心智能状态的时态逻辑系统系统BCTL,给出了该系统的语言构与语言构成与语义模型,继而详细讨论了AODE系统中智能体心智能状态的表示方式与处理机制,  相似文献   

6.
BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一。在把无穷值的ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDIPDL+LL逻辑。为了通过概率、必然性和可能性对不确定性行为进行表示和推理,把相应的公理添加到ukasiewicz逻辑中。文中的GBDIPDL+LL主体模型使用多背景系统,清晰地表示了信念、愿望和意图的不确定性。GBDIPDL+LL主体行为则通过添加具体条件的每种背景的不同测度来决定。对信念、愿望和意图的模型进行了公理化,并说明了它们对主体行为的影响,该模型可以很轻易地向包括其他心理状态的主体进行推广。在给出了GBDIPDL+LL模型语言、语义和GBDIPDL+LL逻辑的公理和演绎规则后,证明了此逻辑系统的完全性和可靠性。之后,在对复合行动进行形式刻画的基础上,描述了GBDIPDL+LL模型的不同背景之间的关系。文章立足于不确定性的表示和推理,志在为分布式人工智能提供形式支持。  相似文献   

7.
基于动态描述逻辑DDL的动作理论   总被引:1,自引:1,他引:0  
常亮  陈立民 《计算机科学》2011,38(7):203-208
基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径.系统地研究了基于DDL的动作表示和推理问题.首先,在应用描述逻辑对静态领域知识进行刻画的基础上,引入带参数的原子动作定义式和带参数的复...  相似文献   

8.
Agent的行动是由Agent的心智状态驱动的,如何描述Agent的心智状态是一个难点问题。本文利用动态模糊逻辑对Agent的心智状态进行刻画,给出了Agent的心智模型及其相关公理。  相似文献   

9.
描述任务逻辑及其应用   总被引:8,自引:0,他引:8  
张会  李思昆 《计算机学报》2006,29(3):488-494
针对任务逻辑存在的两个缺点:(1)不可判定,无法保证推理过程都能在有限的时间内结束;(2)任务的定义局限于抽象的、逻辑的定义。无法描述任务的具体属性和任务之间的关系,将描述性结构引入任务逻辑,构造了一个可描述具体属性的、可判定的任务逻辑系统——描述任务逻辑.将所构造的逻辑系统应用于具有组织的多主体系统行为建模,建立了基于描述任务逻辑的多主体组织模型和建模框架,并且表明应用描述任务逻辑构造应用系统具有表达能力强、结构紧凑的特点.  相似文献   

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

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

12.
A logical foundation for the semantic Web   总被引:8,自引:0,他引:8  
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-…  相似文献   

13.
14.
Agent Programming in 3APL   总被引:8,自引:3,他引:5  
An intriguing and relatively new metaphor in the programming community is that of an intelligent agent. The idea is to view programs as intelligent agents acting on our behalf. By using the metaphor of intelligent agents the programmer views programs as entities which have a mental state consisting of beliefs and goals. The computational behaviour of an agent is explained in terms of the decisions the agent makes on the basis of its mental state. It is assumed that this way of looking at programs may enhance the design and development of complex computational systems.To support this new style of programming, we propose the agent programming language 3APL. 3APL has a clear and formally defined semantics. The operational semantics of the language is defined by means of transition systems. 3APL is a combination of imperative and logic programming. From imperative programming the language inherits the full range of regular programming constructs, including recursive procedures, and a notion of state-based computation. States of agents, however, are belief or knowledge bases, which are different from the usual variable assignments of imperative programming. From logic programming, the language inherits the proof as computation model as a basic means of computation for querying the belief base of an agent. These features are well-understood and provide a solid basis for a structured agent programming language. Moreover, on top of that 3APL agents use so-called practical reasoning rules which extend the familiar recursive rules of imperative programming in several ways. Practical reasoning rules can be used to monitor and revise the goals of an agent, and provide an agent with reflective capabilities.Applying the metaphor of intelligent agents means taking a design stance. From this perspective, a program is taken as an entity with a mental state, which acts pro-actively and reactively, and has reflective capabilities. We illustrate how the metaphor of intelligent agents is supported by the programming language. We also discuss the design of control structures for rule-based agent languages. A control structure provides a solution to the problem of which goals and which rules an agent should select. We provide a concrete and intuitive ordering on the practical reasoning rules on which such a selection mechanism can be based. The ordering is based on the metaphor of intelligent agents. Furthermore, we provide a language with a formal semantics for programming control structures. The main idea is not to integrate this language into the agent language itself, but to provide the facilities for programming control structures at a meta level. The operational semantics is accordingly specified at the meta level, by means of a meta transition system.  相似文献   

15.
曹存根  眭跃飞  孙瑜  曾庆田 《软件学报》2006,17(8):1731-1742
数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法:一种是以一个逻辑语言上的公式为属性值域的描述逻辑;另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑.在前者的表示中,如果对公式不作任何限制,那么得到的知识库中的推理不是可算法化的;在后者的表示中,以描述逻辑描述的本体中的推理是可算法化的,而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的.因此,在表示数学知识时,需要区分概念性的知识(本体中的知识)和非概念性的知识(用本体作为语言表示的知识).框架或者描述逻辑可以表示和有效地推理概念性知识,但如果将非概念性知识加入到框架或知识库中,就可能使得原来可以有效推理的框架所表示的知识库不存在有效的推理算法,甚至不存在推理算法.为此,建议在表示数学知识时,用框架或描述逻辑来表示概念性知识;然后,用这样表示的知识库作为逻辑语言的一部分,以表示非概念性知识.  相似文献   

16.
智能Agent程序设计语言IAPL   总被引:1,自引:0,他引:1  
分析了现有的面向Agent程序设计语言,指出了各自的优缺点。基于智能Agent结构,设计了一个新的智能Agent程序设计语言IAPL;给出了IAPL的语言规范、一组操作原语(信念、意向等心智成份的增加、删除、修改、查询等原语)及Agent之间的通信原语;利用情境演算理论,提供了IAPL语言的语义;提出了在线执行与离线规划相结合的IAPL程序执行方式。  相似文献   

17.
可判定的时序动态描述逻辑   总被引:1,自引:0,他引:1  
常亮  史忠植  古天龙  王晓峰 《软件学报》2011,22(7):1524-1537
  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号