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.
Cite
CITATION STYLE
Alechina, N., & Logan, B. (2001). Logical omniscience and the cost of deliberation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2250, pp. 100–109). Springer Verlag. https://doi.org/10.1007/3-540-45653-8_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
