Search Constraints
You searched for:
Date Range
1964
Remove constraint Date Range: 1964
Topic
Memo (Stanford Artificial Intelligence Laboratory)
Remove constraint Topic: Memo (Stanford Artificial Intelligence Laboratory)
« Previous |
1 - 10 of 14
|
Next »
Number of results to display per page
Search Results
- Title:
- A Formal Description of a Subset of ALGOL. AIM-024.
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- 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
- Title:
- A Formal System of Computation. AIM-025.
- Author:
- Mansfield, Richard
- Author (no Collectors):
- 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 Tough nut for Proof Procedures. AIM-016.
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- 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:
- An Expression Input Routine for LISP. AIM-018.
- Author:
- Hext, Jan
- Author (no Collectors):
- 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:
- Axiomatization and Implementation. AIM-015.
- Author:
- Finkelstein, Mark and Safier, Fred
- Author (no Collectors):
- 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
- Title:
- Computer Control of a Machine for Exploring Mars. AIM-014.
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Description:
- Landing a 5000 pound package on Mars that would spend a year looking for life and making other measurements has been proposed. We believe that this machine should be a stored program computer with sense and motor organs and that the machine should be mobile. We discuss the following points: 1. Advantages of a computer controlled system. 2. What the computer should be like. 3. What we can feasible do given the present state of work on artificial intelligence. 4. A plan for carrying out research in computer controlled experiments that will make the Mars machine as effective as possible.
- 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:
- January 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), January 1964
- Genre:
- memorandums
- Identifier:
- AIM-014
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Documentation of the MacMahon Squares Problem. AIM-012.
- Author:
- Feldman, Gary
- Author (no Collectors):
- Feldman, Gary
- Description:
- An exposition of the MacMahon Squares problem together with some 'theoretical' results on the nature of its solutions and a short discussion of an ALGOL program which finds all solutions are contained herein.
- 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:
- December 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), December 1964
- Genre:
- memorandums
- Identifier:
- AIM-012
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Experiments on Automatic Speech Recognition by a Digital Computer. AIM-026.
- Author:
- Reddy, D. Raj
- Author (no Collectors):
- Reddy, D. Raj
- Description:
- Speech sounds have in the past been investigated with the aid of spectographs, vo-coders and other analog devices. With the availability of digital computers with improved i-o devices such as Cathode Ray tubes and analog digital converters, it has recently become practicable to employ this powerful tool in the analysis of speech sounds. Some papers have appeared in the recent literature reporting the use of computers in the determination of the fundamental frequency and for vowel recognition. This paper discusses the details and results of a preliminary investigation conducted at Stanford. It includes various aspects of speech sounds such as waveforms of vowels and consonants; determination of a fundamental of the wave; Fourier (spectral) analysis of the sound waves format determination, simple vowel recognition algorithm and synthesis of sounds. All were obtained by the use of a digital computer.
- 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:
- October 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), October 1964
- Genre:
- memorandums
- Identifier:
- AIM-026
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Formal Description of the Game of Pang-Ke. AIM-017.
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Description:
- The game of Pang-Ke is formulated in a first-order-logic in order to provide grist for the Advice-Taker Mill. The memo does not explain all the terms used.
- 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-017
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Kalah -- the Game and the Program. AIM-022.
- Author:
- Russell, Richard
- Author (no Collectors):
- Russell, Richard
- Description:
- A description of Kalah and the Kalah program, including sub-routine descriptions and operating instructions.
- 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-022
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
