Abstract
For agents to behave successfully, they often need to reason about what they know and do not know about the world. For example, an agent may choose a particular sensing action only after it realizes that it is missing an important piece of information. From a knowledge representation point of view, the idea would be to supply the agent with a suitable knowledge base (KB) and provide it with an appropriate mechanism to query the KB. In order to get a glimpse of the complexity of the kinds of queries that might arise when actions are involved, let us consider the following example.
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
Burgard, W., Cremers, A. B., Fox, D., Hähne!, D., Lakemeyer, G., Schulz, D., Steiner, W., Thrun, S., The Interactive Museum Tour-Guide Robot, in: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98), pp. 11 - 18, 1998.
del Val, A. and Shoham, Y., A Unified View of Belief Revision and Update. Journal of Logic and Computation Special Issue on Actions and Processes, 4, 1994, pp. 797 - 810.
Haegele, A., On the interaction with knowledge bases in dynamic worlds (in German), M.Sc. thesis, University of Bonn, 1998.
Halpern, J. Y. and Lakemeyer, G., Levesque’s Axiomatization of Only Knowing is Incomplete. Artificial Intelligence 74 (2), 1995, pp. 381 - 387.
Halpern, J. Y. and Moses, Y. O., A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artificial Intelligence, 54, 1992, pp. 319 - 379.
Hintikka, J., Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, 1962.
Hughes, G. E. and Cresswell, M. J., An Introduction to Modal Logic, Methuen and Company Ltd., London, England, 1968.
Kaplan, D., Quantifying In, in L. Linsky (ed.), Reference and Modality, Oxford University Press, Oxford, 1971.
Kripke, S. A., Semantical considerations on modal logic. Acta Philosophica Fennica 16, 1963, pp. 83 - 94.
Lakemeyer, G., A Logical Account of Relevance, Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Morgan Kaufmann, 1995, pp. 853 - 859.
Lakemeyer, G., Only Knowing in the Situation Calculus, Proc. of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Francisco, 1996, pp. 14 - 25.
Lakemeyer, G. and Levesque, H. J., AOL: a logic of acting, sensing, knowing, and only knowing. Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Francisco, 1998.
Lakemeyer, G. and Levesque, H. J., Query Evaluation and Progression in AOL Knowledge Bases, to appear in: Proceedings of the 16th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, San Francisco, 1999.
Levesque, H. J., Foundations of a Functional Approach to Knowledge Representation, Artificial Intelligence, 23, 1984, pp. 155 - 212.
Levesque, H. J., All I Know: A Study in Autoepistemic Logic. Artificial Intelligence, North Holland, 42, 1990, pp. 263 - 309.
Levesque, H. J., What is Planning in the Presence of Sensing. AAAI-96, AAAI Press, 1996.
Levesque, H. J. and Lakemeyer, G., The Logic of Knowledge Bases, Monograph, MIT Press, forthcoming. H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31, 59 - 84, 1997.
Lin, F. and Reiter, R., State constraints revisited. J. of Logic and Computation, special issue on actions and processes, 4, 1994, pp. 665 - 678.
Lin, F. and Reiter, R., How to Progress a Database. Artificial Intelligence, 92, 1997, pp. 131 - 167.
McCarthy, J., Situations, Actions and Causal Laws. Technical Report, Stanford University, 1963. Also in M. Minsky (ed.), Semantic Information Processing, MIT Press, Cambridge, MA, 1968, pp. 410 - 417.
Moore, R. C., A Formal Theory of Knowledge and Action. In J. R. Hobbs and R. C. Moore (eds.), Formal Theories of the Commonsense World, Ablex, Norwood, NJ, 1985, pp. 319 - 358.
Moore, R. C., Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence 25, 1985, pp. 75 - 94.
Newell, A., The Knowledge Level, AI Magazine 2(2), pp. 1-20.
Reiter, R., The Frame Problem in the Situation Calculus: A simple Solution (sometimes) and a Completeness Result for Goal Regression. In V. Lifshitz (ed.), Artificial Intelligence and Mathematical Theory of Computation, Academic Press, 1991, pp. 359 - 380.
Reiter, R., Proving Properties of States in the Situation Calculus. Artificial Intelligence, 64, 1993, pp. 337 - 351.
Schert, R. and Levesque, H. J., The Frame Problem and Knowledge Producing Actions. in Proc. of the National Conference on Artificial Intelligence (AAAI-93), AAAI Press, 1993, 689 - 695.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Lakemeyer, G., Levesque, H.J. (2000). Querying Aol Knowledge Bases. In: Hölldobler, S. (eds) Intellectics and Computational Logic. Applied Logic Series, vol 19. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9383-0_14
Download citation
DOI: https://doi.org/10.1007/978-94-015-9383-0_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5438-8
Online ISBN: 978-94-015-9383-0
eBook Packages: Springer Book Archive