Search
Now showing items 71-76 of 76
Merging Illustrations and Printing on Big Paper
(MIT Artificial Intelligence Laboratory, 1987-07)
How to guide for some of the printing utilities in the AI lab. Describes how TEX tiles are processed and how some illustrations may be merged into the final copy. Also describes how to use TEX to print on 8.5x14 (legal) ...
Gnat Robots (And How They Will Change Robotics)
(MIT Artificial Intelligence Laboratory, 1987-06)
A new concept in mobile robots is proposed, namely that of a gnat-sized autonomous robot with on-board sensors, brains, actuators and power supplies, all fabricated on a single piece of silicon. Recent breakthroughs in ...
Discovery Systems: From AM to CYRANO
(MIT Artificial Intelligence Laboratory, 1987-03)
The emergence in 1976 of Doug Lenat's mathematical discovery program AM [Len76] [Len82a] was met with suprise and controversy; AM's performance seemed to bring the dream of super-intelligent machines to our doorstep, with ...
Knowledge-Based Schematics Drafting: Aesthetic Configuration as a Design Task
(MIT Artificial Intelligence Laboratory, 1987-01)
Depicting an electrical circuit by a schematic is a tedious task that is a good candidate for automation. Programs that draft schematics with the usual algorithmic approach do not fully exploit knowledge of circuit function, ...
The Interaction Between Truth Maintenance, Equality, and Pattern-Directed Invocation: Issues of Completeness and Efficiency
(MIT Artificial Intelligence Laboratory, 1987-05)
We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, and pattern-directed invocation. This paper reports on the solution of two technical problems arising out of the interaction ...
ACE: A Cliché-based Program Structure Editor
(MIT Artificial Intelligence Laboratory, 1987-05)
ACE extends the syntax-directed paradigm of program editing by adding support for programming clichés. A programming cliché is a standard algorithmic fragment. ACE supports the rapid construction of programs through the ...