中介命题系统MP推理规则的独立性问题

对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便。现在中介命题系统MP推理规则集S的简化定价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则中有一条可以由S1的其余推理规则推导出来,那么它就是不独立的,可以将其删去而不影响形式系统S1的效力,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统S1的每条推理规则的独立性一一进行了探讨,发现一条不独立的规则,并且证明了其余每条推理规则都独立于其余推理规则。     

实例推理和规则推理在CAD中的集成研究

基于实例的推理（CBR）和基于规则的推理（RBR）是知识工程中两类实用有效的推理方式，其逻辑学基础是类比推理和演绎推理。在复杂内、病态结构的设计问题求解中，上述两类推理方式都得到了广泛而独立的应用。提出一种将CBR与RBR集成的方法，即根据设计过程中各阶段的特点，灵活使用实例推理和规则推理策略去解决工程设计问题， 可提高设计问题求解的效率和有效性。     

基于元推理的专家系统规则调用

本文给出一个基于元推理的专家系统规则调用模型，并给出了运用这一模型的一个实例。     

中介命题系统MP推理规则的简化

对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推规则集S等价的形式推理规则集S1。     

案例推理和规则推理相结合的农业专家系统的研制

简要介绍了基于规则推理建立传统专家系统中遇到的一些问题，同时对基于案例推理的方法进行简单描述，提出了将两者相结合的农业专家系统，设计了该专家系统的整体结构图和工作流程，并对实现系统的部分关键技术进行探讨和构想；最后以马铃薯病害决策为例介绍了系统的工作步骤，验证了以此提高求解问题的可靠性，增强了系统在实际应用中的适用性。     

XML弱多值依赖的推理规则

数据约束是数据库规范化理论的基础,不完全信息引入XML文档后,需要重新定义数据约束。基于XML Schema、符合XML Schema的不完全XML文档树、子树信息等价和子树信息相容等定义给出了XML弱多值依赖的定义和性质;为了研究数据依赖的逻辑蕴涵问题,给出了XML弱多值依赖的推理规则集,并对其正确性进行了证明。以上研究为不完全信息环境下存在XML弱多值依赖的XML文档的规范化研究奠定了基础。     

近似推理中模糊蕴涵算子的构造与选择

针对在基于合成推理规则(CRI)的近似推理研究中,模糊蕴涵算子的选择这一核心问题,对采用t-范数与t-余范数以及否定算子所构造的模糊蕴涵算子进行归纳,分为五类(t,S,R,QL和D蕴涵),为构造新的算子提供了强有力的依据;采用绝大多数模糊规则芯片中使用的CRI方法,依据广义取式推理与广义拒式推理中的12条模糊推理准则对分类后的模糊蕴涵算子进行实际的逻辑推演,通过对逻辑推演中实例数据和推演结果的分析,给出选择模糊蕴涵算子的参考依据.     

基于规则的空间关系推理

空间关系的形式化表示和推理是目前地理本体领域的研究热点,本文简要介绍了目前比较有几种代表性的空间关系模型,在此基础上提出了一种拓扑和方向组合的空间关系模型及其OWL形式化表示,并通过扩展推理规则实现了简单的空间关系推理.     

规则Petri网的推理策略的研究

本讨论了规则Petri网的可交换性，给出了规则Petri网的三种推理策略以及并行推理和冲突仲裁的推理方法。     

案例推理和规则推理结合的紧急预案信息系统

将基于案例推理（CBR）与基于规则推理（RBR）两种人工智能技术相结合，引入到紧急预案信息系统的系统设计中，设计了系统的结构和工作流程并对系统实现的主要技术，预案和知识的表示，案例的存储结构，案例检索，案例适配与系统学习进行了探讨和构想。     

XML Schema与XML DTD的技术比较与分析

XML DTD是目前使用最广泛的一种XML模式，XML Schema则已经成为W3C的正式推荐标准，并有替代XML DTD的趋势．从技术角度，比较XML Schema与XML DTD的区别，探计了XML Schema的一些优势.     

XML与数据集成

研究实现基于XML的数据集成技术,探讨了XML的主要技术以及XML应用。     

面向方面的XML

针对面向方面这种新型的编程方法进行分析,并对面向对象理论在解决XML文档定义时不足之处加以阐述,提出利用面向方面的编程方法对XML文档定义进行扩展,解决XML文档定义仅采用简单包含关系、代码重复、横切关注点的分散及扩充XML元素时必须对原有元素修改的问题.在XML文档定义中引入关注点这一概念和织入重要机制,使XML文档定义具有面向方面编程技术的功能.在XML Schema原有定义方式中增加aspect,pointcut和advice几个定义元素的标识元素.给出相应的表示符号,并用数学模型描述.结果表明这种定义方式减少系统中的代码重复,降低模块间的耦合,使之具有较好的模块性和可移植性.     

一种基于XML Schema的XML索引

分析XISS,DBXI,DDT等索引方法的优缺点,提出一种基于XML Schema的XML索引,以提高XML查询的效率.通过利用XML Schema结构信息对XML进行索引,支持对基于不同XMLSchema的多类XML文档的统一查询,同时兼顾对XML文档的有效性验证和对无效查询的判断.通过在编码时预留一定的编码空间,方...     

XML与数据库

介绍了XML，XML数据库以及与之相关的概念，并对XML数据库与传统数据库进行了比较，对XML数据库的应用和性能等问题进行了一些探索．     

XML函数依赖集的逻辑蕴含

提出了一组适合于M.Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性.在此基础上,研究了XFD的逻辑蕴含问题,提出了求解路径闭包算法和成员籍算法.     

XML函数依赖

函数依赖在关系数据库中起着基本的作用,尤其是用在完整性约束和数据库设计方面。近年来已定义了XML上的函数依赖。本文采用了一种新的定义方式,即在树元组上定义函数依赖,同时给出了函数依赖的推理规则。     

支持更新的XML文档编码模式

在比较了现有的编码模式后提出了一种新的编码方法,该方法能够快速准确地判断XML文档结构树中任意两个结点之间的父子、祖先/后裔以及兄弟关系。采用可变扩展序号支持XML文档更新,可有效降低XML文档的二次编码率。并且在编码时间性能上,也有较好地表现。     

XML文档模式的自动构造

为了解决目前存在大量XML文档无模式定义的问题,提出一种XML文档模式的自动构造算法.该算法以XML数据为输入,输出具有通用意义的文档模式,再根据具体要求转化到所要求的文档定义类型.实验证明,该模式构造算法确实可行,且具有较好的通用性,可应用于模式的自动生成、XML数据模式挖掘等方面.     

基于XML schema的XML文档在关系数据库中的存储

分析了P_schema存储方法存在的问题,提出了改进的P_schema存储方法;通过引入DOM树,使嵌套结构等价于DOM树节点的父子关系,用filiation表存储节点的父子关系;由于多次引用元素结构信息相同,所以存储在同一关系中,用其外键表示引用关系,解决了P_schema存储方法中的一些难题,如嵌套和多次引用元素存储问题.