A Circumscriptive Formalization of the Qualification Problem

Kartha, G. Neelakantan

A Circumscriptive Formalization of the Qualification Problem

Download BibTeX Cite

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence. Pages 139-143.

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.

G. Neelakantan Kartha. 2001. A Circumscriptive Formalization of the Qualification Problem. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01. IJCAI, 139–143. https://ijcai.org/proceedings/2001/19

@inproceedings{ijcai2001p19,
  title     = {A Circumscriptive Formalization of the Qualification Problem},
  author    = {Kartha, G. Neelakantan},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on
               Artificial Intelligence, {IJCAI-01}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {139--143},
  year      = {2001},
  url       = {https://ijcai.org/proceedings/2001/19},
}

TY  - CPAPER
TI  - A Circumscriptive Formalization of the Qualification Problem
AU  - Kartha, G. Neelakantan
T2  - Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2001
SP  - 139
EP  - 143
UR  - https://ijcai.org/proceedings/2001/19
ER  -