Experiments with a deductive question-answering program

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Experiments with a deductive question-answering program

Full text

Pdf (1.02 MB)

Source

Communications of the ACM archive
Volume 8 , Issue 12 (December 1965) table of contents

Pages: 792 - 798

Year of Publication: 1965

ISSN:0001-0782

Author

James R. Slagle

Univ. of California, Livermore

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 15, Citation Count: 20

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/365691.365960 What is a DOI?

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	BERKELEY, E., AND BOBROW, D. (Eds.) The programming language LISP: Its operation and applications. Information International, Inc. Cambridge, Mass., 1964.
	2	BLACK, F. A deductive question answering system. Thesis, Harvard U., Cambridge, Mass., 1964.
	3	William S. Cooper, Fact Retrieval and Deductive Question-Answering Information Retrieval Systems, Journal of the ACM (JACM), v.11 n.2, p.117-137, April 1964 [doi>10.1145/321217.321218]
	4	Edward A. Feigenbaum , Julian Feldman, Computers and Thought, McGraw-Hill, Inc., New York, NY, 1963
	5	MCCARTHY, J. Programs with common sense. Symp. Mechanization of Thoughts Processes. Nat. Physical Lab., Teddington, Middlesex, England, 1958.
	6	John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
	7	MCCARTHY, J. Situations, actiona & causal laws, Mem., Stanford Artificial Intelligence Proj., Stanford U., Palo Alto, Calif., July 1963.
	8	NEWELL, A. Some problems of basic organization in problem solving programs. In Self-Organizing Systems, p. 393, Spartan Books, Washington, D.C., 1962.
	9	RAPHAEL, B. A computer program which "understands", Proc. 1964 Fall Joint Comput. Conf., Spartan Books, Washington, D.C., 1964.
	10	SAFIER, F. The Mikado as an advice taker problem. Memo. Stanford Artificial Intelligence Proj., Stanford U., Palo Alto, Calif., July 1963.
	11	R. F. Simmons, Answering English questions by computer: a survey, Communications of the ACM, v.8 n.1, p.53-70, Jan. 1965 [doi>10.1145/363707.363732]
	12	Herbert A. Simon, Experiments with a Heuristic Compiler, Journal of the ACM (JACM), v.10 n.4, p.493-506, Oct. 1963 [doi>10.1145/321186.321192]
	13	SLAGLE, J. A heuristic program that solves symbolic integration problems in freshman calculus: symbolic automatic integrator (SAINT). Rep. 5 G-0001. MIT Licoln Lab., May 10, 1961; available from MIT Micorproduction service. Cambridge, Mass. Ref. No. H-295.
	14	James R. Slagle, A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, Journal of the ACM (JACM), v.10 n.4, p.507-520, Oct. 1963 [doi>10.1145/321186.321193]
	15	STEFFERUD, E. The logic theory machine: a model heuristic program. RAND Corp., Santa Monica, Calif., June 1963.

CITED BY 20

	James R. Slagle, Automatic Theorem Proving With Renamable and Semantic Resolution, Journal of the ACM (JACM), v.14 n.4, p.687-697, Oct. 1967
	C. Cordell Green , Bertram Raphael, The use of theorem-proving techniques in question-answering systems, Proceedings of the 1968 23rd ACM national conference, p.169-181, August 27-29, 1968
	R. E. Levien , M. E. Maron, A computer system for inference execution and data retrieval, Communications of the ACM, v.10 n.11, p.715-721, Nov. 1967
	Arthur J. Nevins, A Programming Language With Automatic Goal Generation and Selection, Journal of the ACM (JACM), v.17 n.2, p.216-230, April 1970
	James R. Slagle , John K. Dixon, Experiments with the M & N tree-searching program, Communications of the ACM, v.13 n.3, p.147-154, March 1970
	G. Salton, Information science in a Ph.D. computer science program, Communications of the ACM, v.12 n.2, p.111-117, Feb. 1969
	Robert F. Simmons, Natural language question-answering systems: 1969, Communications of the ACM, v.13 n.1, p.15-30, Jan. 1970
	Zohar Manna , Richard J. Waldinger, Toward automatic program synthesis, Communications of the ACM, v.14 n.3, p.151-165, March 1971
	Arnold W. Pratt , Milos G. Pacak, Automated processing of medical English, Proceedings of the 1969 conference on Computational linguistics, p.1-23, September 01-04, 1969, Sång-Säby, Sweden
	T. E. Cheatham, Jr , Ben Wegbreit, A laboratory for the study of automating programming, ACM SIGSAM Bulletin
	T. E. Cheatham, Jr. , Ben Wegbreit, A laboratory for the study of automating programming, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
	Joe K. Clema , R. L. Didday , M. Wessler, Preliminary thoughts about a UNIversal TEAching Machine (UNITEAM), Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
	Joe K. Clema , R. L. Didday , M. Wessler, Preliminary thoughts about a UNIversal TEAching Machine (UNITEAM), Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
	J. E. Sammet, Challenge to artificial intelligence: programming problems to be solved, Proceedings of the 2nd international joint conference on Artificial intelligence, p.59-65, September 01-03, 1971, London, England
	Erik J. Sandewall, Concepts and methods for heuristic search, Proceedings of the 1st international joint conference on Artificial intelligence, p.199-218, May 07-09, 1969, Washington, DC
	Cordell Green, Application of theorem proving to problem solving, Proceedings of the 1st international joint conference on Artificial intelligence, p.219-239, May 07-09, 1969, Washington, DC
	Richard J. Waldinger , Richard C. T. Lee, PROW: a step toward automatic program writing, Proceedings of the 1st international joint conference on Artificial intelligence, p.241-252, May 07-09, 1969, Washington, DC
	Carl Hewitt, PLANNER: a language for proving theorems in robots, Proceedings of the 1st international joint conference on Artificial intelligence, p.295-301, May 07-09, 1969, Washington, DC
	K. E. Kennedy, A concurrent automatic programming system, Proceedings of the 46th Annual Southeast Regional Conference on XX, March 28-29, 2008, Auburn, Alabama
	Anirban Mukherjee , Utpal Garain, A review of methods for automatic understanding of natural language mathematical problems, Artificial Intelligence Review, v.29 n.2, p.93-122, April 2008