Contextual Negations and Reasoning with Contradictions
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 532-536.
Abstract
This paper introduces the logical basis for modelling the phenomenon of reasoning in the presence of contradiction, by identifying this problem with the notion of change of context . We give here the basic definitions of a new semantics, which works by interpreting one logic into a family of logics via translations, which we call semantics of translations. As a particular application we show that a simple logic supporting contradictions can be constructed translating classical logic into three-valued logics. This translation semantics offers a new interpretation to certain paraconsistent logics which allows the application of them to automated reasoning and knowledge representation.
@inproceedings{ijcai1991p80,
title = {Contextual Negations and Reasoning with Contradictions},
author = {Carnielli, Walter Alexandre and Fariñas del Cerro, Luis and Lima-Marques, Mamede},
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 = {532--536},
year = {1991},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1991/80},
}
TY - CPAPER TI - Contextual Negations and Reasoning with Contradictions AU - Carnielli, Walter Alexandre AU - Fariñas del Cerro, Luis AU - Lima-Marques, Mamede T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 532 EP - 536 UR - https://ijcai.org/proceedings/1991/80 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
