基于XML的证明论研究

摘要：

XML渐已成为Web上数据表示和交换的通用语言。然而作为一种描述性的语言，XML不支持智能化的信息服务。本文提出了基于XML的证明论，用XDD(XML Declarative Description)，一种由XML语法与说明描述理论相结合而得到的语言表示已知前提和待求解的问题，并通过证明论方法实现问题求解。该方法可用于建立基于XML的智能信息系统。

关键词：XML、说明描述、证明论、问题求解

分类号：TP301.2(计算技术、计算机技术)

在线出版日期：2014-09-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：233-236