Quantifying information and contradiction in propositional logic through test actions

Konieczny, Sébastien; Lang, Jérôme; Marquis, Pierre

Quantifying information and contradiction in propositional logic through test actions

Sébastien Konieczny, Jérôme Lang, Pierre Marquis

Download BibTeX Cite

Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 106-110.

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.

Sébastien Konieczny, Jérôme Lang, and Pierre Marquis. 2003. Quantifying information and contradiction in propositional logic through test actions. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 106–110. https://ijcai.org/proceedings/2003/15

@inproceedings{ijcai2003p15,
  title     = {Quantifying information and contradiction in propositional logic through test actions},
  author    = {Konieczny, Sébastien and Lang, Jérôme and Marquis, Pierre},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-03}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Georg Gottlob},
  pages     = {106--110},
  year      = {2003},
  url       = {https://ijcai.org/proceedings/2003/15},
}

TY  - CPAPER
TI  - Quantifying information and contradiction in propositional logic through test actions
AU  - Konieczny, Sébastien
AU  - Lang, Jérôme
AU  - Marquis, Pierre
T2  - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2003
SP  - 106
EP  - 110
UR  - https://ijcai.org/proceedings/2003/15
ER  -