CAJ | 학술논문

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