{"type":"ScholarlyArticle","title":"Query Answering in Circumscription","authors":[{"name":"Nicolas Helft","slug":"nicolas-helft","given":"Nicolas","family":"Helft","affiliation":""},{"name":"Katsumi Inoue","slug":"katsumi-inoue","given":"Katsumi","family":"Inoue","affiliation":""},{"name":"David Poole","slug":"david-poole","given":"David","family":"Poole","affiliation":""}],"abstract":"We address the problem of answering queries in circumscription and related nonmonotonic formalisms. The answering process we describe uses resolution-based theorem provers recently developed for circumscription. In a way analogous to query answering techniques in classical predicate logic, the process extracts information from a proof of the query. Circumscriptive theorem provers consist of two processes, generating explanations for the theorem to be proved and showing that these explanations cannot be refuted. In general, many explanations compete in supporting the theorem. We show that queries can be answered by finding certain combinations of explanations, and present results to search the space of explanations, while carrying out significant pruning on this space. The results are relevant to other nonmonotonic formalisms having explanation-based proof procedures.","doi":null,"url":"https://ijcai.org/proceedings/1991/64","pdf":"https://ijcai.org/proceedings/1991/0064.pdf","markdown":"https://ijcai.org/proceedings/1991/64.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/64","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":64,"pages":{"first":426,"last":430},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}