Programs with Common Sense,
STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software