基于访问、感知和知道的多Agent系统形式化模型

	基于访问、感知和知道的多Agent系统形式化模型
	2004
发表期刊	计算机工程
ISSN	1000-3428
卷号	30.0 期号:007 页码:1
摘要	提出了基于VSK-AF逻辑的多Agent系统形式化模型。VSK-AF逻辑是模态认知模型的扩展，它表示并且区分外部环境与Agents环境中客观真实的和可访问的信息、环境中可访问的和Agents感知到的信息以及Agents感知到的和知道的信息。在给出了该逻辑的语义模型和公理体系后，研究了模态算子之间的关系并将其对应到VSK-AF系统所具备的特性上。最后总结并讨论了进一步的研究工作。
关键词	多Agent系统访问感知知道
语种	英语
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/27337
专题	中国科学院计算技术研究所期刊论文_中文
推荐引用方式 GB/T 7714	. 基于访问、感知和知道的多Agent系统形式化模型[J]. 计算机工程,2004,30.0(007):1.
APA	(2004).基于访问、感知和知道的多Agent系统形式化模型.计算机工程,30.0(007),1.
MLA	"基于访问、感知和知道的多Agent系统形式化模型".计算机工程 30.0.007(2004):1.