AI Working Papers (1971 - 1995): Recent submissions
Now showing items 124-126 of 291
-
Virtual Inclusion
(MIT Artificial Intelligence Laboratory, 1983-09)Several recent knowledge-representation schemes have used virtual copies for storage efficiency. Virtual copes are confusing. In the course of trying to understand, implement, and use Jon Doyle's SDL virtual copy mechanism, ... -
Naive Problem Solving and Naive Mathematics
(MIT Artificial Intelligence Laboratory, 1983-06)AI problem solvers have almost always been given a complete and correct axiomatization of their problem domain and of the operators available to change it. Here I discuss a paradigm for problem solving in which the problem ... -
The New Idiot's Guide to OZ
(MIT Artificial Intelligence Laboratory, 1988-02)This is a manual for complete beginners. It assumes no knowledge of the MIT computer systems. This guide will teach you how to log onto the computer called OZ, a DEC PDP-20 computer running the TWENEX (TOPS-20) operating ...


