PLANNER: A Language for Proving Theorems

Hewitt, Carl

PLANNER: A Language for Proving Theorems

Download

Name

AIM-137.pdf

Size

1.49 MB

Format

Adobe PDF

Checksum (MD5)

803ac99df8fafa566776de5612c0cfd9

Download

Name

AIM-137.ps

Size

48.85 MB

Format

PostScript

Checksum (MD5)

58137f43abfb59402391050eec1cdae1

Author(s)

Hewitt, Carl

Date Issued

July 1, 1967

Series/Report no.

AIM-137

Abstract

The following is a description of SCHEMATISE, a proposal for a program that proves very elementary theorems though the use of planning. The method is most easily explained through an example die to Black.

Persistent DSpace Link

http://hdl.handle.net/1721.1/6144