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.

References

  1. Da Costa, 1992. Automated Theorem Proving in Paraconsistent Logic Theory and Implementation. In 10th Int. Conf. on Automated Deduction. pp: 72-86.
  2. Kifer, M., Subrahmanian, V. S. 1992. Theory of Generalized Annotated Logic Programming and its Applications. In Journal of Logic Programming, 12(4):335-368.
  3. Kifer, M., Lozinskii, E.L., 1992. A Logic for Reasoning with Inconsistency. IN Journal of Automated Reasoning, 9(2): 179-215.
  4. Gui, Q.Q., Chen, Z.L., Zhu, F.X., 2002. Paraconsisten Logic and Artificial Intelligence, The press of Wuhan University.
  5. Zhu, F. X., Liu, L. P., Fu, J.M. 1998. Automatic Reasoning in Paraconsisten Logic, In J. of Wuhan University(Science Edition) 581~594.
Download


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