非经典逻辑相关论文
弗雷格(Gottlob Frege)通过对旧逻辑中命题的主词和谓词赋予新的含义而提出了一种新逻辑即谓词逻辑,而从谓词逻辑发展而来的逻辑程序......
多值逻辑与其他非经典逻辑的根本不同在于认为命题可以取真假之外的其他各种真值,这与弗雷格等人的思想相违背,因此它的合法性更需要......
<正> 据苏联《哲学问题》杂志1990年第3期报道,第10届科学逻辑、方法论和科学哲学全苏会议将于1990年9月23—26日在明斯克的白俄......
作为计算理论中最简单的数学模型,有限自动机不仅是复杂性理论的理论基础,而且与其他领域密切相关,例如神经网络、模式识别、密码......
第十一届亚洲逻辑学会议于6月22日至27日在新加坡举行,会议主要讨论数理逻辑学领域的最新发展及其应用、计算机科学中的逻辑学和哲......
一如果说十八世纪进行的工业革命给人类带来了体力劳动的解放,那么,廿世纪五十年代出现的电子计算机则解放着人类的脑力劳动。这......
RSFDGrC'2003是RSFDGrC系列国际会议的第九届会议,该系列会议每两年举行一次,RSFDGrC'2003是该系列会议第一次在中国举办,RSFDGrC'2003将由国家自然科......
本文扼要综述了七十年代和八十年代人工智能研究的概况。总的观点是:由于在人工智能的早期研究阶段人们抱有过分乐观的看法,以致于......
1989年8月11日至15日,全国党校逻辑学会第三次年会在中共中央党校召开。来自全国20多个省、市的近50名代表出席了会议。这次年会......
该文主要进行了粗糙集的数学基础研究,与程度粗糙集和变精度粗糙集两个广义粗糙集模型的探讨.第一章,主要研究了粗糙集与拓扑的关......
本文的主要工作分两部分内容:格蕴涵代数的构造理论; L-fuzzy双拓扑基于一个L-fuzzy拓扑的表述和构造理论. 一、格蕴涵代数方面 ......
建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后......
引入覆盖空间,定义了其邻域、内部、闭包、测度等概念,研究了它们的性质.得出了粗糙集近似空间和拓扑空间都是具体覆盖空间的重要......
苏姗·哈克使逻辑哲学发展成为独立的学科.逻辑哲学的中心问题是对于逻辑系统与现实原型“恰当相符性”的不断探索.逻辑理论具有可......
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾......
揭示了基于完备剩余格值逻辑的自动机(称值自动机)与真值格(剩余格)之间的一些等价关系.特别是建立了值自动机的可恢复性(retrieva......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架.引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值......
弗协调逻辑是非经典逻辑中最具有革命性的逻辑学分支.它限制了经典逻辑中矛盾律作用的范围,能够容纳有意义的真矛盾,能够作为一切......
给出了Lawry不确定模型的新的性质.基于Lawry模型,引入了同主语同标签Vague命题的Lawry真度的概念.由此,提出了一种非经典逻辑,称......
证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质.以此为基础,讨论了R0-代......
进一步讨论方程T(a,x)=b与方程I(a,x)=b的解的结构,得到了它们的解集,且得到了它们有解的充分必要条件,并利用方程T(a,x)=b与方程I(a,x)=b......
作者在另一文中,基于Lawry的不确定模型,提出了一种新的非经典命题逻辑,称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的......
正确把握逻辑的研究对象、方法、范围、类型等相关问题的还需注意的一个问题是对逻辑本质认识的澄清。一般认为逻辑是关于思维形式......
文章概述了概率与数理统计、模糊数学、粗糙集、非经典逻辑及灰色系统等几种处理不确定性信息理论的特点,对它们彼此之间的相似和......
“实质蕴涵怪论”问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中......
【正】 笔者曾在《当代数学哲学与逻辑哲学入门》一书中,对形形色色的悖论、悖论的解救办法、关于悖论本性的各种有代表性的看法作......
L-不分明化拓扑也就是基于完全剩余格值逻辑上的不分明化拓扑.论文中把L-不分明化闭包和内部的概念扩充到模糊集合,并在此基础上把库......
三Ⅰ推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理......
1.引言自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部......
对应原理─—多种非经典逻辑的通用原理桂起权,刘东波近年来,多种非经典逻辑、哲学逻辑的发展迅猛异常,对应原理是多种非经典逻辑的......
【正】 “次协调逻辑”(para-consistent logic)这个术语意味着,新逻辑的协调性次于经典逻辑,但又远高于完全不协调系统。换句话说......
次协调逻辑学说是越来越引人注目的一种国际逻辑新思潮。它是与数理逻辑、辩证逻辑、人工智能三方面都有密切关系的一种新颖奇特的......
本文认为:1.把辩证逻辑列入非经典逻辑不能突出它作为辩证思维逻辑的根本特征。2.说牛顿力学被相对论证伪以后,仍然是相对真理,这是把证伪......
高校逻辑教材改革中应当正确处理的几个关系苑成存我国高校的逻辑学教材改革取得一定成效。但在逻辑学教材改革过程中,也确实存在着......
自本刊去年开展关于辩证逻辑是否逻辑的学术讨论以来,已发表了10篇文章,就逻辑学的研究对象,辩证逻辑在逻辑学中的地位、特征和发......
问句逻辑是隶属于广义认识论逻辑门类下的一个分支学科,主要研究问句的逻辑性质及其推理关系。以亚里斯多德为代表的古典问句逻辑......
文章研究Sup-T型L-关系方程和Inf-αT型L-关系方程解的结构,其中L是完备Brouwer格,T是L上无穷并分配伪t-模,αT是L上由T诱导的无穷......
目前计算机科学以惊人的速度不断发展,作为其核心分支的人工智能研究也取得了很大的突破。在成就的背后,逻辑学是推动其前进的主要......
基于对Vague(或Fuzzy)概念的一种新的认知,使用随机集和概率论,引入了论域表达式及其适当测度的概念。进一步地,通过引入同Vague谓词......
逻辑学是一门古老的科学,从它产生至今已有两千多年的历史.逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段;而现代逻辑的发......