A non-standard Semantics for Inexact Knowledge with Introspection

Abstract : Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidian. Correlatively, Williamson's margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We state a non-standard semantics for modal logic which is shown to be complete for K45, without constraining the accessibility relation to be transitive or euclidian. The semantics corresponds to a system of modular knowledge, in which iterated modalities and simple modalities are not on a par. We show how the semantics helps to solve Williamson's luminosity paradox, and argue that it corresponds to an integrated model of perceptual and introspective knowledge that is psychologically more plausible than the one defended by Williamson. A generalized version of the semantics is formulated, in which modalities are iteration-sensitive up to degree n and insensitive beyond n. The multi-agent version of the semantics yields a resource-sensitive logic with implications for the representation of common knowledge in situations of bounded rationality.
Type de document :
Pré-publication, Document de travail
Forthcoming in S. Artemov and R. Parikh, Proceedings of the ESSLLI 2006 Workshop on Rationality a.. 2006
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://jeannicod.ccsd.cnrs.fr/ijn_00000679
Contributeur : Paul Egré <>
Soumis le : mercredi 21 juin 2006 - 12:40:37
Dernière modification le : mardi 24 avril 2018 - 17:20:10
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 11:13:30

Identifiants

  • HAL Id : ijn_00000679, version 2

Citation

Denis Bonnay, Paul Egré. A non-standard Semantics for Inexact Knowledge with Introspection. Forthcoming in S. Artemov and R. Parikh, Proceedings of the ESSLLI 2006 Workshop on Rationality a.. 2006. 〈ijn_00000679v2〉

Partager

Métriques

Consultations de la notice

564

Téléchargements de fichiers

322