Programs with Common Sense,
Abstract
This paper discusses programs to manipulate in a suitable formal language (most likely a part of the predicate calculus) common instrumental statements. The basic program will draw immediate conclusions from a list of premises. These conclusions will be either declarative or imperative sentences. When an imperative sentence is deduced the program takes a corresponding action. These actions may include printing sentences, moving sentences on lists, and reinitiating the basic deduction process on these lists.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 18, 1963
- Accession Number
- AD0785044
Entities
People
- John McCarthy
Organizations
- Stanford University