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

中介谓词逻辑系统的λ-归结被引量：12: 1; 作者潘正华《软件学报》 EI CSCD 北大核心 2003年第3期345-349,共5页; 给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的λ解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.; 关键词中介谓词逻辑系统 Λ-归结语义解释无穷值语义解释 λ-可满足性半可判定算法; 在线阅读下载PDF 职称材料

谓词逻辑系统MTL■中公式的公理化真度: 2; 作者王波惠小静鲁星《浙江大学学报（理学版）》 CAS CSCD 北大核心 2022年第5期521-526,548,共7页; 命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL■中,利用公理化方法提出了MTL■公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时在谓词逻辑系统MTL■的一阶闭逻辑公式集中引入了相似... 展开更多; 关键词谓词逻辑系统MTL■ 公理化真度相似度伪距离; 在线阅读下载PDF 职称材料

卡尔纳普归纳逻辑系统在知识获取中的应用: 3; 作者陈炜杨莉《南京师大学报（社会科学版）》 CSSCI 1990年第3期26-32,共7页; 本文简要地讨论了Carnap归纳逻辑系统以及该系统在人工智能中进行实际应用的困难与可能性,着重分析了Carnap系统的一个可能应用领域——基于概念学习的知识获取,最后给出了我们在micro VAXⅡ上使用Prolog所实现的一个知识获取算法CAA,... 展开更多; 关键词知识获取人工智能智能系统状态描述推理算法谓词属性值应用领域实际应用归纳逻辑系统; 在线阅读下载PDF 职称材料

广义量词理论述评: 4; 作者张维真《中州学刊》 CSSCI 北大核心 1994年第6期52-55,84,共5页; 广义量词理论述评张维真（天津市委党校）通常，现代逻辑只研究和运用两类量词：全称量词和存在量词，广义量词理论则对逻辑量词进行了充分的推广，从而极大地提高了逻辑的表达能力。广义量词理论始于五十年代末期，但它发展很快，已成... 展开更多; 关键词广义量词全称量词自然语言逻辑一阶逻辑逻辑量词存在量词表达能力一阶谓词逻辑逻辑系统限定词; 在线阅读下载PDF 职称材料

离散数学中与量词有关的推理规则被引量：2: 5; 作者何自强《北京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第4期432-434,共3页; 清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件 ,而这些条件在许多离散数学教科书中叙述得相当含糊 .与某些教科书中存在量词消去规则只能用于无自由变元的公式不同 ,按照本文给出的条件 ,存在量词消去规... 展开更多; 关键词谓词逻辑逻辑系统离散数学可靠性量词; 在线阅读下载PDF 职称材料

题名中介谓词逻辑系统的λ-归结被引量：12: 1; 作者潘正华; 机构江南大学理学院; 出处《软件学报》 EI CSCD 北大核心 2003年第3期345-349,共5页; 基金 Supported by the Basic Research Foundation of Southern Yangtze University of China under Grant No.JYJ01-01-08 (江南大学基础研究基金); 文摘给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的λ解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.; 关键词中介谓词逻辑系统 Λ-归结语义解释无穷值语义解释 λ-可满足性半可判定算法; Keywords medium predicate logic system semantic interpretation semantic interpretation of infinitely value l-satisfiability l-resolution; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名谓词逻辑系统MTL■中公式的公理化真度: 2; 作者王波惠小静鲁星; 机构延安大学数学与计算机科学学院; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2022年第5期521-526,548,共7页; 基金国家自然科学基金资助项目(11471007,61763045)。; 文摘命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL■中,利用公理化方法提出了MTL■公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时在谓词逻辑系统MTL■的一阶闭逻辑公式集中引入了相似度和伪距离,证明了关于相似度的一些良好性质,并讨论了逻辑运算关于伪距离的连续性问题。; 关键词谓词逻辑系统MTL■ 公理化真度相似度伪距离; Keywords predicate logic system MTL■ axiomatic truth degree similarity degree pseudo-distances; 分类号 O141.5 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名卡尔纳普归纳逻辑系统在知识获取中的应用: 3; 作者陈炜杨莉; 出处《南京师大学报（社会科学版）》 CSSCI 1990年第3期26-32,共7页; 基金国家社会科学基金"归纳逻辑与人工智能"; 文摘本文简要地讨论了Carnap归纳逻辑系统以及该系统在人工智能中进行实际应用的困难与可能性,着重分析了Carnap系统的一个可能应用领域——基于概念学习的知识获取,最后给出了我们在micro VAXⅡ上使用Prolog所实现的一个知识获取算法CAA,此算法运用Carnap归纳逻辑系统的相应理论和方法对所获取的知识进行了评估和证实。; 关键词知识获取人工智能智能系统状态描述推理算法谓词属性值应用领域实际应用归纳逻辑系统; 分类号 G65 [文化科学—教育学] C55 [社会学]; 在线阅读下载PDF 职称材料

题名广义量词理论述评: 4; 作者张维真; 机构天津市委党校; 出处《中州学刊》 CSSCI 北大核心 1994年第6期52-55,84,共5页; 文摘广义量词理论述评张维真（天津市委党校）通常，现代逻辑只研究和运用两类量词：全称量词和存在量词，广义量词理论则对逻辑量词进行了充分的推广，从而极大地提高了逻辑的表达能力。广义量词理论始于五十年代末期，但它发展很快，已成为数理逻辑中一个相对独立的研究领域...; 关键词广义量词全称量词自然语言逻辑一阶逻辑逻辑量词存在量词表达能力一阶谓词逻辑逻辑系统限定词; 分类号 B812.22 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名离散数学中与量词有关的推理规则被引量：2: 5; 作者何自强; 机构北京航空航天大学计算机科学与工程系; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第4期432-434,共3页; 文摘清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件 ,而这些条件在许多离散数学教科书中叙述得相当含糊 .与某些教科书中存在量词消去规则只能用于无自由变元的公式不同 ,按照本文给出的条件 ,存在量词消去规则也可以用于有自由变元的公式 ,因而增强了系统的推理能力 .引进了解释之间和赋值之间关于公式集的等价性 ,从而证明了系统是可靠的。; 关键词谓词逻辑逻辑系统离散数学可靠性量词; Keywords predicate logic logical systems discrete mathematics soundness quantifier; 分类号 O141.12 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	中介谓词逻辑系统的λ-归结	潘正华	《软件学报》 EI CSCD 北大核心	2003	12	在线阅读下载PDF 职称材料
2	谓词逻辑系统MTL■中公式的公理化真度	王波惠小静鲁星	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2022	0	在线阅读下载PDF 职称材料
3	卡尔纳普归纳逻辑系统在知识获取中的应用	陈炜杨莉	《南京师大学报（社会科学版）》 CSSCI	1990	0	在线阅读下载PDF 职称材料
4	广义量词理论述评	张维真	《中州学刊》 CSSCI 北大核心	1994	0	在线阅读下载PDF 职称材料
5	离散数学中与量词有关的推理规则	何自强	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2000	2	在线阅读下载PDF 职称材料