Quantifying Information and Contradiction in Propositional Logic Through Test Actions
Abstract
Degrees of information and of contradiction are investigated within a uniform propositional framework, based on test actions. We consider that the degree of information of a propositional formula is based on the cost of actions needed to identify the truth values of each atomic proposition, while the degree of contradiction of a formula is based on the cost of actions needed to make the formula classically consistent. Our definitions are to a large extent independent of the underlying propositional logic; this flexibility is of prime importance since there is no unique, fully accepted logic for reasoning under inconsistency.
Cite
Text
Konieczny et al. "Quantifying Information and Contradiction in Propositional Logic Through Test Actions." International Joint Conference on Artificial Intelligence, 2003.Markdown
[Konieczny et al. "Quantifying Information and Contradiction in Propositional Logic Through Test Actions." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/konieczny2003ijcai-quantifying/)BibTeX
@inproceedings{konieczny2003ijcai-quantifying,
title = {{Quantifying Information and Contradiction in Propositional Logic Through Test Actions}},
author = {Konieczny, Sébastien and Lang, Jérôme and Marquis, Pierre},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2003},
pages = {106-111},
url = {https://mlanthology.org/ijcai/2003/konieczny2003ijcai-quantifying/}
}