Ex contradictione nihil sequitur
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 538-545.
Abstract
In the logical semantics of knowledge bases (KB) the handling of contradicitions poses a problem not solvable by standard logic. An adequate logic for KBs must be capable of tolerating inconsistency in a KB without losing its deductive content. This is also the bottom line of so-called paraconsistent logics. But paraconsistent logic does not address the question whether contradictory information should be accepted or not in the derivation of further information depending on it. We propose two computational logics based on the notions of support and acceptance handling contradictions in a conservative, resp. skeptical, manner: they neither lead to the break-down of the system nor are they accepted as valid pieces of information.
@inproceedings{ijcai1991p81,
title = {Ex contradictione nihil sequitur},
author = {Wagner, Gerd},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {538--545},
year = {1991},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1991/81},
}
TY - CPAPER TI - Ex contradictione nihil sequitur AU - Wagner, Gerd T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 538 EP - 545 UR - https://ijcai.org/proceedings/1991/81 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
