Dealing With Logical Omniscience: Expressiveness and Pragmatics

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and impossible possible worlds. Although in some settings these approaches are equi-expressive and can capture all epistemic states, in other settings of interest (especially with probability in the picture), we show that they are not equi-expressive. We then consider the pragmatics of dealing with logical omniscience-- how to choose an approach and construct an appropriate model.
24 pages. Submitted for publication

Keywords

Logic in Computer Science, Artificial Intelligence

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/123112

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0702011
 http://arxiv.org/abs/cs/0702011

Collections

arXiv