基于归结原理的可扩展标识语言问题求解

• 作者: 常义林 石军
• 来源期刊: 系统工程与电子技术
• 学科: 工学
• 关键词: 可扩展标识语言 说明描述 问题求解 归结原理
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: 软件、算法与仿真
• 页码范围: 1718-1722
• 页数: 5页
• 分类号: TP18
• 字数: 5442字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-506X.2004.11.050

摘要

针对可扩展标识语言(extensible markup language, XML)与说明描述理论结合的XDD (XML declarative description)语言是非过程的,只提供解决问题的机制,而不是解决问题的方法,论证了在XDD中应用归结原理解决问题的可行性,证明了归结过程是一个等价变换的过程,给出了求解过程,为求解XML问题提供了一种简洁有效的方法,为建立基于XML的智能信息关系奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	常义林	西安电子科技大学综合业务网国家重点实验室	107	984	18.0	25.0
2	石军	西安电子科技大学综合业务网国家重点实验室	8	7	1.0	2.0