基于XML的次协调推理

摘要：

标记逻辑是一种次协调逻辑系统,将XML用于表示标记逻辑,探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题,并给出了推理实例.实例表明,使用XML能够很方便地表达标记逻辑,并且利用XML的辅助工具能够很方便地实现其推理机制.

关键词：次协调逻辑、标记逻辑、可扩展标记语言(XML)、自动推理

所属期刊栏目：52

分类号：TP301;B815.2(计算技术、计算机技术)

资助基金：国家自然科学基金90104005

在线出版日期：2006-04-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：64-68