分享到:

逻辑全知佯谬

从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的.在此基础上,通过严格的逻辑推理得出了与之不同的结论,那就是  (本文共5页) 阅读全文>>

《软件学报》2005年08期
软件学报

基于模糊命题模态逻辑的形式推理系统(英文)

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义...  (本文共7页) 阅读全文>>

《哲学动态》2005年12期
哲学动态

摹略万物之然,论求群言之比——模态逻辑新观念述评

模态逻辑是一个多方面的学科,它起初在哲学中得名,在很长一段时间中作为“必然和可能的逻辑”而被人所知。但是...  (本文共6页) 阅读全文>>

《河北学刊》2015年04期
河北学刊

多模态逻辑的研究动因及意义

模态逻辑理论的蓬勃发展是多模态逻辑产生的理论背景,模态间的联合问题以及模态逻辑理论...  (本文共4页) 阅读全文>>

《鸭绿江(下半月版)》2015年04期
鸭绿江(下半月版)

基于现代模态逻辑在计算机科学中的应用探析

通常情况下,现代模态逻辑是由时态逻辑与动态逻辑、道义逻辑、信念逻辑和狭义模态逻辑等多个部分组成...  (本文共1页) 阅读全文>>

《计算机应用与软件》2014年08期
计算机应用与软件

命题模态逻辑的模型构造和完备性证明

模态逻辑是研究必然、可能及其相关概念的逻辑。模态公式的可满足性问题和证明系统的完备性问题是模态逻辑中的两个经典的问题。为了解决这两个问题,提出一个构造模态公...  (本文共5页) 阅读全文>>