Now showing items 124-126 of 291

    • Virtual Inclusion 

      Chapman, David; Agre, Philip E. (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 

      Chapman, David (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 

      Highleyman, Liz A. (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 ...