Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging

Marquis, Pierre; Schwind, Nicolas

doi:10.5591/978-1-57735-516-8/IJCAI11-172

Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging

Pierre Marquis, Nicolas Schwind

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 1002-1006.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-172

Abstract

Despite the importance of propositional logic in artificial intelligence, the notion of language independence in the propositional setting (not to be confound with syntax independence) has not received much attention so far. In this paper, we define language independence for a propositional operator as robustness w.r.t.symbol translation. We provide a number of characterizations results for such translations. We motivate the need to focus on symbol translations of restricted types, and identify several families of interest. We identify the computational complexity of recognizing symbol translations from those families. Finally, as a case study, we investigate the robustness of belief revision/merging operators w.r.t. translations of different types. It turns out that rational belief revision/merging operators are not guaranteed to offer the most basic (yet non-trivial) form of language independence; operators based on the Hamming distance do not suffer from this drawback but are less robust than operators based on the drastic distance.

Pierre Marquis, and Nicolas Schwind. 2011. Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 1002–1006. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-172

@inproceedings{ijcai2011p172,
  title     = {Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging},
  author    = {Marquis, Pierre and Schwind, Nicolas},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {1002--1006},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-172},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-172},
}

TY  - CPAPER
TI  - Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging
AU  - Marquis, Pierre
AU  - Schwind, Nicolas
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 1002
EP  - 1006
DO  - 10.5591/978-1-57735-516-8/IJCAI11-172
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-172
ER  -