Sciweavers

605 search results - page 1 / 121
» Dealing with logical omniscience
Sort
View
TARK
2007
Springer
15 years 3 months ago
Dealing with logical omniscience
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and imposs...
Joseph Y. Halpern, Riccardo Pucella
94
Voted
TARK
2009
Springer
15 years 4 months ago
Logical omniscience as a computational complexity problem
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
Sergei N. Artëmov, Roman Kuznets
77
Voted
FLAIRS
1998
14 years 11 months ago
Delusions of Omniscience
Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6net. al. [1985], Giirdenfors [1988]) are used for the represen...
Roderic A. Girle
CSL
2006
Springer
15 years 1 months ago
Logical Omniscience Via Proof Complexity
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
Sergei N. Artëmov, Roman Kuznets
LPAR
2001
Springer
15 years 1 months ago
Logical Omniscience and the Cost of Deliberation
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
Natasha Alechina, Brian Logan