Artificial intelligence publications
-
Research on Automatic Program-Synthesis Systems
We mean to devise a natural way to define program-writing problems and describe programming languages, and then improve the known methods of program synthesis and investigate new ones.
-
Pointing to Places in a Deductive Geospatial Theory
Issues in the description of places are discussed in the context of a logical geospatial theory.
-
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