论文部分内容阅读
XML已成为Web上数据表示和交换的通用语言。然而作为一种描述文档结构的语言，XML对语义的表达和处理能力不足，难以建立智能应用系统。本论文的目的就是增强XML表达和处理信息的能力，主要针对XML的智能信息处理展开，工作的重点是语义信息的表示、查询和推理。主要做了以下工作： 1．提出了框架到DTD的映射方法，将框架的抽象性、表达能力与XML的通用性、灵活性和可扩展性结合起来。提出了由框架模型生成XDD模型的方法，用XDD模型中的单元子句或非单元子句表示框架模型的结构、框架间的关系以及约束条件。提出了由E—R模型生成XDD模型的方法，用XDD模型中的单元子句或非单元子句表示E—R模型中的实体、联系和完整性约束。 2．提出了根据关系代数表达式构造查询子句的方法，关系代数表达式可以用若干个XML子句描述，并通过等价变换得到查询结果，证明了该方法的正确性。提出了利用关系代数运算实现XML查询子句求值的方法，并证明了该方法的正确性。 3．将证明论方法引入到XML中，建立了基于XML的证明论。主要内容包括：建立了基于XML的公理系统；给出了假言推理在XDD中的应用形式；论证了假言推理在XDD中有效性和完备性；给出了应用证明论方法实现XML问题求解的方法和步骤。 4．将归结原理引入到XML中。主要内容包括：定义了合一指定和XML归结子句，给出了归结原理在XDD中的应用形式；证明了归结的过程是一个等价变换的过程，论证了应用归结原理实现XML问题求解的可行性；给出了应用归结原理实现XML问题求解的方法和步骤。在此基础上，建立了一个基于XML的智能决策支持系统。定义了该系统的结构，用XDD描述问题和决策系统中的知识，并通过归结原理实现决策问题求解。