欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
标记逻辑是一种次协调逻辑系统，将XML用于表示标记逻辑，探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题，并给出了推理实例．实例表明，使用XML能够很方便地表达标记逻辑，并且利用XML的辅助工具能够很方便地实现其推理机制．
英文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：