- Title:
- A Formal Description of a Subset of ALGOL. AIM-024
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
-
We describe Microalgol, a trivial subset of Algol, by means of an interpreter. The notions of abstract syntax and of 'state of the computation' permit a compact description of both syntax and semantics. We advocate an extension of this technique as a general
way of describing programming language.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- September 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), September 1964
- Genre:
- memorandums
- Identifier:
- AIM-024
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
« Previous |
1 - 12 of 103
|
Next »
Number of results to display per page
Search Results
- Title:
- A Formal System of Computation. AIM-025
- Author:
- Mansfield, Richard
- Author (no Collectors):
- Mansfield, Richard
- Collector:
- Mansfield, Richard
- Description:
- We discuss a tentative axiomatization for a formal system of computation and within this system we prove certain propositions about the convergence of recursive definitions proposed by J. McCarthy.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- September 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), September 1964
- Genre:
- memorandums
- Identifier:
- AIM-025
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- A Proof-checker for Predicate Calculus. AIM-027
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
-
A program that checks proofs in J. A. Robinson's formulation of
predicate calculus has been programmed in LISP 1.5. The program is
available in CTSS at Project MAC and is also available as a card
deck. The program is used for class exercises at Stanford.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- March 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 1965
- Genre:
- memorandums
- Identifier:
- AIM-027
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- A Television Camera Interface for the PDP-1. AIM-034
- Author:
- Carah, Peter
- Author (no Collectors):
- Carah, Peter
- Collector:
- Carah, Peter
- Description:
-
This paper is a discussion of several methods for the connection of
a television camera to the PDP-1 computer. Three of these methds
are discussed in detail and have in common that only a 36 bit
portion of any horizontal scanning line may be read and this
information is read directly into the working registers of the
computer. The fourth involves a data channel to read information
directly into the core memory of the computer, and is mentioned only
in passing. The major concepts and some of the details of these
methods are due to Marvin Minsky.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- June 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), June 1965
- Genre:
- memorandums
- Identifier:
- AIM-034
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- A Tough nut for Proof Procedures. AIM-016
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
- It is well known to be impossible to tile with dominoes a checkerboard with two opposite corners deleted. This fact is readily stated in the first order predicate calculus, but the usual proof which involves a parity and counting argument does not readily translate into predicate calculus. We conjecture that this problem will be very difficult for programmed proof procedures.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- July 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), July 1964
- Genre:
- memorandums
- Identifier:
- AIM-016
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Alan Kay. Part 1
- Author:
- Kay, Alan Curtis, 1940-
- Author (no Collectors):
- Kay, Alan Curtis, 1940-
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_20
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Alan Kay. Part 2
- Author:
- Kay, Alan Curtis, 1940-
- Author (no Collectors):
- Kay, Alan Curtis, 1940-
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_21
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Alan Kay. Part 3
- Author:
- Kay, Alan Curtis, 1940-
- Author (no Collectors):
- Kay, Alan Curtis, 1940-
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_22
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Albert Yu
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Expert systems (Computer science), and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Identifier:
- SC340_albert_yu
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- An Expression Input Routine for LISP. AIM-018
- Author:
- Hext, Jan
- Author (no Collectors):
- Hext, Jan
- Collector:
- Hext, Jan
- Description:
- The expression input routine is a LISP function, Mathread [ ] with associated definitions, which reads in expressions such as (A+3-F(X,Y,Z)). Its result is an equivalent S-expression. The syntax of allowable expressions is given, but (unlike ALGOL's) it does not define the precedence of the operators; nor does the program carry out any explicit syntax analysis. Instead the program parses the expression according to a set of numerical precedence values, and reports if it finds any symbol out of context.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- July 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), July 1964
- Genre:
- memorandums
- Identifier:
- AIM-018
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- An on Line Algebraic Simplification Program. AIM-037
- Author:
- Korsvold, Knut
- Author (no Collectors):
- Korsvold, Knut
- Collector:
- Korsvold, Knut
- Description:
-
We describe an on-line program for algebraic simplification. The
program is written in LISP 1.5 for the Q-32 computer at System
Development Corporation in Santa Monica, California. The program
has in its entirety been written and debugged from a teletype
station at Stanford University.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- November 1, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), November 1, 1965
- Genre:
- memorandums
- Identifier:
- AIM-037
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Axiomatization and Implementation. AIM-015
- Author:
- Finkelstein, Mark and Safier, Fred
- Author (no Collectors):
- Finkelstein, Mark and Safier, Fred
- Collector:
- Finkelstein, Mark and Safier, Fred
- Description:
-
An example of a typical Advice-Taker axiomatization of a situation is given, and the situation is programmed in LISP as an indication
of how the Advice-Taker could be expected to react. The situation
chosen is the play of a hand of bridge.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- June 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), June 1964
- Genre:
- memorandums
- Identifier:
- AIM-015
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041