Abstract
A new data structure developed in connection with a natural language question-answering system is described. The data structure is based upon a new high-order calculus. It allows a great degree of expressiveness and is suitable for extensive logical deduction. The inadequacies of low-order schemes for the representation of natural language information are given. A formal description of the new high-order structure which overcomes these inadequacies is then presented along with the properties that make it more suitable and attractive for machine processing of natural language information.
Similar content being viewed by others
References
F. S. Black, “A deductive question-answering system,” in M. Minsky, ed.,Semantic Information Processing (MIT Press, Cambridge, Mass., 1968), pp. 354–402.
J. L. Darlington, “Translating ordinary language into symbolic logic,” MAC M-149, Project MAC Memo, Massachusetts Institute of Technology, Cambridge, Mass. (March 1964).
C. C. Green and B. Raphael, “The use of theorem proving techniques in question answering systems,”Proc. ACM Natl. Conf. 1968, pp. 169–181.
B. Raphael, “A computer program for semantic information retrieval,” in M. Minsky, ed.,Semantic Information Processing (MIT Press, Cambridge, Mass., 1968), pp. 33–145.
J. A. Robinson, “A machine-oriented logic based on the resolution principle,”J. ACM 12(1):23–41 (1965).
J. A. Robinson, “Mechanizing higher-order logic,” in B. Meltzer and D. Michie, eds.,Machine Intelligence 4 (American Elsevier, New York, 1969), pp. 151–170.
R. M. Schwarcz, J. F. Burger, and R. F. Simmons, “A deductive question-answerer for natural language inference,”Commun. ACM 13(1):167–183 (1970).
R. F. Simmons, “Answering English questions by computer: A survey,”Commun. ACM 8(1): 53–69 (1965).
R. F. Simmons, “Natural language question-answering systems: 1969,”Commun. ACM 13(1): 15–36 (1970).
R. F. Simmons, J. F. Burger, and R. M. Schwarcz,A Computational Model of Verbal Understanding, AFIPS, FJCC (Spartan Books, New York, 1968), pp. 441–456.
R. F. Simmons, S. Klein, and K. L. McConogue, “Indexing and dependency logic for answering English questions,”Am. Documentation 15(3): 196–204 (1964).
F. B. Thompsonet al., “Deacon breadboard summary,” RM 64TMP-9, TEMPO General Electric Company, Santa Barbara, Calif. (1964).
Author information
Authors and Affiliations
Additional information
This work is supported in part by the Office of Education under Grant OE C-1-7-071213-4557 and by the Joint Services Electronics Program under Contract DAAB-07-67-C-0199.
Rights and permissions
About this article
Cite this article
Biss, K.O., Chien, R.T. & Stahl, F.A. A data structure for cognitive information retrieval. International Journal of Computer and Information Sciences 1, 17–27 (1972). https://doi.org/10.1007/BF01108516
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01108516