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

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

格值命题逻辑LP(X)中的语义归结方法

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

遵义方言单字调实验研究

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

格值命题逻辑系统Ln×2P(X)中广义文字的α-归结性

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑中一阶不可分极简式1-IESF和其他一些广义文字的α-归结性,得到了两个广义文字可进行α-归结的条件,以期能对基于格值逻辑的归结自动推理提供一些必要的理论支持.

六盘水(六枝)方言声调实验研究

运用语音实验的方法对六盘水(六枝)方言声调的基频、音强和时长进行研究,把该方言声调的实际情况客观地描写出来,为六盘水(六枝)方言的深入研究提供参考。根据实验结果,六盘水(六枝)方言声调的实验调值为阴平55,阳平31,上声54,去声13。

格L的元与主同余的关系

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

循环自动机的等价性

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

论语义场理论在现代汉语教学中的意义

语义研究在语言学中的重要地位不容忽视。现代汉语教学中理应借鉴语义学先进理论,对语义场理论和义素分析法做出具体的阐述,明确其在语言教学中的应用价值。