超协调逻辑

作品数：17被引量：16H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：林作铨李未岳安步何华灿韩庆更多>>
相关机构：汕头大学北京大学北京航空航天大学西北工业大学更多>>
相关期刊：《模式识别与人工智能》《哲学动态》《软件学报》《智能系统学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家攀登计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
S型超协调逻辑中的一项重大研究突破——评张金成《逻辑及数学演算中的不动项与不可判定命题》被引量：2
《智能系统学报》2014年第4期511-514,共4页何华灿 
1一个“平凡人”的不平凡贡献 1）“S型超协调逻辑”是我国学者张金成自创的一种逻辑，与它最接近的系统有巴西的“次协调逻辑”、美国的“不协调逻辑”和澳大利亚的“R型超协调逻辑”，不同的是他们都是通过直接约束矛盾律的有效使...
关键词：超协调逻辑 现代数学 命题 演算 金 逻辑系统 辩证逻辑 次协调逻辑 
基于超协调逻辑处理含有非协调信息的系统规约
《计算机应用与软件》2011年第2期139-141,245,共4页陈冬火 张宏斌 
随着计算机系统规模和复杂度的增长,在软件工程的各个阶段,开发者不得不面对包含大量非协调信息的各种类型的系统规约。由于平凡推理的问题,基于经典逻辑的方法不能用于分析含有非协调信息的系统规约。在简单介绍超协调逻辑的基础上,引...
关键词：非协调性 超协调逻辑 时序逻辑 软件工程 
墨经中的逻辑和辩证法
《职大学报》2009年第3期8-10,共3页杨武金 
墨经中的逻辑和辩证法是不可分离的,逻辑推论的成立必须符合各种条件的整体性要求,墨经逻辑否定逻辑矛盾,但却承认辩证矛盾。墨经逻辑是多种逻辑的统一体,虽然在主要内容上属于形式逻辑,但整个地也可以看成是一种强的超协调逻辑,即辩证...
关键词：形式逻辑 辩证法 超协调逻辑 
基于四值语义的缺省逻辑被引量：1
《计算机学报》2005年第9期1447-1458,共12页岳安步 林作铨 
国家自然科学基金(60373002;60496322);国家"九七三"重点基础研究发展基金(2004CB318000)资助
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具...
关键词：缺省逻辑 四值逻辑 非单调逻辑 超协调逻辑 非单调超协调逻辑 
不协调知识的缺省推理(英文)被引量：1
《软件学报》2004年第7期1030-1041,共12页韩庆 林作铨 
国家自然科学基金~~
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双...
关键词：缺省逻辑 超协调逻辑 四值逻辑 双缺省理论 
常识推理中的矛盾知识处理方法
《空军预警学院学报》1999年第2期51-55,共5页何云 鲁汉榕 
提出了一种适合常识推理的框架模型，并讨论了几种适合该框架的矛盾知识处理方法．
关键词：常识推理 假设推理 缺省推理 超协调逻辑 非单调逻辑 
悖论逻辑及其表演算
《计算机学报》1998年第S1期17-23,共7页林作铨 
国家自然科学基金;国家863高科技基金;国家攀登计划资助
修论逻辑LP是一个超协调逻辑，极小悖论逻辑LPm是一个LP的非单调逻辑扩展．本文给出了一阶LP和LPm的表演算．为此，本文在论证了（极小）悖论逻辑语义性质基础上，首先给出一个LP的（记号）表演算，然后给出一个LPm的极小表演算，并证...
关键词：表演算 超协调逻辑 非单调逻辑 悖论逻辑 极小悖论逻辑 
从类型论到超协调逻辑
《中山大学研究生学刊（社会科学版）》1998年第1期17-23,共7页李燕 
悖论源远流长,从古希腊时代的说谎者悖论算起,已有两千多年的历史。为了给悖论以合理的回答,维护科学理论的严密性、一致性,许多哲学家和逻辑学家致力于悖论问题的解决,本文试图以几位有代表性的逻辑学家提出的悖论的解决方案为线索,从...
关键词：悖论 类型论 语言层次论 素朴语义学 不协调逻辑 超协调逻辑 
悖论逻辑的表演算被引量：3
《软件学报》1996年第6期345-353,共9页林作铨 李未 
国家自然科学基金;国家863高技术计划与李嘉诚学术基金;国家基础研究攀登计划资助
悖论逻辑ＬＰ是一个超协调逻辑，发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效；极小悖论逻辑ＬＰｍ能克服这个缺点，使得在没有矛盾的直接影响下...
关键词：表演算 超协调逻辑 悖论逻辑 计算机 
超协调限制逻辑被引量：3
《计算机学报》1995年第9期665-670,共6页林作铨 
国家自然科学基金;国家高技术"863"计划资助;国家基础研究攀登计划资助
本文给出了一阶超协调限制逻辑ＬＰｃ的定义，并证明了它与悖论逻辑（ＬＰ与ＬＰｍ）和限制逻辑（ＣＩＲＣ）的关系，ＬＰｃ作为一种非单调超协调逻辑具有非单调逻辑和超协调逻辑的优点，而且能解决非单调逻辑和超协调逻辑存在的问题，...
关键词：超协调逻辑 非单调逻辑 悖论逻辑 限制逻辑 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部