期刊文献+
共找到75篇文章
< 1 2 4 >
每页显示 20 50 100
非经典逻辑的语义tableau方法 被引量:10
1
作者 刘全 孙吉贵 《计算机科学》 CSCD 北大核心 2002年第5期72-75,共4页
1.引言 自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能... 1.引言 自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能的各个领域. 展开更多
关键词 人工智能 自动推理 自动定理证明 非经典逻辑 语义tableau方法
下载PDF
有界Heyting代数的模糊LI-理想 被引量:10
2
作者 刘春辉 《工程数学学报》 CSCD 北大核心 2016年第4期391-401,共11页
理想是研究逻辑代数结构特征的重要工具性概念之一.本文综合运用代数学与模糊集的方法和原理,在有界Heyting代数中引入模糊LI-理想概念并研究其性质.进而讨论了模糊LI-理想与模糊格理想之间的关系,并给出了由一个模糊集生成的模糊LI-理... 理想是研究逻辑代数结构特征的重要工具性概念之一.本文综合运用代数学与模糊集的方法和原理,在有界Heyting代数中引入模糊LI-理想概念并研究其性质.进而讨论了模糊LI-理想与模糊格理想之间的关系,并给出了由一个模糊集生成的模糊LI-理想的表示定理,最后证明了一个给定有界Heyting代数的全体模糊LI-理想之集在模糊集合包含序下构成一个完备Heyting代数. 展开更多
关键词 直觉逻辑 HEYTING代数 模糊LI-理想 完备Heyting代数
下载PDF
Mamdani模糊推理算法的直觉化扩展 被引量:4
3
作者 王坚 史朝辉 +1 位作者 郭新鹏 李伟平 《计算机科学》 CSCD 北大核心 2016年第S1期44-45 59,59,共3页
对Mamdani模糊推理算法进行了直觉化扩展。首先将Mamdani定义的模糊关系Rc进行直觉化扩展;然后推出了其对应的直觉模糊取式推理算法和直觉模糊拒式推理算法;最后以具体算例叙述了推理计算过程中的细节,验证了该方法的正确性和有效性依... 对Mamdani模糊推理算法进行了直觉化扩展。首先将Mamdani定义的模糊关系Rc进行直觉化扩展;然后推出了其对应的直觉模糊取式推理算法和直觉模糊拒式推理算法;最后以具体算例叙述了推理计算过程中的细节,验证了该方法的正确性和有效性依据直觉准则对其性能进行了评价。 展开更多
关键词 模糊集合 直觉模糊 逻辑推理
下载PDF
容介态的直观逻辑表达工具初探 被引量:4
4
作者 吴耀琪 《广义虚拟经济研究》 2014年第3期21-28,共8页
应用容介态的认识指导实践,需要提供实践工具,本文初步探索了直观图形、几何体系、五态导图、直观文字等工具,并提出了建构象学的构想。
关键词 容介态 直观逻辑 象学
下载PDF
Complex Decision Modeling Framework with Fairly Operators and Quaternion Numbers under Intuitionistic Fuzzy Rough Context
5
作者 Nadeem Salamat Muhammad Kamran +3 位作者 Shahzaib Ashraf Manal Elzain Mohammed Abdulla Rashad Ismail Mohammed M.Al-Shamiri 《Computer Modeling in Engineering & Sciences》 SCIE EI 2024年第5期1893-1932,共40页
The main goal of informal computing is to overcome the limitations of hypersensitivity to defects and uncertainty while maintaining a balance between high accuracy,accessibility,and cost-effectiveness.This paper inves... The main goal of informal computing is to overcome the limitations of hypersensitivity to defects and uncertainty while maintaining a balance between high accuracy,accessibility,and cost-effectiveness.This paper investigates the potential applications of intuitionistic fuzzy sets(IFS)with rough sets in the context of sparse data.When it comes to capture uncertain information emanating fromboth upper and lower approximations,these intuitionistic fuzzy rough numbers(IFRNs)are superior to intuitionistic fuzzy sets and pythagorean fuzzy sets,respectively.We use rough sets in conjunction with IFSs to develop several fairly aggregation operators and analyze their underlying properties.We present numerous impartial laws that incorporate the idea of proportionate dispersion in order to ensure that the membership and non-membership activities of IFRNs are treated equally within these principles.These operations lead to the development of the intuitionistic fuzzy rough weighted fairly aggregation operator(IFRWFA)and intuitionistic fuzzy rough ordered weighted fairly aggregation operator(IFRFOWA).These operators successfully adjust to membership and non-membership categories with fairness and subtlety.We highlight the unique qualities of these suggested aggregation operators and investigate their use in the multiattribute decision-making field.We use the intuitionistic fuzzy rough environment’s architecture to create a novel strategy in situation involving several decision-makers and non-weighted data.Additionally,we developed a novel technique by combining the IFSs with quaternion numbers.We establish a unique connection between alternatives and qualities by using intuitionistic fuzzy quaternion numbers(IFQNs).With the help of this framework,we can simulate uncertainty in real-world situations and address a number of decision-making problems.Using the examples we have released,we offer a sophisticated and systematically constructed illustrative scenario that is intricately woven with the complexity ofmedical evaluation i 展开更多
关键词 intuitionistic fuzzy set quaternion numbers fuzzy logic DECISION-MAKING rough set
下载PDF
有界Heyting代数的扩张模糊LI-理想 被引量:2
6
作者 刘春辉 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2021年第3期289-297,共9页
运用代数学与模糊集的基本原理和运算方法深入研究有界Heyting代数的扩张模糊LI-理想理论。在有界Heyting代数(H,≤→ ,0,1)中,引入了模糊LI-理想∫关于H上的模糊子集κ的扩张模糊LI-理想和不变模糊LI-理想概念,给出了扩张模糊LI-理想... 运用代数学与模糊集的基本原理和运算方法深入研究有界Heyting代数的扩张模糊LI-理想理论。在有界Heyting代数(H,≤→ ,0,1)中,引入了模糊LI-理想∫关于H上的模糊子集κ的扩张模糊LI-理想和不变模糊LI-理想概念,给出了扩张模糊LI-理想和不变模糊LI-理想的若干重要性质和等价刻画;讨论了扩张模糊LI-理想与生成模糊LI-理想之间的关系;考查了扩张模糊LI-理想在构造格结构研究中的应用,证明了有界Heyting代数(H,≤,→ ,0,1)的模糊LI-理想全体之集FLI(H)的三类子集在模糊集合包含序■下均构成完备Heyting代数。 展开更多
关键词 直觉逻辑 有界Heyting代数 模糊LI-理想 扩张模糊LI-理想 完备Heyting代数
下载PDF
论直觉主义逻辑对经典逻辑的挑战 被引量:1
7
作者 颜中军 《湘潭大学学报(哲学社会科学版)》 CSSCI 北大核心 2011年第3期125-128,共4页
直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主义和形式主义都是错误的。直觉主义逻辑与经典逻辑到底是怎样的关系,不同的解释将导致不同的回答。另外,... 直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主义和形式主义都是错误的。直觉主义逻辑与经典逻辑到底是怎样的关系,不同的解释将导致不同的回答。另外,直觉主义逻辑理论自身面临诸多困境,尽管达米特为此作出了哲学辩护,但依然受到多方面的指责。 展开更多
关键词 直觉主义 直觉主义逻辑 经典逻辑 可构造性
下载PDF
On ‘Conditionals in English and FOPL’:A Reply to Abbott (2006)
8
作者 Ken Turner 《外国语》 CSSCI 北大核心 2007年第2期2-20,共19页
A recent defence of the material analysis of natural indicative conditionals is examined. This defence, it is argued, is initially plausible but ultimately flawed. The empirical and logical case against the material a... A recent defence of the material analysis of natural indicative conditionals is examined. This defence, it is argued, is initially plausible but ultimately flawed. The empirical and logical case against the material analysis of natural indicative conditionals is made. The empirical and logical arguments are overwhelming and the conclusion is inevitable: natural language indicatives are not material conditionals. 展开更多
关键词 英语 语用学 指示条件 原始逻辑 关联逻辑 直观逻辑
原文传递
范畴语法层级系统及其在自然语言计算中的优劣分析
9
作者 姚从军 李奕丹 《周口师范学院学报》 CAS 2019年第1期1-6,共6页
从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级"。对于自然语言的计算处理来说,各层级系统各有优劣。虽然原始兰贝克演算较好地体现了自然语言的资源管理方式,但它是一种非结合非交换的系统,故在计算... 从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级"。对于自然语言的计算处理来说,各层级系统各有优劣。虽然原始兰贝克演算较好地体现了自然语言的资源管理方式,但它是一种非结合非交换的系统,故在计算处理上存在许多不足之处。依据交换规则和结合规则的不同取舍,形成了四个层级的兰贝克演算系统。不同兰贝克演算系统具有不同语料描述模式,故处理语言现象的专长有别。系统LLC(或LLCW′)使原始兰贝克演算增加了后承前件中资源可重复使用的能力,混合范畴类型逻辑使原始兰贝克演算增加了受控的结合能力或交换能力,二者合并之结果应是自然语言计算处理的理想工具。 展开更多
关键词 直觉主义逻辑 相干逻辑 线性逻辑 兰贝克演算 混合范畴类型逻辑
下载PDF
论逻辑系统的波斯特完全性
10
作者 马明辉 《自然辩证法研究》 CSSCI 北大核心 2012年第11期14-18,共5页
波斯特完全性是一种句法意义上的完全性概念,它区别于语义完全性。如果一个逻辑系统是一致的并且增加任何在该系统中不可证的公式就得到不一致逻辑系统,那么该逻辑系统是波斯特完全的,即波斯特完全的逻辑系统是没有一致真扩张的一致逻... 波斯特完全性是一种句法意义上的完全性概念,它区别于语义完全性。如果一个逻辑系统是一致的并且增加任何在该系统中不可证的公式就得到不一致逻辑系统,那么该逻辑系统是波斯特完全的,即波斯特完全的逻辑系统是没有一致真扩张的一致逻辑系统。古典命题逻辑是波斯特完全的,直觉主义逻辑不是波斯特完全的,但它只有古典命题逻辑作为唯一的波斯特完全的扩张。模态逻辑中波斯特完全性比较复杂,而且还有一种广义的波斯特完全性概念。其它逻辑系统的波斯特完全性有待进一步探索。 展开更多
关键词 波斯特完全性 古典命题逻辑 直觉主义逻辑 模态逻辑
原文传递
柯尔莫哥洛夫:复杂性研究的逻辑建构过程评述 被引量:1
11
作者 吴彤 于金龙 《自然辩证法研究》 CSSCI 北大核心 2003年第9期71-74,共4页
本文试图理清柯尔莫哥洛夫关于直觉主义逻辑、信息论、概率论的批判与建构的逻辑发展脉络;把柯尔莫哥洛夫"复杂性"概念置于逻辑发展过程中理解并阐明其出现的逻辑必然性。
关键词 柯尔莫哥洛夫 直觉主义逻辑 信息论 概率论 科学批判 逻辑建构
下载PDF
基于直觉模糊的双误差“逻辑与”多粒度粗糙集 被引量:1
12
作者 叶楚瑶 汪小燕 《安徽工业大学学报(自然科学版)》 CAS 2020年第2期153-157,共5页
在直觉模糊信息系统下,同时考虑相对和绝对的双误差,研究变精度与程度的"逻辑与"粗糙集,提出基于直觉模糊的变精度与程度"逻辑与"乐观多粒度和悲观多粒度粗糙集的上下近似集定义。在此基础上,定义一种新型二进制矩... 在直觉模糊信息系统下,同时考虑相对和绝对的双误差,研究变精度与程度的"逻辑与"粗糙集,提出基于直觉模糊的变精度与程度"逻辑与"乐观多粒度和悲观多粒度粗糙集的上下近似集定义。在此基础上,定义一种新型二进制矩阵来计算多粒度粗糙集的上下近似集,并提出通过矩阵计算上下近似集的若干理论,最后通过案例分析验证所提理论的正确性。 展开更多
关键词 多粒度粗糙集 直觉模糊 变精度 二进制矩阵 逻辑与
下载PDF
构造类型论与计算机程序设计 被引量:1
13
作者 蒋慧 林东 +1 位作者 孙泉 谢希仁 《计算机科学》 CSCD 北大核心 2002年第2期72-77,61,共7页
1.引言近些年来,在计算机程序设计语言理论、自动演绎以及更一般的逻辑和计算领域研究中,出现了多种以构造类型论为基础的系统,如LCF、ALF、LEGO、Coq等,它们被用来为程序设计语言设计类型系统,进行程序开发和验证、形式化证明以及作为... 1.引言近些年来,在计算机程序设计语言理论、自动演绎以及更一般的逻辑和计算领域研究中,出现了多种以构造类型论为基础的系统,如LCF、ALF、LEGO、Coq等,它们被用来为程序设计语言设计类型系统,进行程序开发和验证、形式化证明以及作为数学和计算的基础.构造类型论为计算机科学家提供了一个框架,以一种优雅和灵活的方式把逻辑和程序设计语言结合起来:在同一形式系统中,可以同时表达规约和(函数式语言)程序,从证明规则可以导出正确的程序,并验证程序具有某种性质,从而在同一系统内完成程序的开发和验证[26,19]. 展开更多
关键词 限制谓词演算 构造类型论 构造数学 计算机 程序设计 程序设计语言
下载PDF
Fitch-悖论的直觉主义逻辑解决方案探析 被引量:1
14
作者 王晶 潘世墨 《厦门大学学报(哲学社会科学版)》 CSSCI 北大核心 2014年第1期45-51,共7页
Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williamson为代表的反实在论者采用直觉主义逻辑,并根据双重否定消去规则失效的原理,成功地... Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williamson为代表的反实在论者采用直觉主义逻辑,并根据双重否定消去规则失效的原理,成功地避免了该结论的出现。然而,直觉主义逻辑的解决方案并非无懈可击,它面临着不同的责难。反实在论者如果把研究重点转向Fitch-悖论的实质——模态算子◇的消失,或许对完善其直觉主义逻辑解决方案有所裨益。 展开更多
关键词 Fitch-悖论 直觉主义逻辑 可知性原则 反实在论
下载PDF
命题演算的两个直觉主义系统 被引量:1
15
作者 刘大中 董克诚 《河北大学学报(自然科学版)》 CAS 2000年第4期316-319,共4页
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 。
关键词 直觉主义逻辑 命题演算 希尔伯特型 自然演绎型
下载PDF
函数完备性问题
16
作者 刘新文 《重庆理工大学学报(社会科学)》 CAS 2011年第8期44-47,93,共5页
首先回顾命题联结词集合函数完备性的历史发展情况,然后简要考察直觉主义逻辑与一阶逻辑的函数完备性问题,以及相关的逻辑常项问题。理解函数完备性可以转向确定哪些性质是逻辑性质这样一类哲学问题。
关键词 函数完备性 逻辑常项 直觉主义逻辑 一阶逻辑
下载PDF
常逻辑公式与可定义性
17
作者 马明辉 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2013年第6期23-27,共5页
常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件,是该框架类对满射互模拟象、不相交并封闭,并且它的补... 常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件,是该框架类对满射互模拟象、不相交并封闭,并且它的补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件,是它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。 展开更多
关键词 模态逻辑 直觉主义逻辑 框架类 可定义
下载PDF
存在怪论的推导与分析及有关语意问题
18
作者 陆尚强 《广西师院学报(自然科学版)》 1998年第3期28-32,共5页
怪论:“慨念无逻辑矛盾的任一物理事件必然在物理世界中存在(或被实现)”可从下列四个易被接受的假设推出:1、经验归纳是不完备的。2、认识上仅有两方面,即经验归纳与逻辑推理。3、从逻辑观点看,断言一个物理事件在所有时间都... 怪论:“慨念无逻辑矛盾的任一物理事件必然在物理世界中存在(或被实现)”可从下列四个易被接受的假设推出:1、经验归纳是不完备的。2、认识上仅有两方面,即经验归纳与逻辑推理。3、从逻辑观点看,断言一个物理事件在所有时间都不存在,仅是由于事件概念有逻辑矛盾。4、推理限于使用经典逻辑。以P(t)表示物理事件P在时刻t出现,当P的概念无逻辑矛盾时,tp(t)之真可在有限时区证实,但其假则否。而フp(t)之假可以在有限时区证实,但其真则否。所以在该情况时说tp(t)之假或フp(t)之真是无意义的。而怪论这时指定tp(t)为真。类似地可以对假设1与3作相应的解释。对于无穷的概念,在对象诺言中,在“潜”意义上或“实”意义都可使用。但在元语言中,仅能在“潜”的意义上而不能在“实”的意义上使用。怪论来源于事实:即当考虑其假的证实时,在元语言中,便涉及时间序列的“实无穷”了。 展开更多
关键词 怪论 经典逻辑 直觉主义逻辑 模型论 语意
下载PDF
10-Elements Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic System
19
作者 Yingxin Wang Xin Wen Li Zou 《国际计算机前沿大会会议论文集》 2015年第1期117-119,共3页
This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable... This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable information.This method can also deal with the uncertain problem which has both positive evidence and negative evidence at the same time.10-elements linguistic truthvalued intuitionistic fuzzy first-order logic system has been established in the intuitionistic fuzzy algebra. 展开更多
关键词 LINGUISTIC truth-value 10-elements LINGUISTIC truth-valued intuitionistic fuzzy logic FIRST-ORDER logic system
下载PDF
论直觉主义学派的逻辑观
20
作者 王佳君 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2017年第6期36-41,共6页
直觉主义学派奠基人布劳威尔在澄清科学、语言本质的基础上把逻辑规定为一门反映推理语言规律的科学,但他没有意识到:逻辑和数学一样,具有比其它科学更高的必然性。海丁把数学中使用的逻辑规则规定为一般化的数学定理,并构建了形式化的... 直觉主义学派奠基人布劳威尔在澄清科学、语言本质的基础上把逻辑规定为一门反映推理语言规律的科学,但他没有意识到:逻辑和数学一样,具有比其它科学更高的必然性。海丁把数学中使用的逻辑规则规定为一般化的数学定理,并构建了形式化的直觉主义逻辑。该学派强调构造性,对逻辑常项进行了构造性的解释,从而拒斥了排中律的普遍有效性,并质疑经典的间接证明方法。事实上,直觉主义的构造性证明与经典的间接证明体现了不同的推理方式,各自有不同的适用领域和应用价值,而兼容并蓄正是现代逻辑和现代科学的发展趋势。 展开更多
关键词 直觉主义学派 布劳威尔 海丁 直觉主义逻辑
原文传递
上一页 1 2 4 下一页 到第
使用帮助 返回顶部