{"type":"ScholarlyArticle","title":"A Circumscriptive Formalization of the Qualification Problem","authors":[{"name":"G. Neelakantan Kartha","slug":"g-neelakantan-kartha","given":"G. Neelakantan","family":"Kartha","affiliation":""}],"abstract":"The qualification problem refers to the difficulty that arises in formalizing actions, because it is difficult or impossible to specify in advance all the preconditions that should hold before an action can be executed. We study the qualification problem in the setting of the situation calculus and give a simple formalization using nested abnormality theories, a formalism based on circumscription. The formalization that we present allows us to combine a solution to the frame problem with a solution to the qualification problem.","doi":null,"url":"https://ijcai.org/proceedings/2001/19","pdf":"https://ijcai.org/proceedings/2001/0019.pdf","markdown":"https://ijcai.org/proceedings/2001/19.md","bibtex":"https://ijcai.org/proceedings/2001/bibtex/19","volume":{"slug":"2001","title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2001","url":"https://ijcai.org/proceedings/2001/","year":2001,"location":"Seattle, Washington, USA","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":19,"pages":{"first":139,"last":143},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}