Logical Omniscience and the Cost of Deliberation

Authors:
Natasha Alechina;Brian Logan
Affiliations:
-;-
Venue:
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Year:
2001

Citing 5
Cited 0

Reasoning situated in time I: basic concepts

Journal of Experimental & Theoretical Artificial Intelligence
Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
A nonstandard approach to the logical omniscience problem

Artificial Intelligence
Using Abstract Resources to Control Reasoning

Journal of Logic, Language and Information
Belief, awareness, and limited reasoning: preliminary report

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 behaviour of a resource bounded agent. We propose two logics which take into account 'deliberation time' but use a more or less standard possible worlds semantics with classical possible worlds.