时态认知逻辑相关论文
主体信念的形成,以及信念的强度与证据和信任密切相关。例如,得到证据支持的信息通常可被主体所相信,证据支持度往往会影响信念的......
互联网的开放性使得Web服务是分布式的,在Web服务交互过程中,一些“不正常”的消息交互会影响Web服务的质量和健壮性,降低用户满意......
传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web......
传统模型检测技术主要采用时态逻辑描述被验证的规范，人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域，系统和协议......
时序认知逻辑是由时序逻辑和认知逻辑组合而成的逻辑,主要应用于多主体系统的规范定义。大多数时序认知逻辑是基于CTL的,表达能力......
Clarke和McMillan提出了利用mu演算和OBDDs符号模型检测时态逻辑的方法,这些方法是非常有效的，能用于验证许多具有极大状态空间的实......
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模......
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测（bounded model checking，简称BMC）算法．基于同步解释系统语义，在时态逻辑CTL......
入侵检测系统的智能性逐渐受到重视．基于逻辑的模型检测方法是一种有效的误用检测方法。介绍基于逻辑的模型检测方法的研究现状，提出......
传统时态认知逻辑对完美回忆的刻画是狭隘的,并不能完整表达主体记得自己先前的认知状态.新系统S5tCt将认知与时态融合进同一个算......
模型检测作为一种有限状态系统的自动化验证技术已得到广泛应用，最近该技术在规划和多智能体系统(MAS)等人工智能领域的应用也越来......
