| 基于XML的次协调推理 |
| |
| 引用本文： | 朱福喜,龚昌盛,余振坤.基于XML的次协调推理[J].武汉大学学报(理学版),2006,52(1):64-68. |
| |
| 作者姓名： | 朱福喜 龚昌盛 余振坤 |
| |
| 作者单位： | 武汉大学,计算机学院,湖北,武汉,430072 |
| |
| 摘 要： | 标记逻辑是一种次协调逻辑系统，将XML用于表示标记逻辑，探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题，并给出了推理实例．实例表明，使用XML能够很方便地表达标记逻辑，并且利用XML的辅助工具能够很方便地实现其推理机制．
|
| 关 键 词： | 次协调逻辑 标记逻辑 可扩展标记语言(XML) 自动推理 |
| 文章编号： | 1671-8836(2006)01-0064-05 |
| 修稿时间： | 2005年3月10日 |
Paraconsistent Reasoning Based on XML |
| |
| ZHU Fuxi,GONG Changsheng,YU Zhenkun.Paraconsistent Reasoning Based on XML[J].JOurnal of Wuhan University:Natural Science Edition,2006,52(1):64-68. |
| |
| Authors: | ZHU Fuxi GONG Changsheng YU Zhenkun |
| |
| Abstract: | Paraconsistent logic is able to handle the inconsistent knowledge reasonably.This paper is to study using XML as a tool to implement the presentation and reasoning of annotation logic-one of paraconsitent logic system,discuss the problem with the automatic inference rules and inference strategies under XML representation.Demonstration is presented and they show that XML can represent the annotation logic conveniently and using XML and its auxiliary tool can implement the inference mechanism efficiently. |
| |
| Keywords: | para-consistence logic annotate logic XML(extensible markup language) automatic reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
