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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Elgot-Drapkin, J. J., Perlis, D.: Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 2:75–98, 1990.
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.
Fagin, R., Halpern, J. Y., Vardi, M. V.: A non-standard approach to the logical omniscience problem. Artificial Intelligence, 79(2):203–240, 1996.
Hintikka, J.: Knowledge and belief. Cornell University Press, Ithaca, NY, 1962.
Hintikka, J.: Impossible possible worlds vindicated. Journal of Philosophical Logic, 4:475–484, 1975.
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.
Rantala, V.: Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica, 35:106–115, 1982.
Rao, A. S., George., 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.
Russell, S., Norvig, P.: Artificial Intelligence: a modern approach. Prentice Hall, 1995.
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. Logical Omniscience and the Cost of Deliberation 109
van Benthem, J.: Modal logic and classical logic. Bibliopolis, 1983.
van der Hoek, W., van Linder, B., Meyer, J-J. Ch.: An integrated modal approach to rational agents. InWooldridge, M. and Rao, A. editors, Foundations of Rational Agency, pages 133–168. Kluwer Academic, Dordrecht, 1999.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alechina, N., Logan, B. (2001). Logical Omniscience and the Cost of Deliberation. In: Nieuwenhuis, R., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2001. Lecture Notes in Computer Science(), vol 2250. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45653-8_7
Download citation
DOI: https://doi.org/10.1007/3-540-45653-8_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42957-9
Online ISBN: 978-3-540-45653-7
eBook Packages: Springer Book Archive