基于BDI-VSK-T逻辑的Agent系统形式化模型的研究-自动化基础-论文之家

您现在的位置：硕士论文 >> 电子论文 >> 自动化 >> 自动化基础 >> 正文

基于BDI-VSK-T逻辑的Agent系统形式化模型的研究

Form: 论文之家作者：章江花 Publish: 2006-11-2 Hits:-

【中文题名】

基于BDI-VSK-T逻辑的Agent系统形式化模型的研究

【英文题名】

A BDI-VSK-T Logic-based Formal Model of Agent System

【学科专业】

基础数学

【论文级别】

硕士论文

【投稿时间】

2006-11-2

【中关键词】

BDI逻辑,VSK逻辑,时序逻辑,可达世界,可靠性,完备性

【英关键词】

BDI logic,VSK logic,temporal logic,accessible world,Completeness,

【分类导航】

工业技术>自动化技术、计算机技术>自动化基础理论>人工智能理论>>

【论文摘要】

随着计算机网络、计算机通信等技术的发展，对于Agent和多Agent系统的研究己成为分布式人工智能(DAI)重要的研究领域。Agent系统的研究成果主要基于思维状态的BDI模型和VSK逻辑。Agent思维状态的BDI模型是指如何形式化地描述Agent的各种思维属性和它们之间的关系，以及与Agent规划、行为、协调、合作等活动的关系，进而指导Agent系统的构建。基于VSK逻辑的Agent系统是对处在特定环境中的Agent信息特征进行推理的一种多模态逻辑，使用VSK逻辑，我们能表示环境中客观真的事物，在环境中可以访问的信息以及Agent借助于感知器能感知到的信息，还能表示Agent真正知道的信息。本文试图将Agent的BDI逻辑，VSK逻辑和时序逻辑结合，通过其思维状态以及客观和主观认识为达到某一目标或完成任务做出行为选择。提出基于时序逻辑的Agent形式化模型BDI-VSK-T,它是基于BDI逻辑和VSK逻辑展开的，首先融合了BDI逻辑和VSK逻辑，然后在时序上重新定义语义框架，以时序结构构建可达世界。每个世界的时间结构是一个时间树，时间树中的分支代表Agent在相应时刻的动作选择，同时定义相应的模态算子：B...

【论文题纲】

1.基于BDI-VSK-T逻辑的Agent系统形式化模型的研究	4-45
1.简介	7-9
2.基于BDI-VSK-T逻辑的AGENT系统形式化体系结构	9-32
2.1 语义框架	9-15
2.2 BDI-VSK-T逻辑	15-16
2.3 BDI-VSK-T逻辑的公理	16-21
2.3.1 公理的合理性解释	19-21
2.4 BDI-VSK-T逻辑的交互公理	21-23
2.4.1 交互公理	21-23
2.4.1.1 交互公理的合理性解释	21-23
2.5 BDI-VSK-T逻辑的基本性质	23-32
3 BDI-VSK-T逻辑的可靠性、完全性和完备性	32-38
4 结束语	38-41
参考文献	41-45
2.Agent系统综述	45-93
1 模态逻辑	49-62
1.1 概述	49-52
1.2 时序逻辑	52-62
1.2.1 基于命题演算的时序逻辑	53-57
1.2.1.1 模态时序逻辑——MTL	53-55
1.2.1.2 命题线性时序逻辑——PTL	55-56
1.2.1.3 实时命题时序逻辑——TPTL	56-57
1.2.2 基于一阶谓词演算的时序逻辑	57-60
1.2.2.1 一阶时序逻辑FOTL	57-58
1.2.2.2 FML	58-60
1.2.3 其它时序逻辑	60-62
1.2.3.1 CTL、CTL*阳CTL~+	60-61
1.2.3.2 动态线性时序逻辑——DLTL	61-62
2 AGENT系统概况	62-70
2.1 AGENT的含义	63-66
2.1.1 Agent的基本概念及特性	63-64
2.1.2 Agent的分类及能力	64-66
2.1.2.1 Agent的分类	64-65
2.1.2.2 Agent的能力	65-66
2.2 AGENT研究的基本问题	66-68
2.2.1 Agent理论	66-67
2.2.2 Agent体系结构	67-68
2.2.3 Agent的语言	68
2.3 多AGENT系统	68-70
2.3.1 多Agent系统的基本概念及特性	68-69
2.3.2 多Agent系统的研究内容	69-70
2.3.2.1 多Agent系统理论	69
2.3.2.2 多Agent系统体系结构	69-70
2.3.2.3 多Agent系统协商	70
3 AGENT形式化模型研究	70-84
3.1 基于思维状态的形式化模型	71-78
3.1.1 Cohen-Levesque的意图模型	71-73
3.1.2 Rao和Georgeff的BDI模型结构	73-77
3.1.3 其它模型	77-78
3.1.3.1 Levesque——信念和意识	77-78
3.1.3.2 Konolige——演绎模型	78
3.1.3.3 John Bell——BDI模型	78
3.2 基于多模态逻辑的形式化模型	78-84
3.2.1 基于VSK逻辑的Agent形式化模型	79-82
3.2.2 结合思维状态的VSKAgent形式化模型	82-84
3.2.3 基于VSK-AF逻辑的多Agent系统的形式化模型	84
4 今后的研究方向	84-85
参考文献	85-93
3. A BDI-VSK-T Logic-based Formal Model of Agent System	93-135
1 INTRODUCTION	99-102
2.A BDI-VSK-T LOGIC-BASED FORMAL MODEL OF AGENT SYSTEM	102-126
2.1 SEMANTIC FRAME	102-108
2.2 BDI-VSK-T-TLOGIC	108-110
2.3 AXIOMS IN BDI-VSK-T-TLOGIC	110-115
2.3.1 Appropriateness of Axioms	113-115
2.4 INTERACTION AXIOMS IN BDI-VSK-T-TLOGIC	115-117
2.4.1.1 Appropriateness of Interaction Axioms	115-117
2.5 THE PROPERTIES OF BDI-VSK-TLOGIC	117-126
3 SOUNDNESS AND COMPLETENESS OF BDI-VSK-TLOGIC	126-131
4 CONCLUSION	131-134
5 REFERENCE	134-135
4. Agent System: A Survey	135-189
1 MODAL LOGIC	139-157
1.1 INTRODUCTION	139-143
1.2 TEMPORAL LOGIC	143-157
1.2.1 Propositional Logic-based Temporal Logics	145-150
1.2.1.1 Modal Temporal Logic—MTL	145-147
1.2.1.2 Propositional Linear Temporal Logic—PTL	147-148
1.2.1.3 Timed Prepositional Temporal Logic—TPTL	148-150
1.2.2 First-order Predicate Logic-based Temporal Logics	150-153
1.2.2.1 First-order Temporal Logic—FOTL	150-151
1.2.2.2 First-order Modal Temporal Logic—FML	151-153
1.2.3 Other Temporal logics	153-157
1.2.3.1 CTL, CTL* and CTL~+	153-156
1.2.3.2 Dynamic Linear Temporal Logic—DLTL	156-157
2 AN INTRODUCTION OF THE AGENT SYSTEM	157-167
2.1 AGENT SYSTEM	157-161
2.1.1 The Basic Definition and Properties of Agent	157-159
2.1.2 Agent's Categories and Abilities	159-161
2.1.2.1 Agent's Categories	159-160
2.1.2.2 Agent's Abilities	160-161
2.2 THE BASIC PROBLEMS IN AGENT RESEARCH	161-164
2.2.1 Agent Theories	161-162
2.2.2 Agent Architectures	162-164
2.2.3 Agent Languages	164
2.3 MULTI-AGENT SYSTEM	164-167
2.3.1 The Basic Definitions and Properties of Multi-agent System	164-165
2.3.2 The Basic Problems in Multi-agent System Research	165-167
2.3.2.1 Multi-agent System Theories	166
2.3.2.2 Multi-agent System Architectures	166-167
2.3.2.3 Multi-agent System Negotiations	167
3 FORMAL MODELS OFAGENT	167-188
3.1 MENTAL STATES-BASED FORMAL MODELS	168-178
3.1.1 Cohen and Levesque—Intention Model	169-171
3.1.2 Rao and Georgeff—BDI Model	171-177
3.1.3 Other Models	177-178
3.1.3.1 Levesque—Belief and Awareness	177
3.1.3.2 Konolige—Deductive Model	177-178
3.1.3.3 John Bell—BDI Model	178
3.2 MULTI MODAL LOGIC-BASED FORMAL MODELS	178-188
3.2.1 VSK Logic-based Formal Model of Agent	179-184
3.2.2 A VSK-BDI LOGIC-BASED FORMAL MODEL OF AGENT	184-186
3.2.3 VSK-AF Logic-based Formal Model of Multi-agent System	186
3.2.4 FUTURE DIRECTIONS	186-188
4.REFERENCE	188-189
致谢	189

【DOI】

LunWen.ID:2.2008.388101



付费论文：有参考文献 300元

1、注册会员 2、购买本文 3、下载文章
注:此文为收费论文，需付费购买。每页大约1000字。

代写论文流程

载入中…

Web lunwenjia


热门搜索：BDI逻辑论文 VSK逻辑时序逻辑可达世界可靠性完备性

自动化基础最新论文

自动化基础热门论文