Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

235405

Exploring the tractability border in epistemic tasks

Cédric DégremontLena KurzenJakub Szymanik

pp. 371-408

Résumé

We analyse the computational complexity of comparing informational structures. Intuitively, we study the complexity of deciding queries such as the following: Is Alice’s epistemic information strictly coarser than Bob’s? Do Alice and Bob have the same knowledge about each other’s knowledge? Is it possible to manipulate Alice in a way that she will have the same beliefs as Bob? The results show that these problems lie on both sides of the border between tractability (P) and intractability (NP-hard). In particular, we investigate the impact of assuming information structures to be partition-based (rather than arbitrary relational structures) on the complexity of various problems. We focus on the tractability of concrete epistemic tasks and not on epistemic logics describing them.

Détails de la publication

Publié dans:

(2014) Synthese 191 (3).

Pages: 371-408

DOI: 10.1007/s11229-012-0215-7

Citation complète:

Dégremont Cédric, Kurzen Lena, Szymanik Jakub, 2014, Exploring the tractability border in epistemic tasks. Synthese 191 (3), 371-408. https://doi.org/10.1007/s11229-012-0215-7.