ANNOTATED LOGIC REASONING BASED ON XML

Fuxi Zhu, Duanzhi Chen, Jia Rao

2006

Abstract

Paraconsistent logic is able to handle the inconsistent knowledge reasonably. In this paper we propose using XML as a tool to implement the presentation and reasoning of Annotation Logic--one of the paraconsitent logic systems and investigate the problems about the automatic inference rules and inference strategies under XML representation. Demonstrations are presented to show that XML can represent the Annotation Logic conveniently and XML and its auxiliary tools can implement the inference mechanism efficiently.

Paper Citation

in Harvard Style

Zhu F., Chen D. and Rao J. (2006). ANNOTATED LOGIC REASONING BASED ON XML . In Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-972-8865-46-7, pages 229-233. DOI: 10.5220/0001241702290233

in Bibtex Style

@conference{webist06,
author={Fuxi Zhu and Duanzhi Chen and Jia Rao},
title={ANNOTATED LOGIC REASONING BASED ON XML},
booktitle={Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2006},
pages={229-233},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001241702290233},
isbn={978-972-8865-46-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - ANNOTATED LOGIC REASONING BASED ON XML
SN - 978-972-8865-46-7
AU - Zhu F.
AU - Chen D.
AU - Rao J.
PY - 2006
SP - 229
EP - 233
DO - 10.5220/0001241702290233