Programs with Common Sense

DMCA

Programs with Common Sense (1968)

Cached

Download Links

by John McCarthy

Venue:	Semantic Information Processing
Citations:	391 - 12 self

BibTeX

@INPROCEEDINGS{McCarthy68programswith,
    author = {John McCarthy},
    title = {Programs with Common Sense},
    booktitle = {Semantic Information Processing},
    year = {1968},
    pages = {403--418},
    publisher = {MIT Press}
}

OpenURL

Abstract

This paper will discuss programs to manipulate in a suitable formal lan- guage (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. Facilities will be provided for communication with humans in the system via manual intervention and display devices connected to the computer

Keyphrases

common sense imperative sentence basic program suitable formal lan guage basic deduction process immediate conclusion predicate calculus corresponding action manual intervention common instrumental statement display device

DMCA