Dealing With Logical Omniscience: Expressiveness and Pragmatics

Simple item page
dc.creatorHalpern, Joseph Y.
dc.creatorPucella, Riccardo
dc.date2007-02-01
dc.date.accessioned2026-07-07T07:44:12Z
dc.date.available2026-07-07T07:44:12Z
dc.descriptionWe 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.
dc.description24 pages. Submitted for publication
dc.identifierhttps://arxiv.org/abs/cs/0702011
dc.identifierhttp://arxiv.org/abs/cs/0702011
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/123112
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.titleDealing With Logical Omniscience: Expressiveness and Pragmatics
dc.typetext

Files

Collections

arXiv