AI Memos (1959 - 2004): Recent submissions

Now showing items 496-498 of 1217

    • An Outlook on Truth Maintenance 

      McAllester, David A. (1980-08-01)
      Truth maintenance systems have been used in several recent problem solving systems to record justifications for deduced assertions, to track down the assumptions which underlie contradictions when they arise, and to ...

    • Mechanical Arm Control 

      Waters, Richard C. (1979-10-01)
      This paper discusses three main problems associated with the control of the motion of a mechanical arm. 1) Transformation between different coordinate systems associated with the arm. 2) Calculation of detailed ...

    • Learning Disjunctive Concepts From Examples 

      Iba, Glenn A. (1979-09-01)
      This work proposes a theory for machine learning of disjunctive concepts. The paradigm followed is one of teaching and testing, where the teaching is accomplished by presenting a sequence of positive and negative ...