Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information

Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri

Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information

Thomas Eiter, Georg Gottlob, Yuri Gurevich

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 634-638.

Abstract

We introduce curbing, a new nonmonotonic technique of commonsense reasoning that is based on model minimality but unlike circumscription treats disjunction inclusively. A finitely axiomatized first-order theory T is transformed to a formula Curb(T) whose set of models is defined as the smallest collection of models which contains all minimal models ofT and which is closed und er formation of minimal upper bounds with respect to inclusion. We first give an intuitive definition of Curb in third-order logic and th en show how Curb can be equivalently expressed in second-order logic. We study the complexity of inferencing from a curbed propositional theory and present a PSPACE algorithm for this problem. Finally, we address different possibilities to approximate the curb of a theory.

Thomas Eiter, Georg Gottlob, and Yuri Gurevich. 1993. Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 634–638. https://ijcai.org/proceedings/1993/89

@inproceedings{ijcai1993p89,
  title     = {Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information},
  author    = {Eiter, Thomas and Gottlob, Georg and Gurevich, Yuri},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {634--638},
  year      = {1993},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1993/89},
}

TY  - CPAPER
TI  - Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information
AU  - Eiter, Thomas
AU  - Gottlob, Georg
AU  - Gurevich, Yuri
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 634
EP  - 638
UR  - https://ijcai.org/proceedings/1993/89
ER  -