Browsing AI Memos (1959 - 2004) by Author "Nevins, Arthur J."

Now showing items 1-3 of 3

    • A Human Oriented Logic for Automatic Theorem Proving 

      Nevins, Arthur J. (1972-10-01)
      The automation of first order logic has received comparatively little attention from researcher intent upon synthesizing the theorem proving mechanism used by humans. The dominant point of view [15], [18] has been that ...

    • Plane Geometry Theorem Proving Using Forward Chaining 

      Nevins, Arthur J. (1974-01-01)
      A computer program is described which operates on a subset of plane geometry. Its performance not only compares favorably with previous computer programs, but within its limited problem domain (e.g. no curved lines ...

    • A Relaxation Approach to Splitting in an Automatic Theorem Prover 

      Nevins, Arthur J. (1974-01-01)
      The splitting of a problem into subproblems often involves the same variable appearing in more than one of the subproblems. This makes these subproblems dependent upon one another since a solution to one may not qualify ...