属性探索算法研究

Baader等人于2004～2007年将FCA方法引入描述逻辑中,建立了初步的属性探索算法。介绍了他们提出的属性探索算法,研究了该算法会产生冗余计算的可能情形。从相关性的角度提出了两种改进算法,并证明了它们的正确性。改进的算法在一定程度上避免了冗余,简化了计算。     

模态描述逻辑MALC模型的几个代数性质

本文定义了MALC模型间的同构、同态等关系,并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟,得到MALC的合式公式在拓扑互模拟下具有不变性。     

基于保守扩充理论的模块化本体重用

分析了本体重用的研究现状和目前重用方法只适用于单个独立本体的不足,以ε-Connections语言构建的模块化本体库为研究对象,基于保守扩充理论提出了本体模块知识完整性概念,并证明了知识完整性的相关性质.在此基础上,给出了一种针对模块化本体库的保守扩充重用算法ERMMO（extracting reused modules from modularontologies）,讨论了该算法的两种子算法EMMO_IK和EMO_IK的特点及适用条件.分析并验证了ERMMO算法的可行性和正确性.ERMMO算法是当前保守扩充重用算法的一般化扩充,对模块化思想应用于本体重用问题有所启示.     

事件常识的获取方法研究

在动态语义学的基础上,以事件的语义、文法和常识为标准构建多层次的事件分类体系,并使用该分类体系提取事件的常识知识。事件采用框架的方式来表示,称为事件框架。事件框架的内容包括事件的定义、事件之间的关系、事件的文法表达、事件的谓词表示、事件的例句、事件的前提常识和后果常识。利用事件框架的内容提取事件的常识。为了说明该方法的实用性,以事件分类体系中典型的“交易类”事件为例来描述事件常识的获取方法。     

模糊描述逻辑(&)-ALCN

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的(&)-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的(&)-ALCN系统,给出了(&)-ALCN的语法,并详细给出了概念(≥n R)和(≤n R)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合D(&)(c),并且利用集合D(&)(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于(&)-ALC,系统(&)-ALCN具有更强的表达能力,并且(&)-ALCN的计算复杂度是Pspace完全的.     

模糊描述逻辑L-ALCN

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统．在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了望ALCN的语法,并详细给出了概念（≥n R）和（≤n R）的语义．经典的描述逻辑系统中引入了数量约束算子后,角色尺就出现了多个后继．当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个．为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合DL（c）,并且利用集合DL（c）扩展了完备格上的两条运算性质．在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性．相对于L-ALC,系统L-ALCN具有更强的表达能力,并且L-ALCN的计算复杂度是Pspace完全的．     

基于最大不动点模型的描述逻辑系统FLε的有穷基

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴舍和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.     

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

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

侧限状态下高压实高庙子膨润土非饱和渗透性的试验研究

高放废弃物深地质处置库中,由高压实膨润土形成的人工屏障,起着阻障围岩中地下水渗入内库并引起核素迁移以及库内高放废物的辐射扩散的作用。因此,有必要研究侧限状态下高压实膨润土的非饱和渗透性能。采用瞬时截面法试验研究了侧限状态下高压实高庙子膨润土的非饱和渗透特性。结果表明:侧限状态下,干密度为1.7g/cm3的高压实高庙子膨润土的非饱和渗透系数,数值为1.13×10-13～8.41×10-15m/s,且与土中吸力呈非单一增减关系。当土中吸力约为68MPa时,非饱和渗透系数最小;吸力大于68MPa时,其非饱和渗透系数随着吸力的增加而增加;而当吸力小于68MPa时,非饱和渗透系数随着土中吸力的增加而减小。     

高庙子膨润土的胀缩变形特性及其影响因素研究

以高庙子钠基膨润土为对象,研究了干密度、竖向压力、浸泡液体、吸湿方式对其膨胀变形的影响,探讨了浸泡液体变化引起的渗析变形以及加卸载循环中的变形规律。试验表明膨润土的水–力–化学耦合作用非常复杂:干密度、竖向压力、浸泡溶液及其浓度均对膨润土的膨胀变形有显著影响;无荷状态下,饱和蒸气吸湿与浸水饱和两种方法得到的膨胀变形存在巨大差异;先在氯化钠溶液、再在蒸馏水中浸泡的试样的膨胀变形小于直接在蒸馏水中浸泡的试样的膨胀变形。浸泡液体由氯化钠溶液调整为蒸馏水,试样膨胀;而由蒸馏水换为氯化钠溶液,试样则压缩。在高浓度盐溶液中浸泡的初始干密度低的试样,浸泡液体调整为蒸馏水后,初始可产生压缩变形。加卸载循环中的规律比较独特,既表现出塑性压缩变形,亦存在塑性膨胀变形,用巴塞罗那膨胀土模型对其进行了解释。