Browsing AI Technical Reports (1964  2004) by Issue Date
Now showing items 120 of 327

SIR: A Computer Program for Semantic Information Retrieval
(19640601)SIR is a computer system, programmed in the LISP language, which accepts information and answers questions expressed in a restricted form of English. This system demonstrates what can reasonably be called an ability ... 
Natural Language Input for a Computer Problem Solving System
(19640901)The STUDENT problem solving system, programmed in LISP, accepts as input a comfortable but restricted subset of English which can express a wide variety of algebra story problems. STUDENT finds the solution to a large ... 
PILOT: A Step Toward ManComputer Symbiosis
(19660901)PILOT is a programming system constructed in LISP. It is designed to facilitate the development of programs by easing the familiar sequence: write some code, run the program, make some changes, write some more code, ... 
ADEPT: A Heuristic Program for Proving Theorems of Group Theory
(19660901)A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its operation is basically heuristic, incorporating many ... 
Symbolic Mathematical Laboratory
(19670101)A large computer program has been developed to aid applied mathematicians in the solution of problems in nonnumerical analysis which involve tedious manipulations of mathematical expressions. The mathematician uses ... 
Some Aspects of Pattern Recognition by Computer
(19670201)A computer may gather a lot of information from its environment in an optical or graphical manner. A scene, as seen for instance from a TV camera or a picture, can be transformed into a symbolic description of points ... 
SyntaxBased Analytic Reading of Musical Scores
(19670401)As part of a larger research project in musical structure, a program has been written which "reads" scores encoded in an input language isomorphic to music notation. The program is believed to be the first of its kind. ... 
Symbolic Integration
(19670901)SIN and SOLDIER are heuristic programs in LISP which solve symbolic integration problems. SIN (Symbolic INtegrator) solves indefinite integration problems at the difficulty approaching those in the larger integral ... 
CARPS: A Program which Solves Calculus Word Problems
(19680701)A program was written to solve calculus word problems. The program, CARPS (CALculus Rate Problem Solver), is restricted to rate problems. The overall plan of the program is similar to Bobrow's STUDENT, the primary ... 
Computer Recognition of ThreeDimensional Objects in a Visual Scene
(19681201)Methods are presented (1) to partition or decompose a visual scene into the bodies forming it; (2) to position these bodies in threedimensional space, by combining two scenes that make a stereoscopic pair; (3) to ... 
Recognition of Topological Invariants by Iterative Arrays
(19691001)A study is made of the recognition and transformation of figures by iterative arrays of finite state automata. A figure is a finite rectangular twodimensional array of symbols. The iterative arrays considered are ... 
Computer Recognition of Prismatic Solids
(19700801)An investigation is made into the problem of constructing a model of the appearance to an optical input device of scenes consisting of planefaced geometric solids. The goal is to study algorithms which find the real ... 
Learning Structural Descriptions from Examples
(19700901)The research here described centers on how a machine can recognize concepts and learn concepts to be recognized. Explanations are found in computer programs that build and manipulate abstract descriptions of scenes ... 
Shape from Shading: A Method for Obtaining the Shape of a Smooth Opaque Object from One View
(19701101)A method will be described for finding the shape of a smooth apaque object form a monocular image, given a knowledge of the surface photometry, the position of the lightsource and certain auxiliary information to ... 
Information Processing and Transmission in Cellular Automata
(19710101)A cellular automaton is an iterative array of very simple identical information processing machines called cells. Each cell can communicate with neighboring cells. At discrete moments of time the cells can change from ... 
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language
(19710101)This paper describes a system for the computer understanding of English. The system answers questions, executes commands, and accepts information in normal English dialog. It uses semantic information and context to ... 
Computer Analysis of Visual Properties of Curved Objects
(19710501)A method is presented for the visual analysis of objects by computer. It is particularly well suited for opaque objects with smoothly curved surfaces. The method extracts information about the object's surface properties, ... 
A Parallel Processing Model of Musical Structures
(19710901)Euterpe is a realtime computer system for the modeling of musical structures. It provides a formalism wherein familiar concepts of musical analysis may be readily expressed. This is verified by its application to the ... 
Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot
(19720401)Planner is a formalism for proving theorems and manipulating models in a robot. The formalism is built out of a number of problemsolving primitives together with a hierarchical multiprocess backtrack control structure. ... 
Generating Semantic Descriptions From Drawings of Scenes With Shadows
(19721101)The research reported here concerns the principles used to automatically generate threedimensional representations from line drawings of scenes. The computer programs involved look at scenes which consist of polyhedra ...