基于XML的证明论研究  

Research on Proof Theory Based on XML

作　　者：张艳莉[1] 李高鹏[2] 

机构地区：[1]陕西师范大学国际商学院,陕西西安710062 [2]西京学院工程技术系,陕西西安710123

出　　处：《科技通报》2014年第8期233-236,共4页Bulletin of Science and Technology

摘　　要：XML渐已成为Web上数据表示和交换的通用语言。然而作为一种描述性的语言,XML不支持智能化的信息服务。本文提出了基于XML的证明论,用XDD(XML Declarative Description),一种由XML语法与说明描述理论相结合而得到的语言表示已知前提和待求解的问题,并通过证明论方法实现问题求解。该方法可用于建立基于XML的智能信息系统。XML has recently emerged as a standard for data representation and interchange of Web contents. But XML is solely a description language and not capable of allowing intelligent as well as automatic Web services. The proof theory based on XML is presented. The subsumption and request of problem is formalized by XDD （XML Declarative Description）, a language which employs XML as its bare syntax and enhances XML expressive power by employing Declarative Descrip-tion theory and the problem is evaluated by means of proof theory. By this way, a wide diversity of Web application offering various of intelligent services based on XML can be implemented.

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

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]