可能世界语义相关论文
近年来,不确定Skyline查询成为当前不确定数据查询研究的一个重要方面.Skyline查询结果通常与用户的偏好相关,而用户的偏好往往受......
通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研......
形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下，已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。......
应用需求的发展衍生各种查询类型，Top—k查询是交互环境下一种重要查询类型．由于数据的不确定性，传统数据上的Top—k查询技术和方法不......
随着互联网的飞速发展,人们的日常生活变得与网络密不可分。与此同时,频频出现的网络欺诈行为成为影响人们正常网络生活的重要因素......
主体间通信对主体信念的影响应从两个方面考虑:一是对信念本身的影响,一是对信念可信度的影响.为了解决这两个问题,首先构造了对其......
可能世界语义是情态表达的内涵,其固有的模糊性一直是学界力图攻克的难题。本文基于情态理论,探讨其表达的可能世界语义概念;同时......
从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格......
