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 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.

• Type: Conference
• Year: 2001
• Where: LPAR
• Authors: Natasha Alechina, Brian Logan
• Keywords: Automated Reasoning, LPAR 2001, Possible Worlds, Possible Worlds Semantics, Traditional Modal Logics