登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
基于XML的证明论研究
  • 摘要

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

  • 作者

    张艳莉  李高鹏  Zhang Yanli  Li Gaopeng 

  • 作者单位

    陕西师范大学国际商学院,陕西西安,710062/西京学院工程技术系,陕西西安,710123

  • 刊期

    2014年8期 ISTIC PKU

  • 关键词

    XML  说明描述  证明论  问题求解  XML  declarative description  proof theory  problem solving 

相似文献 查看更多>>
3.233.221.149