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

论文摘要

随着计算机网络以及基于网络的分布式计算的发展,对于Agent技术的研究,已经成为人工智能领域以及分布式人工智能的一个热点和重要的研究方向。Agent技术,特别是多Agent技术,为分布开放系统的分析、设计和实现提供了一种崭新的方法,由此产生了一系列新的思想、方法和技术。基于Agent的技术被认为是软件领域中的一次重大突破。 本文在VSK逻辑的基础上,引入了信念（Belief）、愿望（Desire）和意图（Intention）等三个思维属性,提出了一种对Agent的信息特征及其思维属性进行推理的形式化体系-VSK-BDI逻辑。VSK-BDI逻辑是一种命题多模态逻辑,定义了访问、感知、知识等算子,用以表示环境中客观真的事物、以及对Agent而言,环境中可访问的信息、Agent能感知到的环境信息以及Agent真正知道的信息;同时定义了信念、愿望、意图等算子,用以描述Agent具有的内部思维状态;并考虑了所定义的算子之间的关系。在提出了VSK-BDI逻辑并且建立了它与Agent的形式化模型间的关系后,给出了该逻辑的公理体系,并对其合理性进行了充分的阐述:同时给出了该公理体系的一致性、完全性以及完备性证明;最后,通过具体实例说明了此逻辑的用途,并讨论了今后的一些研究工作。该形式化模型是基本可计算的;其语义是自然的、合理的;由于考虑了Agent对所处的客观环境的认识及其思维状态之间的相互关系,因而能够更好的描述Agent的动态性。

论文目录

• 1. 结合思维状态的VSK-Agent形式化模型
• 1 概论
• 1.1 Agent理论的研究内容
• 1.2 相关的研究内容
• 2 基于VSK-BDI逻辑的Agent形式化模型
• 2.1 语义框架
• 2.2 VSK-BDI逻辑
• 2.3 VSK-BDI逻辑的公理
• 2.3.1 公理的合理性解释
• 2.4 VSK-BDI逻辑的交互公理
• 2.4.1 交互公理的合理性解释
• 2.5 VSK-BDI逻辑的基本性质
• 3 VSK-BDI逻辑的可靠性、完全性和完备性
• 4 示例
• 5 结束语
• 参考文献
• 2. A Formal model of VSK-Agent system combined with mental states
• 1 Introduction
• 1.1 The Basic Problems in Agent Research
• 1.2 Related Work
• 2 A VSK-BDI Logic-Based Formal Model of Agent
• 2.1 Semantic frame
• 2.2 VSK-BDI logic
• 2.3 Axioms in VSK-BDI logic
• 2.3.1 Appropriateness of Axioms
• 2.4 Interaction Axioms in VSK-BDI logic
• 2.4.1 Appropriateness of Interaction Axioms
• 2.5 The properties of VSK-BDI logic
• 3 Soundness and Completeness of VSK-BDI logic
• 4 Case of VSK-BDI logic
• 5 Conclusion
• 3.Agent系统综述
• 1 Agent系统
• 1.1 Agent的概念及其研究内容
• 1.1.1 Agent的概念及特性
• 1.1.2 Agent的研究内容
• 1.2 多Agent系统
• 1.2.1 多Agent系统的概念及特性
• 1.2.2 多Agent系统的研究内容
• 1.3 今后的研究方向
• 2 基于思维状态的Agent形式化模型
• 2.1 Agent思维状态模型的研究内容
• 2.2 Agent思维状态模型
• 2.2.1 Cohen-Levesque的意图模型
• 2.2.2 Rao和Georgeff的BDI模型结构
• 2.2.3 Konolige和Pollack——BDI模型
• 2.2.4 John Bell——BDI模型
• 2.2.5 Gaspar和Coelho——BDI模型
• 2.2.6 Levesque——信念和知道
• 2.2.7 Konolige——演绎模型
• 2.2.8 元语言和语法形式
• 2.2.9 Moore——知识与行为
• 2.2.10 Dongha——承诺模型
• 2.2.11 Wooldridge——MYWORLD模型
• 2.2.12 Singh
• 2.2.13 Cavedon Padham
• 2.2.14 BDI理论的缺陷以及改进
• 3 基于多模态逻辑的Agent形式化模型
• 3.1 基于VSK逻辑的Agent系统的形式化模型
• 3.2 基于VSK-AF逻辑的多Agent系统的形式化模型
• 3.3 基于VSK-t逻辑的Agent系统的形式化模型
• 参考文献
• 4. Agent System:A Survev
• 1 Agent System
• 1.1 Concepts and Basic Problems of Agent
• 1.1.1 The Concept and Properties of Agent
• 1.1.2 The Basic Problems in Agent research
• 1.2 Multi-Agent System
• 1.2.1 The concepts and Properties of Multi-Agent System
• 1.2.2 The Basic Problems in MAS research
• 1.3 Future Directions
• 2 Formal Model of Agent Base on Mental States
• 2.1 The Problems in Mental States reasearch
• 2.2 The Mental States Modeles of Agent
• 2.2.1 Cohen and Levesque—Intention Model
• 2.2.2 Rao and Georgeff—Structure of BDI Model
• 2.2.3 Konolige and Pollack—BDI Model
• 2.2.4 John Bell—BDI Model
• 2.2.5 Gaspar and Coelho—BDI Model
• 2.2.6 Levesque—Belief and Awareness
• 2.2.7 Konolige—Deductive Model
• 2.2.8 Meta-languages and Syntactic Modalities
• 2.2.9 Moore—Knowledge and Action
• 2.2.10 Dongha—Commitment Model
• 2.2.11 Wooldridge—MYWORLD Model
• 2.2.12 Singh
• 2.2.13 Cavedon Padham
• 2.2.14 Limitations of BDI and Improvement
• 3 Formal Model of Agent Based on Multi-Modal Logic
• 3.1 VSK Logic-based formal model of Agent system
• 3.2 VSK-AF Logic—based formal model of multi-agent system
• 3.3 VSK-t Logic-based formal model of agent system