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

中介命题逻辑一种新的无穷值语义模型及意义被引量：5: 1; 作者张胜礼潘正华《计算机工程与应用》 CSCD 北大核心 2010年第31期45-49,71,共6页; 中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一... 展开更多; 关键词中介命题逻辑三值模型无穷值模型完备性可靠性; 在线阅读下载PDF 职称材料

基于中介逻辑的模糊知识表示及应用被引量：8: 2; 作者王岑潘正华《计算机工程与科学》 CSCD 2008年第11期80-82,108,共4页; 本文基于中介逻辑理论,在知识描述中区分知识的"矛盾"与"对立",肯定对立的模糊概念之间存在中介对象(中介概念),将矛盾否定与对立否定运用于知识表示中;并以一金融决策实际问题为例,采用距离比率函数为模糊谓词表... 展开更多; 关键词模糊知识表示中介逻辑无穷值模型真值程度; 在线阅读下载PDF 职称材料

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

中介命题逻辑的一种无穷值语义模型及其意义被引量：3: 4; 作者潘正华《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期158-164,共7页; 中介逻辑(medium logic,ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在此模型下具有可靠性与... 展开更多; 关键词中介命题逻辑三值模型有穷和无穷值模型完备性可靠性; 在线阅读下载PDF 职称材料

具有两种否定的描述逻辑系统MALC 被引量：1: 5; 作者程天笑潘正华《计算机工程与科学》 CSCD 2008年第11期65-67,91,共4页; 否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明:信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定。本文将模糊... 展开更多; 关键词描述逻辑ALC 中介逻辑中介无穷值语义模型; 在线阅读下载PDF 职称材料

中小型果品企业商业模式选择机制及启示——以张家港市万家乐果品有限公司为例被引量：1: 6; 作者陈东平陈跃《安徽农业科学》 CAS 2017年第7期233-235,共3页; 我国果品企业普遍存在规模较小、资源有限的特征,具有天然的弱质性。张家港市万家乐果品有限公司作为中小型果品企业的一个典型代表,利用其完善的商业模式有效地回避了自身的劣势,集中资源和能力为特定客户提供优质的梨果产品,在当地果... 展开更多; 关键词模式选择客户细分价值主张中小型企业; 在线阅读下载PDF 职称材料

模糊知识的不同否定及其在投资决策中的应用(英文): 7; 作者潘正华王岑《计算机科学与探索》 CSCD 2011年第7期662-671,共10页; 在模糊知识中存在三种不同的否定,即矛盾否定、对立否定和中介否定,基于中介谓词逻辑MF与其无穷值语义解释Φ,研究了模糊知识及其三种否定的表示与推理,并在一个金融投资决策实例中进行了应用。引入了一种新的与Φ中参数λ相关的模糊产... 展开更多; 关键词模糊知识的否定模糊知识的表示与推理中介逻辑及其无穷值解释模糊产生式规则金融投资决策; 在线阅读下载PDF 职称材料

基于中介逻辑的模糊推理算法被引量：2: 8; 作者张丽珍潘正华《计算机工程与科学》 CSCD 北大核心 2010年第9期65-68,共4页; 中介逻辑系统完整地反映了知识中的矛盾和对立等否定关系。针对具体处理模糊知识的需要,本文首先改进了中介无穷值语义模型,对其进行了语义描述;在此基础上扩展了Zadeh提出的近似推理方法即CRI算法,给出了基于中介逻辑思想的一种更为具... 展开更多; 关键词中介逻辑无穷值语义模型 CRI算法模糊假言推理; 在线阅读下载PDF 职称材料

题名中介命题逻辑一种新的无穷值语义模型及意义被引量：5: 1; 作者张胜礼潘正华; 机构兴义民族师范学院计算机科学系江南大学理学院; 出处《计算机工程与应用》 CSCD 北大核心 2010年第31期45-49,71,共6页; 基金国家自然科学基金No.60973156~~; 文摘中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一种真值域为[0λ)(λ1](λ?(0.51))的无穷值语义模型,研究了它的性质,证明了中介命题逻辑在该模型下也具有可靠性与完备性。新模型的存在进一步表明,认定中介逻辑是一种三值逻辑的理由是不充分的。新模型不仅反映了中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了基础。; 关键词中介命题逻辑三值模型无穷值模型完备性可靠性; Keywords medium proposition logic three-valued model infinite-valued model completeness soundness; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于中介逻辑的模糊知识表示及应用被引量：8: 2; 作者王岑潘正华; 机构江南大学理学院; 出处《计算机工程与科学》 CSCD 2008年第11期80-82,108,共4页; 基金国家自然科学基金资助项目(60575038); 文摘本文基于中介逻辑理论,在知识描述中区分知识的"矛盾"与"对立",肯定对立的模糊概念之间存在中介对象(中介概念),将矛盾否定与对立否定运用于知识表示中;并以一金融决策实际问题为例,采用距离比率函数为模糊谓词表达式赋予属于[0,1]区间的真值,结合中介谓词逻辑的无穷值语义模型与具体情形,给出了模型中变量(取值的一种确定方法及其意义,最后通过一具体实例讨论了模糊知识推理。; 关键词模糊知识表示中介逻辑无穷值模型真值程度; Keywords fuzzy knowledge representation medium logic infinite-valued model truth value; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名中介谓词逻辑系统的λ-归结被引量：12: 3; 作者潘正华; 机构江南大学理学院; 出处《软件学报》 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 职称材料

题名中介命题逻辑的一种无穷值语义模型及其意义被引量：3: 4; 作者潘正华; 机构江南大学理学院数理研究所; 出处《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期158-164,共7页; 基金国家自然科学基金项目(60575038); 文摘中介逻辑(medium logic,ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在此模型下具有可靠性与完备性.此模型的存在表明,认定中介逻辑是一种三值逻辑的理由是不充分的.该模型更适合反映中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了一个基础.; 关键词中介命题逻辑三值模型有穷和无穷值模型完备性可靠性; Keywords medium proposition logic three-valued model infinite-valued model completeness reliability; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名具有两种否定的描述逻辑系统MALC 被引量：1: 5; 作者程天笑潘正华; 机构江南大学理学院; 出处《计算机工程与科学》 CSCD 2008年第11期65-67,91,共4页; 基金国家自然科学基金资助项目(60575038); 文摘否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明:信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词?引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模糊知识的能力。同时,文章给出了基于中介无穷值语义模型的语义解释;在推理机制上,给出了可满足性的定义和可满足性的Tableau算法。; 关键词描述逻辑ALC 中介逻辑中介无穷值语义模型; Keywords description logic ALC medium logic infinite valued model of medium proposition logic; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名中小型果品企业商业模式选择机制及启示——以张家港市万家乐果品有限公司为例被引量：1: 6; 作者陈东平陈跃; 机构南京农业大学金融学院; 出处《安徽农业科学》 CAS 2017年第7期233-235,共3页; 基金江苏省农业科技自主创新资金项目[CX(15)1023]; 文摘我国果品企业普遍存在规模较小、资源有限的特征,具有天然的弱质性。张家港市万家乐果品有限公司作为中小型果品企业的一个典型代表,利用其完善的商业模式有效地回避了自身的劣势,集中资源和能力为特定客户提供优质的梨果产品,在当地果品市场上获得了经济和社会的双重效益。中小型果品企业为避免退出市场并获得成功,可以选择识别和开发当地的"利基"市场,并将特定客户的需求和产品供给进行匹配。通过案例分析,为具备条件的中小型果品企业的商业模式选择提供了思路。; 关键词模式选择客户细分价值主张中小型企业; Keywords model selection Customer segmentation Value proposition Small and medium enterprise; 分类号 S9 [农业科学—水产科学]; 在线阅读下载PDF 职称材料

题名模糊知识的不同否定及其在投资决策中的应用(英文): 7; 作者潘正华王岑; 机构江南大学理学院数理研究所; 出处《计算机科学与探索》 CSCD 2011年第7期662-671,共10页; 基金 The National Natural Science Foundation of China under Grant No.60973156 the Program for Innovative Research Team of Jiangnan University~~; 文摘在模糊知识中存在三种不同的否定,即矛盾否定、对立否定和中介否定,基于中介谓词逻辑MF与其无穷值语义解释Φ,研究了模糊知识及其三种否定的表示与推理,并在一个金融投资决策实例中进行了应用。引入了一种新的与Φ中参数λ相关的模糊产生式规则,讨论了实例中的模糊知识及其三种不同否定的推理算法与实现。; 关键词模糊知识的否定模糊知识的表示与推理中介逻辑及其无穷值解释模糊产生式规则金融投资决策; Keywords negations of fuzzy knowledge representation and reasoning of fuzzy knowledge medium logic andits infinite-valued interpretation fuzzy production rule decision making in financial investment; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于中介逻辑的模糊推理算法被引量：2: 8; 作者张丽珍潘正华; 机构江南大学理学院; 出处《计算机工程与科学》 CSCD 北大核心 2010年第9期65-68,共4页; 基金国家自然科学基金资助项目(60973156); 文摘中介逻辑系统完整地反映了知识中的矛盾和对立等否定关系。针对具体处理模糊知识的需要,本文首先改进了中介无穷值语义模型,对其进行了语义描述;在此基础上扩展了Zadeh提出的近似推理方法即CRI算法,给出了基于中介逻辑思想的一种更为具体的算法,并通过一具体的例子进行了说明分析。; 关键词中介逻辑无穷值语义模型 CRI算法模糊假言推理; Keywords medium logic infinite-value semantic model CRI algorithm compositional rule of inference; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	中介命题逻辑一种新的无穷值语义模型及意义	张胜礼潘正华	《计算机工程与应用》 CSCD 北大核心	2010	5	在线阅读下载PDF 职称材料
2	基于中介逻辑的模糊知识表示及应用	王岑潘正华	《计算机工程与科学》 CSCD	2008	8	在线阅读下载PDF 职称材料
3	中介谓词逻辑系统的λ-归结	潘正华	《软件学报》 EI CSCD 北大核心	2003	12	在线阅读下载PDF 职称材料
4	中介命题逻辑的一种无穷值语义模型及其意义	潘正华	《计算机研究与发展》 EI CSCD 北大核心	2008	3	在线阅读下载PDF 职称材料
5	具有两种否定的描述逻辑系统MALC	程天笑潘正华	《计算机工程与科学》 CSCD	2008	1	在线阅读下载PDF 职称材料
6	中小型果品企业商业模式选择机制及启示——以张家港市万家乐果品有限公司为例	陈东平陈跃	《安徽农业科学》 CAS	2017	1	在线阅读下载PDF 职称材料
7	模糊知识的不同否定及其在投资决策中的应用(英文)	潘正华王岑	《计算机科学与探索》 CSCD	2011	0	在线阅读下载PDF 职称材料
8	基于中介逻辑的模糊推理算法	张丽珍潘正华	《计算机工程与科学》 CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料