Paraconsistent Reasoning Based on XML
Zhenkun Yu · Journal of Wuhan University · 2006
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.