Circumscribing Equality

Rathmann, Peter K.; Winslett, Marianne

Circumscribing Equality

Download BibTeX Cite

Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Automated Deduction. Pages 468-475.

Abstract

One important facet of common-sense reasoning is the ability to draw default conclusions about the state of the world . Such an ability enables one to assume, for example, that a given bird flies in the absence of information to the contrary. One drawback of the circumscriptive approach to common-sense reasoning has been its inability to produce default conclusions about equality. For example, generally one cannot tentatively conclude that Preside nt(USA) :f- Fido using circumscription . In this paper we give a second-order axiom and model theory for circumscribing equality, and prove that they are equivalent .

Peter K. Rathmann, and Marianne Winslett. 1989. Circumscribing Equality. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. IJCAI, 468–475. https://ijcai.org/proceedings/1989/76

@inproceedings{ijcai1989p76,
  title     = {Circumscribing Equality},
  author    = {Rathmann, Peter K. and Winslett, Marianne},
  booktitle = {Proceedings of the Eleventh International Joint Conference on
               Artificial Intelligence, {IJCAI-89}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {N. S. Sridharan},
  pages     = {468--475},
  year      = {1989},
  month     = {8},
  note      = {Automated Deduction},
  url       = {https://ijcai.org/proceedings/1989/76},
}

TY  - CPAPER
TI  - Circumscribing Equality
AU  - Rathmann, Peter K.
AU  - Winslett, Marianne
T2  - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1989
SP  - 468
EP  - 475
UR  - https://ijcai.org/proceedings/1989/76
ER  -