分享到:

避免逻辑全知的BDI语义

BDI(belief, desire, intention)是基于Agent计算的理论模型,BDI语义关系着A  (本文共6页) 阅读全文>>

西南大学
西南大学

基于时间和行动规划的知识—意图逻辑

解释对主体理性行为产生影响的心理因素(信念、愿望、意图等)的基本框架称为BDI(belief-desire-intention)结构。BDI逻辑是研究BDI结构中诸因素的特征和相互关系的逻辑的统称。自上个世纪八十年代起,对BDI结构的研究一直是计算机科学和人工智能研究中的一个重点和热点。BDI逻辑作为人工智能研究对逻辑提出的理论要求,是在这个背景下产生的。本文旨在建立一个具有一般性的BDI结构特征的逻辑:基于时间和行动规划的知识-意图逻辑。这个逻辑需要将时态逻辑、动态逻辑和认知逻辑三者有机地融合起来,逻辑地描述BDI结构中知识和意图的特征及其相互关系,解决BDI逻辑中存在的基本问题。为实现这一目标,本文做了以下工作:首先,在第2章建立了一个时态逻辑PTL。这个逻辑是在[1]和[2]提出的自然数时间逻辑(natural number logic)基础上,增加了表达自返性、持续性、传递性和离散性的公理而建立的。本章证明了PTL具有可...  (本文共101页) 本文目录 | 阅读全文>>

云南师范大学
云南师范大学

结合思维状态的VSK-Agent形式化模型

随着计算机网络以及基于网络的分布式计算的发展,对于Agent技术的研究,已经成为人工智能领域以及分布式人工智能的一个热点和重要的研究方向。Agent技术,特别是多Agent技术,为分布开放系统的分析、设计和实现提供了一种崭新的方法,由此产生了一系列新的思想、方法和技术。基于Agent的技术被认为是软件领域中的一次重大突破。本文在VSK逻辑的基础上,引入了信念(Belief)、愿望(Desire)和意图(Intention)等三个思维属性,提出了一种对Agent的信息特征及其思维属性进行推理的形式化体系-VSK-BDI逻辑。VSK-BDI逻辑是一种命题多模态逻辑,定义了访问、感知、知识等算子,用以表示环境中客观真的事物、以及对Agent而言,环境中可访问的信息、Agent能感知到的环境信息以及Agent真正知道的信息;同时定义了信念、愿望、意图等算子,用以描述Agent具有的内部思维状态;并考虑了所定义的算子之间的关系。在提出了V...  (本文共169页) 本文目录 | 阅读全文>>