循环ALCN-Tbox具有模型的条件

分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.

格L的元与主同余的关系

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

有单位元的环的主同余

通过构造有单位元的环的主同余公式,给出了有单位元的环的主同余刻画;归纳于有单位元的环的一元项的形成和主同余公式的长度,从而给出有单位元的交换环和单位元的环的主同余的判定条件.

描述逻辑系统UEVN中概念的包含关系

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称约束量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要条件。

布尔格的主同余

基于布尔格的次直积同构表示,引入布尔格的元的不可辨下标集的定义,给出布尔格的元的不可辨下标集的简单性质.应用布尔格的元的不可辨下标集给出布尔格的主同余的刻画,并给出有穷布尔格的主同余的基数与布尔格的元的不可辨下标集的基数的联系,从而得到布尔格的主同余的构造方法.

信息系统更新的自动机

通过引入信息等价和信息范式这两个主要概念,给出了信息系统更新的自动机。用自动机理论给出信息系统更新的模型的刻画,证明了星动作算子在信息系统的动态更新的逻辑系统的引入的不必要性,并且得到了自动机的语言和信息更新的联系。最后利用自动机理论研究了信息系统及其更新逻辑系统的模型检测的时间复杂性。

LINGO在形式逻辑中的应用

LINGO是一套专门用于求解最优化问题的软件,利用该软件可以给出求合式公式的真值和判定合式公式可以满足的方法。

具有可定义主同余性质的代数类

给出了三种代数类具有可定义主同余性质的证明。

等价关系的另外两种定义

等价关系是离散数学的一个重点知识,具有自反性、对称性与传递性的关系是等价关系的定义。由经典教材的一个习题出发,引入持续性和欧几里得性的定义,得到关系的上述性质之间的联系。从而给出等价关系的其它两种定义。

开放世界信息更新的逻辑系统

信息系统的粗糙集理论是处理知识表示的一种有效方法.开放类的一个重要特性是其成员可能会增加,部分映射和非满映射为开放世界信息系统的信息表提供了工具.结合开放类和粗糙集逻辑,利用信息系统的粗糙集理论形式化开放世界模型,从而建立开放世界信息更新的逻辑系统.

决策逻辑的图论模型

通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。

基于语义赋值的有穷集合上二元关系性质的判定算法

先将关系的几种性质形式化,再利用语义赋值给出关系性质的判定算法,证明了该算法的可靠性与完备性;分析该算法的复杂性,它们都是多项式复杂的。最后通过实例给出了该算法应用,并用VC程序语言得以实现。

R_0-代数的对偶核的性质

根据R_0-代数中对偶核定义,可讨论它的相关性质,此对偶核是同态原象的一个滤子。

归纳法在描述逻辑中的应用

归纳法在描述逻辑中关于定义、证明和算法三个方面都有应用,在这些应用中归纳法中的基始部分和归纳部分被着重注明。

攀西地区红格钒钛磁铁矿床地球化学异常特征分析及矿床成因探讨

攀西地区基性-超基性含矿岩体以赋存超大型钒钛磁铁矿矿床而闻名于世,是我国重要的铁矿产地和重要的钒钛资源基地。通过对该矿床的地质特征、构造与围岩对成矿的控制作用及地球化学异常特征分析研究,认为红格钒钛磁铁矿成矿物质来源于上地幔,玄武岩浆结晶分异过程中有地壳物质混入地幔物质。矿床的形成对时间与空间要求严格。基性-超基性岩、灯影组白云质灰岩和峨眉山玄武岩是形成红格钒钛磁铁矿床的必要条件。

描述逻辑系统FLEN中概念的最小公共包含算法研究

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.

方程、真值表与状态转换图在逻辑推理中的应用

给出了方程、真值表与状态转换图在逻辑推理中的应用。

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

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

四川里伍铜锌矿田控矿构造特征与找矿预测

里伍铜锌矿田是扬子地台西缘众多铜矿中典型而又独特的一个大型铜多金属矿田。里伍铜矿床自1958年勘探开发以来已历经50余年,逐渐步入危机矿山阶段。以里伍铜锌矿田为研究对象,在系统总结前人资料的基础上,以现代成矿理论与矿田构造理论为指导,通过对矿田控矿构造解析研究,深度探讨了构造与成矿之间的关系,将里伍铜锌矿田控矿构造划分为三级:背形构造、环状剥离断裂构造、片理构造。在总结分析里伍铜锌矿田成矿地质背景、控矿地质条件、矿田成因和成矿规律的基础上,构建了矿田成矿模式,并进行了隐伏矿体预测。

循环自动机的等价性

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