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