可能世界语义相关论文
<正> 知识逻辑(Epistemic Logics)研究知识的内在逻辑规律,它属于哲学逻辑的一个分支。近年来,知识逻辑在经济学,语言学,计算机科......
近年来,不确定Skyline查询成为当前不确定数据查询研究的一个重要方面.Skyline查询结果通常与用户的偏好相关,而用户的偏好往往受......
通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研......
形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。......
应用需求的发展衍生各种查询类型,Top—k查询是交互环境下一种重要查询类型.由于数据的不确定性,传统数据上的Top—k查询技术和方法不......
道义逻辑是哲学逻辑的一个分支,主要研究“应当”、“允许”等相关概念的基本逻辑特征。道义逻辑标准系统自建立之初便一直受到道......
随着互联网的飞速发展,人们的日常生活变得与网络密不可分。与此同时,频频出现的网络欺诈行为成为影响人们正常网络生活的重要因素......
主体间通信对主体信念的影响应从两个方面考虑:一是对信念本身的影响,一是对信念可信度的影响.为了解决这两个问题,首先构造了对其......
从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格......
分析认知逻辑中的逻辑全知问题及其解决方法, 提出一种可以避免逻辑全知的认知逻辑 E L, 并给出其语义和公理系统......