Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Lost in translation: Language independence in propositional logic - application to belief change

Abstract : While propositional logic is widely used as a representation framework for many AI applications, the concept of language independence in the propositional setting 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 motivate the need to focus on symbol translations of restricted types, introduce and study several families of translations of interest, and provide a number of characterization results. We also identify the computational complexity of recognizing symbol translations from those families. Then we investigate the robustness of belief merging, belief revision and belief update operators w.r.t. translations of different types. It turns out that some rational merging/revision/update operators are not guaranteed to offer the most basic (yet non-trivial) form of language independence
Document type :
Journal articles
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300949
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:38:03 PM
Last modification on : Friday, March 4, 2022 - 4:54:30 PM

Links full text

Identifiers

Collections

Citation

Pierre Marquis, Nicolas Schwind. Lost in translation: Language independence in propositional logic - application to belief change. Artificial Intelligence, Elsevier, 2014, 206, pp.1-24. ⟨10.1016/j.artint.2013.09.005⟩. ⟨hal-03300949⟩

Share

Metrics

Record views

5