|
 ABSTRACT
Questions which involve 'all', 'every', 'some', or the indefinite article, pose some peculiar problems when presented to a computerized question-answering system where ambiguities cannot be tolerated. These problems vary from the nature of the correct answer in special cases to the very admissibility of the question itself. To deal with these problems it is convenient to divide questions into two classes---extensional questions whose answers are to name things or truth values, intensional questions whose answers are to give meanings. This paper examines extensional questions. For these, the interpretative problems arising with 'all' and 'every' can be solved by introducing a new kind of quantification, extensional universal quantification, that has the meaning of 'all F' together with a secondary meaning that the class F is not empty. Formal rules for this quantification are given, and it is shown that the so-called definite formulas (which explicate permissible queries) are closed under the new operator.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Åqvist, L. A New Approach to the Logical Theory of Interrogatives, Part I, Analysis. University of Uppsala, Uppsala, Sweden, 1965.
|
| |
2
|
Belnap, N. D. , Jr. An Analysis of Questions: Preliminary Report. System Development Corporation, TM-1287/000/00, June 3, 1963.
|
| |
3
|
Bobrow, D. G. A question-answering system for high school algebra word problems. Proc. FJCC, v. 26, pp. 591-614, Spartan Books, Inc., Baltimore, Maryland, 1964.
|
| |
4
|
Carnap, R. Introduction to Symbolic Logic and Its Applications. Dover Publications, Inc., New York, 1958.
|
| |
5
|
____. The Logical Syntax of Language. (English Edition). Routledge and Kegan Paul, Ltd., London, 1937.
|
| |
6
|
____. Meaning and Necessity. (Enlarged Edition 1956). University of Chicago Press, Chicago Illinois, 1956.
|
| |
7
|
Feys, R. and F. B. Fitch (ed). Dictionary of Symbols of Mathematical Logic. North-Holland Publishing Co., Amsterdam,1969.
|
| |
8
|
Harrah, D. Communication: A Logical Model. The M. I. T. Press, Cambridge, Massachusetts, 1963.
|
| |
9
|
Jespersen, O. The Philosophy of Grammar. W. W. Norton and Co. , Inc. , New York, 1965.
|
| |
10
|
Kasher, A. Data-retrieval by computer: A critical survey. (in Kochen, M. , (ed), The Growth of Knowledge, pp. 292-324, John Wiley and Sons, Inc., New York, 1967.
|
| |
11
|
Kuhns , J. L. Answering Questions by Computer: A Logical Study. The Rand Corporation, RM-5428-PR, December 1967.
|
| |
12
|
____. Interrogating a Relational Data File: Remarks on the Admissibility of Input Queries. The Rand Corporation, R-511-PR, November 1970.
|
| |
13
|
____. Logical aspects of question answering by computer (to be published in Proc. Third International Symposium on Computer and Information Sciences, Miami Beach Florida, December 18-20, 1969, Academic Press ; also available as P-4251, The Rand Corporation, 1969).
|
| |
14
|
Levien, R., and M. E. Maron. Relational Data File: A Tool for Mechanized Inference Execution and Data Retrieval. The Rand Corporation, RM-4793-PR, December, 1965.
|
 |
15
|
|
| |
16
|
Reichenbach, H. Elements of Symbolic Logic. Macmillan Co., New York, 1947.
|
| |
17
|
Rosser, J. B. Logic for Mathematicians. McGraw-Hill, New York, 1953.
|
| |
18
|
Russell, B. An Inquiry into Meaning and Truth. Penguin Books, Baltimore, Maryland, 1962.
|
| |
19
|
Tarski, A. On the calculus of relations. J. Symbolic Logic, v. 6, pp. 73-89, 1941.
|
| |
20
|
Whitehead, A. N., and B. Russell Principia Mathematica (Second Edition), Cambridge University Press, 1950.
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf