Programs With Common Sense. AIM-007
Abstract/Contents
- Abstract
Interesting work is being done in programming computers to solve
problems which require a high degree of intelligence in humans.
However, certain elementary verbal reaesoning processes so simple
they can be carried out by any non-feeble-minded human have yet to be
simulated by machine programs.This paper will discuss 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.Facilities will be provided for communication with humans in the
system via manual intervention and display devices connected to the
computer.
Description
Type of resource | text |
---|---|
Form | memorandums |
Extent | 1 text file |
Place | Stanford (Calif.) |
Date created | September 1963 |
Language | English |
Digital origin | reformatted digital |
Creators/Contributors
Author | McCarthy, John, 1927-2011 |
---|
Subjects
Subject | Stanford Artificial Intelligence Laboratory |
---|---|
Subject | Memo (Stanford Artificial Intelligence Laboratory) |
Subject | Artificial intelligence |
Genre | Memorandums |
Bibliographic information
Finding Aid | |
---|---|
Memo | AIM-007 |
Location | https://purl.stanford.edu/fr133hd6337 |
Location | SC1041 |
Repository | Stanford University. Libraries. Department of Special Collections and University Archives |
Access conditions
- Use and reproduction
- The materials are open for research use and may be used freely for non-commercial purposes with an attribution. For commercial permission requests, please contact the Stanford University Archives (universityarchives@stanford.edu).
- Copyright
- Copyright © The Board of Trustees of the Leland Stanford Junior University. All rights reserved.
Collection
Stanford Artificial Intelligence Laboratory records, 1963-2009
View other items in this collection in SearchWorksAlso listed in
Loading usage metrics...