John McCarthy  Home/Search
Context Related
| mit.edu/people/jimmyli...McCarthy59.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/people/jimmylin/papers... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Similar documents based on text: More All
0.4: Artificial Intelligence, Logic And Formalizing Common Sense - McCarthy (1990) (Correct)
0.3: Recursive Functions of Symbolic Expressions and Their.. - McCarthy (1960) (Correct)
0.2: John McCarthy - Computer Science Department (Correct)
BibTeX entry: (Update)
J. McCarthy. Programs with common sense. In: M. Minsky, (Ed.), Semantic Information Processing, MIT Press, Cambridge, MA, pages 403--418, 1968. http://citeseer.ist.psu.edu/mccarthy68programs.html More
@inproceedings{ mccarthy59programs,
author = "John McCarthy",
title = "Programs with Common Sense",
booktitle = "Proceedings of the {T}eddington Conference on the Mechanization of Thought Processes",
publisher = "Her Majesty's Stationary Office",
address = "London",
pages = "75--91",
year = "1959",
url = "citeseer.ist.psu.edu/mccarthy68programs.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ai.mit.edu/people/jimmylin/papers/): More
Gathering Knowledge for a Question Answering System from.. - Katz, Lin, Felshin (2000) (Correct)
GaiaOS: An Infrastructure for Active Spaces - Román, Hess, Ranganathan.. (Correct)
Agents and the Semantic Web - Hendler (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC