检索结果-维普期刊中文期刊服务平台

判例类比推理的逻辑被引量：1: 1; 作者孔红《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2013年第4期26-30,共5页; 判例类比推理是法律推理的一种基本模式。判例类比推理最重要的环节是判断两个案件的同异关系。普通语言描述的案件都是独一无二的,任何两个案件都不会有完全相同的经验事实。案件的同异比较是相对于抽象的法律语言而言的。在一阶逻辑... 展开更多; 关键词判例类比推理一阶语言关系结构同构; 在线阅读下载PDF 职称材料

ATMS的模型论基础: 2; 作者张玉平怀进鹏《计算机学报》 EI CSCD 北大核心 1996年第9期668-672,共5页; 本文将每个ＡＴＭＳＫ转化为一阶语言Ｌｘ的模型ＭＫ，模型ＭＫ是语言ＬＫ的一阶理论ＴＫ的模型．应用非单调推理理论中的谓词限定的技巧，可以构造出ＬＫ的理论ＴＫＰＣ，使得ＭＫ是ＴＫＰＣ的唯一模型．同时，语言ＬＫ还包含关系符号... 展开更多; 关键词一阶语言模型论 ATMS; 在线阅读下载PDF 职称材料

{I_(m)}(α-逻辑有效公式)的理论及其应用被引量：6: 3; 作者张兴芳孟广武 +1 位作者赵峰张安英《工程数学学报》 CSCD 北大核心 2007年第1期179-182,共4页; 建立了一阶模糊语言φ的α[I]-真公式,可达α^(+)[I]-真公式,可数解释模型{I_(m)}(α-逻辑有效公式),可达{I_(m)}(α-逻辑有效公式)及{I_(m)}(α^(+)-逻辑有效公式)的理论,并讨论了它们的一系列性质及其在近似推理中的应用。; 关键词一阶模糊语言 α[I]-真公式可数解释模型{I_(m)} {I_(m)}(α-逻辑有效公式); 在线阅读下载PDF 职称材料

解释模型类理论及其极小三I-算法: 4; 作者张兴芳《计算机工程与应用》 CSCD 北大核心 2009年第26期30-33,64,共5页; 首先在多类(many-sorted)一阶形式系统Luk ms、Gd ms,∏ ms和L*ms中通过引入多类一阶模糊语言Lms的解释模型类及基于解释模型类的α-逻辑有效公式的概念,建立了多类一阶模糊语言的解释模型类理论;然后,基于上述理论探讨了模... 展开更多; 关键词模糊推理多类一阶模糊语言解释模型类 α-逻辑有效公式; 在线阅读下载PDF 职称材料

题名判例类比推理的逻辑被引量：1: 1; 作者孔红; 机构中国政法大学人文学院; 出处《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2013年第4期26-30,共5页; 文摘判例类比推理是法律推理的一种基本模式。判例类比推理最重要的环节是判断两个案件的同异关系。普通语言描述的案件都是独一无二的,任何两个案件都不会有完全相同的经验事实。案件的同异比较是相对于抽象的法律语言而言的。在一阶逻辑的形式语言上添加表达相关法律概念的语词,得到作为案件同异比较参照标准的背景语言L,并将被比较的两个案件处理为语言L的两个模型,基于模型同构的定义给出了案件同异比较的严格标准,回答了判例类比推理的逻辑正当性问题。; 关键词判例类比推理一阶语言关系结构同构; 分类号 B81 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名ATMS的模型论基础: 2; 作者张玉平怀进鹏; 机构北京航空航天大学计算机科学与工程系; 出处《计算机学报》 EI CSCD 北大核心 1996年第9期668-672,共5页; 基金航空高等院校自选科研课题基金国家自然科学基金; 文摘本文将每个ＡＴＭＳＫ转化为一阶语言Ｌｘ的模型ＭＫ，模型ＭＫ是语言ＬＫ的一阶理论ＴＫ的模型．应用非单调推理理论中的谓词限定的技巧，可以构造出ＬＫ的理论ＴＫＰＣ，使得ＭＫ是ＴＫＰＣ的唯一模型．同时，语言ＬＫ还包含关系符号ξ，使得对每个ｎ，｛Ｅ｜ＭＫ｜＝ｎξＥ｝是ｎ相对于ＡＴＭＳＫ的标号．; 关键词一阶语言模型论 ATMS; Keywords First-order language, model theory, ATMS; 分类号 O141.4 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名{I_(m)}(α-逻辑有效公式)的理论及其应用被引量：6: 3; 作者张兴芳孟广武赵峰张安英; 机构聊城大学数学科学学院; 出处《工程数学学报》 CSCD 北大核心 2007年第1期179-182,共4页; 基金山东省自然科学基金(Y2003A01); 文摘建立了一阶模糊语言φ的α[I]-真公式,可达α^(+)[I]-真公式,可数解释模型{I_(m)}(α-逻辑有效公式),可达{I_(m)}(α-逻辑有效公式)及{I_(m)}(α^(+)-逻辑有效公式)的理论,并讨论了它们的一系列性质及其在近似推理中的应用。; 关键词一阶模糊语言 α[I]-真公式可数解释模型{I_(m)} {I_(m)}(α-逻辑有效公式); Keywords first-order fuzzy language α[I]-truth formula enumerable interpretation model(I_(m)} {I_(m)}(α-logics effective formula); 分类号 O141.1 [理学—基础数学] O189.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名解释模型类理论及其极小三I-算法: 4; 作者张兴芳; 机构聊城大学数学科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2009年第26期30-33,64,共5页; 基金国家自然科学基金No.60875034~~; 文摘首先在多类(many-sorted)一阶形式系统Luk ms、Gd ms,∏ ms和L*ms中通过引入多类一阶模糊语言Lms的解释模型类及基于解释模型类的α-逻辑有效公式的概念,建立了多类一阶模糊语言的解释模型类理论;然后,基于上述理论探讨了模糊推理算法(CRI及三I算法)与其理论Γ-推理的关系,从而进一步奠定了模糊推理的理论基础,同时得到一种新型的模糊推理算法,称为极小三I算法。; 关键词模糊推理多类一阶模糊语言解释模型类 α-逻辑有效公式; Keywords fuzzy reasoning many-sorted first-order fuzzy language interpretation model class α-logical effective formulas; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料