{"type":"ScholarlyArticle","title":"On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols","authors":[{"name":"Vaishak Belle","slug":"vaishak-belle","given":"Vaishak","family":"Belle","affiliation":""},{"name":"Gerhard Lakemeyer","slug":"gerhard-lakemeyer","given":"Gerhard","family":"Lakemeyer","affiliation":""}],"abstract":"In a seminal paper, Lin and Reiter introduced the notion of progression of basic action theories. Unfortunately, progression is second-order in general. Recently, Liu and Lakemeyer improve on earlier results and show that for the local-effect and normal actions case, progression is computable but may lead to an exponential blow-up. Nevertheless, they show that for certain kinds of expressive first-order knowledge bases with disjunctive information, called proper+, it is efficient. However, answering queries about the resulting state is still undecidable. In this paper, we continue this line of research and extend proper+ to include functions. We prove that their progression wrt local-effect, normal actions, and range-restricted theories, is first-order definable and efficiently computable. We then provide a new logically sound and complete decision procedure for certain kinds of queries.","doi":"10.5591/978-1-57735-516-8/IJCAI11-131","url":"https://ijcai.org/proceedings/2011/131","pdf":"https://ijcai.org/proceedings/2011/0131.pdf","markdown":"https://ijcai.org/proceedings/2011/131.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/131","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":131,"pages":{"first":744,"last":748},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}