Logical omniscience and the cost of deliberation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2250, Issue , 2001, Pages 100-109

  Alechina, Natasha ^a   Logan, Brian ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

LOGICAL OMNISCIENCE; MODAL LOGIC; POSSIBLE WORLDS; RESOURCE-BOUNDED;

ARTIFICIAL INTELLIGENCE;

EID: 84937392160     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45653-8_7     Document Type: Conference Paper

References (13)

1. Elgot-Drapkin, J. J., Perlis, D.: Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 2:75-98, 1990.
2. Fagin, R., Halpern, J. Y.: Belief, awareness, and limited reasoning. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 480-490, 1985.
3. Fagin, R., Halpern, J. Y., Vardi, M. V.: A non-standard approach to the logical omniscience problem. Artificial Intelligence, 79(2):203-240, 1996.
4. Hintikka, J.: Knowledge and belief. Cornell University Press, Ithaca, NY, 1962.
5. Hintikka, J.: Impossible possible worlds vindicated. Journal of Philosophical Logic, 4:475-484, 1975.
6. Levesque, H. J.: A logic of implicit and explicit belief. In Proceedings of the Fourth National Conference on Artificial Intelligence, AAAI-84, pages 198-202. AAAI, 1984.
7. Rantala, V.: Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica, 35:106-115, 1982.
8. Rao, A. S., Georgeff, M. P.: Modeling rational agents within a BDI-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 473-484, 1991.
9. Russell, S., Norvig, P.: Artificial Intelligence: a modern approach. Prentice Hall, 1995.
10. Scheutz, M., Logan, B.: Affective vs. deliberative agent control. In Proceedings of the AISB'01 Symposium on Emotion, Cognition and Affective Computing, pages 1-10. AISB, The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, March 2001.
11. Van Benthem, J.: Modal logic and classical logic. Bibliopolis, 1983.
12. Van Der Hoek, W., Van Linder, B., Meyer, J.-J. Ch.: An integrated modal approach to rational agents. In Wooldridge, M. and Rao, A. editors, Foundations of Rational Agency, pages 133-168. Kluwer Academic, Dordrecht, 1999.
13. Weyhrauch, R. W., Cadoli, M., Talcott, C. L.: Using abstract resources to control reasoning. Journal of Logic, Language and Information, 7(1):77-101, 1998.