{"type":"ScholarlyArticle","title":"Query Evaluation and Progression in AOL Knowledge Bases","authors":[{"name":"Gerhard Lakemeyer","slug":"gerhard-lakemeyer","given":"Gerhard","family":"Lakemeyer","affiliation":""},{"name":"Hector J. Levesque","slug":"hector-j-levesque","given":"Hector J.","family":"Levesque","affiliation":""}],"abstract":"Recently Lakemeyer and Levesque proposed the logic AO £, 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 AO £ knowledge bases and queries, including epistemic ones, query evaluation requires first-order reasoning only. We also provide a simple semantic definition of progressing a knowledge base. For a particular class of knowledge bases, adapted from earlier results by Lin and Reiter, we show that progression is first-order representable and easy to compute.","doi":null,"url":"https://ijcai.org/proceedings/1999/19","pdf":"https://ijcai.org/proceedings/1999/0019.pdf","markdown":"https://ijcai.org/proceedings/1999/19.md","bibtex":"https://ijcai.org/proceedings/1999/bibtex/19","volume":{"slug":"1999","title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1999","url":"https://ijcai.org/proceedings/1999/","year":1999,"location":"Stockholm, Sweden","dates":"","editors":"Thomas Dean","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":19,"pages":{"first":124,"last":130},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}