Numerical Quantifiers and Their Use in Reasoning with Negative Information
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
Numerical quantifiers provide simple means of formalizing such statements as, "at least three people are in that room", "at most fifteen people are in the elevator", and "everybody has exactly two parents". Although numerical quantifiers generalize the existential quantifier, they have different uses in reasoning. The existential quantifier is most useful for supplying referents for designating phrases with no previously explicitly mentioned referent. Numerical quantifiers are most useful for reasoning by the process of elimination. Numerical quantifiers would, therefore, be a useful addition to the operators of a reasoning program or deductive question-answering system. They have been added to SNePS, the Semantic Network Processing System, to further enhance its inference capabilities.
@inproceedings{ijcai1979p174,
title = {Numerical Quantifiers and Their Use in Reasoning with Negative Information},
author = {Shapiro, Stuart C.},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/174},
}
TY - CPAPER TI - Numerical Quantifiers and Their Use in Reasoning with Negative Information AU - Shapiro, Stuart C. T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/174 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
