Propositional knowledge base revision and minimal change
Artificial Intelligence
On the complexity of Boolean unification
Information Processing Letters
Conditional independence in propositional logic
Artificial Intelligence
Artificial Intelligence - Special issue on nonmonotonic reasoning
Artificial Intelligence
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
Qualitative relevance and independence: a roadmap
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Lost in translation: Language independence in propositional logic - application to belief change
Artificial Intelligence
Hi-index | 0.00 |
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.