Querying AOL Knowledge Bases

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.

[1]  Gerhard Lakemeyer,et al.  AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.

[2]  Gerhard Lakemeyer,et al.  Query Evaluation and Progression in AOL Knowledge Bases , 1999, IJCAI.

[3]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[4]  Fangzhen Lin,et al.  How to Progress a Database , 1997, Artif. Intell..

[5]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[6]  Wolfram Burgard,et al.  The Interactive Museum Tour-Guide Robot , 1998, AAAI/IAAI.

[7]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[8]  Gerhard Lakemeyer,et al.  Only Knowing in the Situation Calculus , 1996, KR.

[9]  Yoav Shoham,et al.  A Unified View of Belief Revision and Update , 1994, J. Log. Comput..

[10]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[11]  Gerhard Lakemeyer.  A Logical Account of Relevance , 1995, IJCAI.

[12]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[13]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[14]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[15]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[16]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[17]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[18]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[19]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[20]  Gerhard Lakemeyer,et al.  Levesque's Axiomatization of only Knowing is Incomplete , 1995, Artif. Intell..

[21]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[22]  Gerhard Lakemeyer,et al.  The logic of knowledge bases , 2000 .

[23]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[24]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .