模态逻辑相关论文
人工智能飞速发展,自然语言在人工智能中的表达至关重要。逻辑学通过一阶逻辑和模态逻辑等研究领域,在人工智能语言表达中起着至关......
<正> 朱水林的《现代逻辑引论》一书1989年11月已由上海人民出版社出版。拜读之后,觉得该书很有些特色,就此谈谈一些想法。第一,现......
繁荣逻辑科学促进哲学发展——访中国社会科学院哲学所逻辑室五学者本刊记者周礼全,1921年12月出生,研究员,博士生导师,中国逻辑学会会长,主要......
混合逻辑是由传统模态逻辑添加可能世界(或状态、时间、点等)的名字扩充而得。这样的扩充源于很多方面的原因:对某一特定状态、场所......
QL指一个命题逻辑系统L的纯量化扩张。克里普克语义学给出了处理命题模态逻辑的一种合理方法(当然也有例外)。但就一阶模态逻辑整体......
在20世纪70年代前后,互模拟理论在许多领域被独立建立。自从范本特姆(Van Benthem)定理问世之后,互模拟被广泛地运用于模态逻辑的研究......
“动态逻辑(dynamic logic,简称DL),又称关于程序的模态逻辑(modal logic of programs),是进行程序逻辑性质研究、程序正确性证明研究的有......
按照逻辑学家布尔(R.Bull)与西格伯格(K.Segerberg)的说法,类比于人类学,在20世纪初,刘易斯(C.Lewis)等人的工作相当于在模态逻辑学中引发了一......
尽管一阶逻辑得到了广泛的探讨,但仍然存在有待发掘的丰富内容,一阶逻辑的片段研究便是其中之一。选取不同的方式可以定义出一阶逻辑......
现代模态逻辑由完全性理论、对应理论和对偶理论三个主要学科组成。它们是模态逻辑的三大支柱理论,都在20世纪70年代中期奠定了基础......
模态逻辑的关系语义(也称克里普克语义)起源于20世纪60年代左右关于模态词的解释,其主要特征是,与之前的模态代数理论相比,作为一种塔尔......
核证(Justification)的概念自柏拉图以来就是认知研究中的一个重要部分。在现实中,我们通过给出一个证据,即一个核证来证实我们的知识......
多模态逻辑是模态逻辑理论体系的重要组成部分。多模态逻辑系统是指这样的逻辑系统:在一个系统内同时包含两种或两种以上的模态算子......
本文介绍了当代美国哲学界最富争议性和挑战性的理论转向,即由逻辑经验主义对形而上学的批判和排斥到模态理论对形而上学的复兴。模......
<正> 金岳霖学术基金会今年8、9月举办了1990年“金岳霖学术奖”逻辑学科奖的评选活动。评选范围是1984年10月至1990年6月正式发表......
<正> 由中国逻辑学会形式逻辑研究会、西方逻辑史研究会和湖北大学联合召开的全国笫五次形式逻辑讨论会和第六次西方逻辑史讨论会......
<正> 知识逻辑(Epistemic Logics)研究知识的内在逻辑规律,它属于哲学逻辑的一个分支。近年来,知识逻辑在经济学,语言学,计算机科......
一、奎因
奎因批评模态逻辑的武器是所谓的等词可替换性原则。根据他的表述,“这一原则规定:给定一个真等同陈述,可以用它的两个词项......
20世纪60年代左右Kripke等人引入关系语义后,许多常见的模态逻辑的完全性得到证明,以致Lemmon和Scott(1977)猜测所有的逻辑都框架完全......
高新民、李艳鸽撰文《科学对“无”的“思入”及其本体论意义》指出:19世纪末以来,非存在或“无”已成了虚构哲学、模态逻辑、可能世......
<正> 现代逻辑学是一门多分支和多方面的学科.哲学家、数学家和计算技术专家都在积极地研究它.这是因为逻辑学被广泛地利用来既解......
1993年国外哲学逻辑研究新进展李小五本年度哲学逻辑研究取得了许多新的进展,各分支学科的研究继续向深度和广度发展。现在分学科综述如......
把命题动态逻辑PDL和模态逻辑S5进行融合后,得到的动态信念和知识的多主体逻辑(简称BDL),可以对动态认知信息进行推理.为此,一方面......
作者从将所有命题算子都看作内涵到内涵的算子的观点出发,提出了一般命题逻辑的概念,建立了统一的语义──邻域语义学。讨论了邻域......
研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考......
将不同的逻辑系统进行组合,能够以更加精细的方式来描述现实世界。不同的组合技术,如交融(Fusion),直积(Product),纤维化(Fibring)......
该文探讨了并发计算模型__χ-演算的逻辑模型.给出了χ-演算的一个初步逻辑模型.分别定义了四组完整的逻辑连接词,并且对应地给出......
模态逻辑是在命题逻辑或一阶逻辑的基础上加入模态词□而得到逻辑,命题模态逻辑有K,D,B,S4与S5等公理系统.给定S5公理系统的等价框架或......
模态逻辑是逻辑学中的一个重要的分支,它是自然语言中有关模态部分的数理模型.目前,模态逻辑已经被广泛用于人工智能的知识表示以......
模态逻辑最初是被当成非经典逻辑的一个分支而逐步发展起来的.目前,模态逻辑已经被广泛用于人工智能的知识表示以及计算机科学的其......
近年来,业务流程的广泛使用极大的提高了企业的生产效率,增加了企业的核心竞争力。但随着社会的不断发展,企业的业务目标也在不断调整......
模态逻辑是研究必然、可能及其相关概念的逻辑。模态逻辑是逻辑学最为重要的分支之一,它的理论、思想、技术和方法不仅是逻辑学中占......
进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。互模拟是进程代数中刻画行为等价的核心概念,......
本文为多智能体系统定义了一个称之为知识结构的逻辑框架,来进行智能体的知识推理.在知识推理过程中,使用”变量忘记”(VariableForg......
基于形式系统的逻辑研究是知识工程研究领域的重要内容。模态逻辑(modal logic)及其各种扩展,如时态逻辑(temporal logic)、认知逻......
共代数是代数的对偶概念,基于观察的角度考察集合及其上操作。计算机科学中很多系统都可以归结为共代数,如自动机、抽象数据类型、面......
学位
故障诊断越来越受到人们的重视。目前,虽然用于故障诊断的方法有很多,但由于种种原因很少能高效地工作。同时,近年来,由于计算机技术、......
词项的指称在模态语境下会发生游移,蒯因称之为“指称暧昧”,具体表现为模态命题中会出现单独词项同一替换原理失效和表达式量化存......
近几十年来,可能世界语义学的发展方兴未艾,但由“可能世界”的定义及其本体地位问题引起的纷争一直不断,且有愈演愈烈的趋势。威......