【摘 要】
：
该文主要研究有限状态系统中的模型检测知识的问题.关于智能体知识的计算在不同的观察下计算方法不同,该文研究了在OBS(Observational)观察和SPR(Synchronous Perfect Recall
论文部分内容阅读
该文主要研究有限状态系统中的模型检测知识的问题.关于智能体知识的计算在不同的观察下计算方法不同,该文研究了在OBS(Observational)观察和SPR(Synchronous Perfect Recall)观察下的模型检测知识的问题.在OBS观察下,通过寻找与知识等价的局部命题来求解知识,论文提出了利用描述有限状态系统的程序语义来计算知识的方法.在CTL语言的基础上定义了CTLK(Computation Tree Logic and Knowledge)语言的语法和语义,用它来描述KMAS(Knowledge based Multi-Agent System)的规格.并提出了符号化模型检测这种规格的技术.在SPR观察下,通过形式化描述系统中的智能体怎样利用它的记忆来判断当前的可能状态.在文章给出了利用符号化模型检测技术计算SPR观察下的智能体知识的算法.该文的实现部分MCLKT(Model Checking Limited Knowledge and Time)是一个协议验证工具KMAS系统的一个组成部分.MCLKT主要是对多智能体系统的规格进行检测.
其他文献
随着科学计算规模的不断扩大,大规模计算在各行业也日益得到广泛应用。人们对计算能力的需求是无限的,尽管微处理器的速度以摩尔定律——每18个月增长一倍的速度发展,但一些
本文在基于信息化飞速发展和普及的基础上,充分考虑到当前我国财政改革的需要,设计了一种集中支付系统的架构,在这种架构中XML作为一种信息传送与语义描述的标准得到了充分的
二十世纪七十年代,Belady和Lehman等人提出了软件演进的概念,此后,大多数研究者都用软件演进来描述软件系统中的大量变化。近几年,一些研究者又从服务演进角度展开了相关研究
在联机分析处理OLAP环境中,数据以多维模型展现,基于多维数组的计算被频繁地使用。传统SQL语句在这方面存在严重不足,关系型OLAP必须使用连接、CASE表达式、嵌套查询、UNION
地理信息系统是指用于获取、存储、查询、综合、处理、分析和显示与地球表面位置相关的数据的计算机系统。与管理信息系统不同，它可以利用计算机技术模拟现实世界，进行各种空间
随着企业信息化的发展,一个企业往往有很多种异构信息系统在同时使用,形成一些“信息孤岛”,在很大程度上限制了信息系统在企业运作中的作用。例如,在“信息孤岛”下,企业信
远程教育的快速发展,促进了虚拟实验环境的研究,特别是接口类可编程虚拟实验平台的研究.目前对可编程虚拟实验的研究比较滞后,不能满足远程教育日益发展的需求.在国家创新基
随着信息技术的迅猛发展,P2P网络受到了广泛的重视,并已成为当前最为流行的网络共享应用之一。由于用户并不总是希望找出所有的精确结果,而只需要排列出最符合查询的前k个结
随着下一代互连网IPv6的快速发展,作为其重要路由协议的OSPFv3越来越受到路由设备与软件开发商的重视,很快从实验室走向产品化.进行OSPFv3路由协议的一致性测试对实现该协议
联机分析挖掘技术融合了联机分析处理技术和数据挖掘技术,成为决策支持应用系统新的技术依托。该技术的研究目前处于起步阶段,关于联机分析挖掘技术的基本原理、关键技术、系