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

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… (More)
DOI: 10.5591/978-1-57735-516-8/IJCAI11-172

1 Figure or Table

Topics

  • Presentations referencing similar topics