格值语义归结推理方法 被引量：8

1

作者 张家锋 徐扬 何星星 《计算机科学》 CSCD 北大核心 2011年第9期201-203,210,共4页

归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比... 归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。 展开更多

关键词 格蕴涵代数 格值命题逻辑系统LP(X) 自动推理 语义归结方法

下载PDF 职称材料

格值一阶逻辑LF(X)中的α-语义归结方法 被引量：2

2

作者 张家锋 徐扬 《计算机科学》 CSCD 北大核心 2014年第9期274-278,共5页

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值... 自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。 展开更多

关键词 自动推理 语义归结 格值逻辑 格蕴涵代数

下载PDF 职称材料

格值命题逻辑系统LP(X)的语义归结方法 被引量：2

3

作者 张家锋 徐扬 何星星 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2011年第4期611-614,共4页

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。

关键词 自动推理 语义归结方法 格值逻辑 格蕴涵代数 α-归结原理

下载PDF 职称材料

属性探索算法在知识发现中的应用研究

4

作者 张维 赵小香 +1 位作者 曹发生 余泉 《毕节学院学报（综合版）》 2010年第4期1-8,共8页

从人工智能的角度考虑,在具体的知识领域中,所有个体和属性构成了不同的形式背景。对于属性集合有穷,但是所有个体集合基数很大甚至无穷的研究领域的形式背景。我们设计扩充的属性探索算法求特定知识领域的Duquenne-Guigues基,并通过实... 从人工智能的角度考虑,在具体的知识领域中,所有个体和属性构成了不同的形式背景。对于属性集合有穷,但是所有个体集合基数很大甚至无穷的研究领域的形式背景。我们设计扩充的属性探索算法求特定知识领域的Duquenne-Guigues基,并通过实例计算展示算法的功能。 展开更多

关键词 属性探索算法 知识领域 Duquenne—Guigues基

下载PDF 职称材料

格蕴涵代数LI-理想的粗糙性

5

作者 张家锋 何星星 《河南科技大学学报（自然科学版）》 CAS 北大核心 2011年第5期64-67,2,共4页

粗糙集的代数分析是粗糙集理论研究的一个重要方向,为了用代数的手段研究粗糙集,将粗糙集理论应用于格蕴涵代数,利用LI-理想诱导的同余关系,引入了格蕴涵代数的上、下粗糙LI-理想的概念,并讨论了粗糙LI-理想的相关性质。

关键词 格蕴涵代数 LI-理想 粗糙LI-理想

下载PDF 职称材料

四值非链格值命题逻辑系统L_4P(X)的语义归结方法

6

作者 张家锋 徐扬 何星星 《计算机应用研究》 CSCD 北大核心 2011年第9期3226-3228,3238,共4页

为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中... 为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。 展开更多

关键词 格蕴涵代数 自动推理 语义归结方法 四值命题逻辑系统

下载PDF 职称材料

格L的元与主同余的关系 被引量：7

7

作者 曹发生 王驹 蒋运承 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第12期87-91,共5页

先分析主同余公式,通过构造出具体的主同余公式得到格L的元与它的主同余的关系;然后利用主同余的定义给出了分配格的主同余的一个判定条件.

关键词 格 主同余 主同余公式

下载PDF 职称材料

R0-代数滤子的粗糙性 被引量：5

8

作者 张家锋 邵迎超 秦克云 《模糊系统与数学》 CSCD 北大核心 2010年第6期163-167,共5页

把粗糙集理论应用于R0-代数,引入了R0-代数的上、下粗糙滤子的概念,并讨论了R0-代数的粗糙滤子的相关性质。

关键词 粗糙集 R0-代数 滤子 粗糙滤子

原文传递

贵州威宁方言单字调声学实验分析 被引量：5

9

作者 明茂修 《黔南民族师范学院学报》 2011年第5期16-23,共8页

传统上对威宁方言单字调的研究历来存在一定的分歧,而基于多个发音人运用语音实验的方法对威宁方言的单字调进行分析,可以解释这种分歧的原因。从实验结果及分析可知传统上威宁方言单字调的分歧实为同一调类调值的不同变体之间的分歧。

关键词 威宁方言 语音实验 单字调 声调格局 基频 LZ值 调值 时长

下载PDF 职称材料

位移动词“去”、“往”的语法分化及认知分析 被引量：2

10

作者 周北南 王春梅 《毕节学院学报（综合版）》 2009年第9期85-87,共3页

通过考察位移动词"去"、"往"的语义语法在历时上的演变情况,结合现代汉语词典的解释,"去"、"往"的词义和语法功能的演变轨迹可归纳为两次分化:第一次是由动词分化出名词或形容词;第二次再分化... 通过考察位移动词"去"、"往"的语义语法在历时上的演变情况,结合现代汉语词典的解释,"去"、"往"的词义和语法功能的演变轨迹可归纳为两次分化:第一次是由动词分化出名词或形容词;第二次再分化出介词。并且,这种分化可以从认知语言学理论中得到相关理据。 展开更多

关键词 位移动词 语法分化 认知

下载PDF 职称材料

格值命题逻辑LP(X)中的语义归结方法 被引量：3

11

作者 张家锋 徐扬 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2010年第5期767-770,共4页

为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。

关键词 自动推理 语义归结方法 格值逻辑 格蕴涵代数

下载PDF 职称材料

山东费县(刘庄)方言音系 被引量：3

12

作者 明茂修 《毕节学院学报（综合版）》 2011年第5期72-75,共4页

费县(刘庄)方言包含24个声母、37个韵母和4个声调,体现的是老派方言的语音系统。从其语音特点来看,费县(刘庄)方言兼有中原官话和冀鲁官话的特点,属于带有冀鲁官话性质的中原官话。

关键词 费县(刘庄)方言 语音系统 语音特点 中原官话

下载PDF 职称材料

描述逻辑系统εLN中概念最小公共包含推理研究 被引量：2

13

作者 张维 曹发生 +1 位作者 余泉 王驹 《计算机工程与科学》 CSCD 北大核心 2012年第2期139-145,共7页

描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能... 描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的。随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题。本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法。首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法。然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的。 展开更多

关键词 描述逻辑 描述树 同态 最小公共包含

下载PDF 职称材料

贵州省汉语方言调查研究的现状与思考 被引量：2

14

作者 明茂修 《毕节学院学报（综合版）》 2010年第1期90-92,共3页

贵州省汉语方言的调查研究工作已经获得了很大发展,但相对于全国其他许多省市来说,还存在一定差距。要促进贵州省汉语方言的调查研究,应该在专门人才的培养、学术水平的提升、学术交流的加强和研究资金的支持等方面多作努力。

关键词 贵州省 汉语方言 调查研究

下载PDF 职称材料

毕节方言地名词语源系统探析 被引量：2

15

作者 王兆春 《毕节学院学报（综合版）》 2010年第1期99-103,共5页

毕节方言地名词有两大语源:其一为外来汉语地名,包括两种情况,即由汉族移民异地移植的地名(如古南京地名)和按汉语命名方式命名的地名(如府、县、乡、村、铺、伍、所等通名)。其二为借词地名,即源于各少数民族语并已经通用的地名。毕节... 毕节方言地名词有两大语源:其一为外来汉语地名,包括两种情况,即由汉族移民异地移植的地名(如古南京地名)和按汉语命名方式命名的地名(如府、县、乡、村、铺、伍、所等通名)。其二为借词地名,即源于各少数民族语并已经通用的地名。毕节方言地名系统来源的多元化特征,也折射出其所独具的多元价值和意义。 展开更多

关键词 毕节方言 地名词 语源 多元化

下载PDF 职称材料

认知语言学视野下的转喻研究 被引量：1

16

作者 马克冬 《毕节学院学报（综合版）》 2009年第9期88-91,共4页

从认知语言学角度出发,对转喻及其相关内容进行分析,涉及其定义、认知解读、与隐喻的区别以及分类等方面。转喻不仅仅是一种语言现象,更是一种概念现象;不仅仅是一种辞格,更是一种认知过程。转喻遵循的认知原则有邻近原则和凸显原则,隐... 从认知语言学角度出发,对转喻及其相关内容进行分析,涉及其定义、认知解读、与隐喻的区别以及分类等方面。转喻不仅仅是一种语言现象,更是一种概念现象;不仅仅是一种辞格,更是一种认知过程。转喻遵循的认知原则有邻近原则和凸显原则,隐喻则是根据事物的相似性来进行的。 展开更多

关键词 认知语言学 转喻 概念现象 认知过程

下载PDF 职称材料

遵义方言单字调实验研究 被引量：2

17

作者 明茂修 《遵义师范学院学报》 2009年第6期56-61,共6页

运用语音实验的方法对遵义方言单字调的基频、音强和时长进行研究,把该方言单字调的实际情况客观地描写出来,为遵义方言的深入研究提供参考。根据实验结果,遵义方言单字调的实验调值为阴平45,阳平41,上声52,去声22。

关键词 遵义方言 单字调 语音实验 基频 音强 LZ值 时长

下载PDF 职称材料

中国古代数学中的逻辑机制与推理程序研究——以“测量术”为例 被引量：2

18

作者 杨岗营 《前沿》 北大核心 2010年第14期57-60,共4页

"推类"是中国古代逻辑的主导类型,是以事物间"类同"关系为依据的推理形式。在人文社会科学领域,"推类"属或然性推理,称之为"人文推类";在中国古代数学中,存在着另一种具有演绎推理性质的"... "推类"是中国古代逻辑的主导类型,是以事物间"类同"关系为依据的推理形式。在人文社会科学领域,"推类"属或然性推理,称之为"人文推类";在中国古代数学中,存在着另一种具有演绎推理性质的"推类",其前提与结论的联系具有必然性,这种推类属必然性推理,称之为"科技推类"。本文以"测量术"为例,初步揭示了"科技推类"的逻辑机制和推理程序。 展开更多

关键词 逻辑 中国逻辑 “科技推类”

原文传递

循环自动机的等价性 被引量：1

19

作者 黄飞丹 曹发生 《计算机工程与应用》 CSCD 北大核心 2011年第7期34-35,88,共3页

主要讨论了两个循环有限自动机的等价性与循环有限自动机的生成子之间的关系,在某些条件下给出了两个循环有限自动机等价的充分必要条件。

关键词 循环有限自动机 等价 极小有限自动机

下载PDF 职称材料

描述逻辑系统εLN中的概念包含推理算法研究 被引量：1

20

作者 张维 曹发生 余泉 《毕节学院学报（综合版）》 2010年第8期9-13,共5页

首先我们在F Baader给出的εL概念描述树基础上给出了εLN中概念描述树的定义,然后定义了εLN中概念描述树之间的同态关系,最后通过计算两棵概念描述树之间的同态给出了εLN中概念之间的相互包含关系算法。

关键词 描述逻辑 概念描述树 同态 算法

下载PDF 职称材料