Artificial intelligence publications
-
A Question Answering System for AP Chemistry: Assessing KR Technologies
In this paper, we present a knowledge-based question-answering system that we developed as part of a broader effort by Vulcan Inc. to assess KR&R technologies, and the result of its…
-
OKBC: A Foundation for Knowledge Base Interoperability
Open Knowledge Base Connectivity is an application programming interface for accessing KRSs, and was developed to enable the construction of reusable KB tools.
-
Deductive Coordination of Multiple Geospatial Knowledge Sources
This theory lies at the core of the system GeoLogica, which deduces answers to geographical questions based on knowledge provided by multiple agents.
-
Research in Advanced Formal Theorem-Proving Techniques
This report summaries the results of a three-year project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial…
-
A Region-Oriented Data Structure
This technical note describes a region-based data structure that is easily obtained, lends itself to description of the data in a rich manner by a process of pointer reduction, and…
-
Survey of Artificial Intelligence
We shall be able to describe the principles underlying such Artificial Intelligence projects as: The General Problem-Solver, the Logic Theory Machine, Symbolic Integration, Geometry Theorem Proving, Theorem Proving in the…
-
Research on Intelligent Automata
The present automaton research project began in March 1966 and is presently funded until 5 October 1968.
-
Proposal for Research on Automatic Program Synthesis Systems
Develop a general plan to conduct sets of experiments which utilize results of the study to date.
-
A Plan for a Unified Program of Research in Artificial Intelligence at SRI
The AI research program described here has as its long term, unifying goal the task of building intelligent machines to perform useful tasks.
-
Engineering Change to Contract AF 30(602)-4147 for Application of Intelligent Automata to Reconnaissance
Engineering Change to Contract AF 30(602)-4147
-
Research on Intelligent Question-Answering Systems
This report describes progress toward an “intelligent question-answering system”-a system that can accept facts, retrieve items from memory, and perform logical deductions necessary to answer questions.
-
Survey of Artificial Intelligence
The end product of the proposed continuation would be a report or reports in which the major techniques and subject matter of Artificial Intelligence are presented and explained in a…