Query Evaluation and Progression in AOL Knowledge Bases

  title={Query Evaluation and Progression in AOL Knowledge Bases},
  author={Gerhard Lakemeyer and Hector J. Levesque},
Recently Lakemeyer and Levesque proposed the logic AOC, which amalgamates both the situation calculus and Levesque\s logic of only knowing. While very expressive the practical relevance of the formalism is unclear because it heavily relies on second-order logic. In this paper we demonstrate that the picture is not as bleak as it may seem. In particular, we show that for large classes of AOL knowledge bases and queries, including epistemic ones, query evaluation requires first-order reasoning… CONTINUE READING