AI Memo
Encyclopedia
The AI Memos are a series of influential memorandum
s and technical report
s published by the MIT AI Lab
, Massachusetts Institute of Technology
, USA. They cover Artificial Intelligence
, a field of computer science
.
Noteworthy memos in the series include:
Memorandum
A memorandum is from the Latin verbal phrase memorandum est, the gerundive form of the verb memoro, "to mention, call to mind, recount, relate", which means "It must be remembered ..."...
s and technical report
Technical report
A technical report is a document that describes the process, progress, or results of technical or scientific research or the state of a technical or scientific research problem. It might also include recommendations and conclusions of the research...
s published by the MIT AI Lab
MIT Computer Science and Artificial Intelligence Laboratory
MIT Computer Science and Artificial Intelligence Laboratory is a research laboratory at the Massachusetts Institute of Technology formed by the 2003 merger of the Laboratory for Computer Science and Artificial Intelligence Laboratory...
, Massachusetts Institute of Technology
Massachusetts Institute of Technology
The Massachusetts Institute of Technology is a private research university located in Cambridge, Massachusetts. MIT has five schools and one college, containing a total of 32 academic departments, with a strong emphasis on scientific and technological education and research.Founded in 1861 in...
, USA. They cover Artificial Intelligence
Artificial intelligence
Artificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, a field of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
.
Noteworthy memos in the series include:
- AI Memo 39, "The New Compiler", describing the first implementation of a self-hostingSelf-hostingThe term self-hosting was coined to refer to the use of a computer program as part of the toolchain or operating system that produces new versions of that same program—for example, a compiler that can compile its own source code. Self-hosting software is commonplace on personal computers and larger...
compiler (for LISP 1.5) - AI Memo 41, "A Chess Playing Program", describing Kotok-McCarthyKotok-McCarthyKotok-McCarthy also known as was the first computer program to play chess convincingly. It is also remembered because it played in and lost the first chess match between two computer programs.-Development:...
, the first computer program to play chessChessChess is a two-player board game played on a chessboard, a square-checkered board with 64 squares arranged in an eight-by-eight grid. It is one of the world's most popular games, played by millions of people worldwide at home, in clubs, online, by correspondence, and in tournaments.Each player...
convincingly - AI Memo 239 (1972), also known as HAKMEMHAKMEMHAKMEM, alternatively known as AI Memo 239, is a February 1972 "memo" of the MIT AI Lab that describes a wide variety of hacks, primarily useful and clever algorithms for mathematical computation. There are also some schematic diagrams for hardware...
, a compendium of hacks and algorithms - SussmanGerald Jay SussmanGerald Jay Sussman is the Panasonic Professor of Electrical Engineering at the Massachusetts Institute of Technology . He received his S.B. and Ph.D. degrees in mathematics from MIT in 1968 and 1973 respectively. He has been involved in artificial intelligence research at MIT since 1964...
and SteeleGuy L. Steele, Jr.Guy Lewis Steele Jr. , also known as "The Great Quux", and GLS , is an American computer scientist who has played an important role in designing and documenting several computer programming languages.-Biography:...
's Lambda Papers:- AI Memo 349 (1975), "Scheme: An Interpreter for Extended Lambda Calculus"
- AI Memo 353 (1976), "Lambda: The Ultimate Imperative"
- AI Memo 379 (1976), "Lambda: The Ultimate Declarative"
- AI Memo 443 (1977), "Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO"
- AI Memo 453 (1978), "The Art of the Interpreter of, the Modularity Complex (Parts Zero, One, and Two)"
- AI Technical Report 474 (1978), "RABBIT: A Compiler for SCHEME"
- AI Memo 514 (1979), "Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode"
External links
- AI Memos (1959–2004) collection at DSpace at MIT
- AI Series historical archive at the CSAIL Publications and Digital Archive