Accession Number:

AD0785044

Title:

Programs with Common Sense,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

• McCarthy,John

Report Date:

1963-09-18

Pagination or Media Count:

10.0

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.

Descriptors:

• *Computer programming
• Mathematical logic
• Artificial intelligence

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE