AI from TAU - Useful Links

Artificial Intelligence: History, Philosophy and Practice

Mirror Site
(U.S.A.)

contact

Suggest a
Site

Department

Faculty

University

Philosophy Sites on the Internet

AI Links

Table of Contents

Category	Sub category
History of AI
Philosophy of AI	Philosophy of AI Resources Alan Turing Kurt Gödel's Theorem John McCarthy Marvin Minsky Searle, Strong AI & Weak AI Connectionism
Logic	Logic Directories Fuzzy Logic Logic Journals
AI Programming Languages	LISP Prolog Logic Programming
AI Application Areas	Artificial Life Data Mining Expert Systems Game Playing Genetic Algorithms Machine Learning Natural Language Processing Neural Networks / PDP Robotics
Associations & Societies
Journals
Newsgroups
Courses	AI Courses Philosophy of AI Courses
Bibliographies
AI Directories	AI and Computer Repositories Links Indices
Dictionaries and Encyclopedias

The History of AI

Proposal for Dartmouth Summer Research Project on Artificial Intelligence. By J. McCarthy, M. L. Minsky, N. Rochester and C.E. Shannon.
The History of Artificial Intelligence. From ThinkQuest's Introduction to the Science of Artificial Intelligence.
History of Lisp. By John McCarthy.
LISP History according to Herbert Stoyan's reading and analysis of the documents.
History of Cybernetics and Systems Science. From Principia Cybernetica Web.
Time line of Computing History. From the Institute of Electrical and Electronics Engineers.
History of Calculating Machines
ENIAC 50th Anniversary Celebration- The Birth of the Information Age
Historic Computer Images
The Computer Museum
Pioneers of Computing. Part of The Virtual Museum of Computing (VMoC).
IEEE Annals of the History of Computing (The full text of Annals is available to Computer Society members).
Tools For Thought: The People and Ideas of the Next Computer Revolution (1985). An on-line book by Howard Rheingold.
Charles Babbage (1791-1871) :
- The Babbage Pages
- Some links to information on Charles Babbage
- The Charles Babbage Institute of Computer History (CBI)
Ada Byron, Lady Lovelace (1815-1852):
- Ada Byron King, Countess of Lovelace
- Ada Lovelace's Notes and The Ladies Diary
- Ada Lovelace
Vannevar Bush (1890-1974):
- As We May Think (1945)
Norbert Wiener (1894-1964):
- Biography
- Wiener: Ideas. From Cybermedia, by Mindy McAdams.
Claude Shannon (1916 - ):
- Claude Shannon Biography
- Heroes of Cyberspace: Claude Shannon. by Charles A. Gimon.
Alan Turing (1912-1954) - See below.
John McCarthy - See below.
Marvin Minsky - See below.

Back to the table of contents

Philosophy of AI

Philosophy of AI Resources

Philosophy of Artificial Intelligence - Part 4 of David Chalmers' remarkable Contemporary Philosophy of Mind: An Annotated Bibliography. See also in his Online papers on consciousness index, the links lists of Consciousness and artificial intelligence, The Chinese Room, Godel's theorem and AI, The Turing test and Philosophy of AI (misc.).
Constructions of the Mind: Artificial Intelligence and the Humanities. A Special issue of Stanford Humanities Review that was devoted to the exploration of convergences and dissonances between Artificial Intelligence and the Humanities.
Peter Suber's "Minds & Machines" collection of links.

Alan Turing

Computing machinery and intelligence . By A. M. Turing.
The Alan Turing Home Page. Maintained by Andrew Hodges.
Turing Machines I and Turing Machines II. Both By Peter Suber.See also his impressive Logical Systems course home page.
Turing Machine. From Stanford Encyclopedia of Philosophy.
The Church-Turing Thesis. From Stanford Encyclopedia of Philosophy.
Turing's World
The Turing Test Home Page. By Ayse Pinar.
Alan Turing. By Andreas Ehrencrona.
See also the list of on-line papers on Turing test from David Chalmers' Online papers on consciousness.
Home Page of The Loebner Prize--"The First Turing Test"

Kurt Gödel's Incompleteness Theorem

The Implications of Gödel's Theorem (1998). By J.R. Lucas.
Kurt Gödel and his Impact on A.I.. By Werner DePauli-Schimanovich.
Mind Versus Gödel. By Damjan Bojadziev.
The Life and Work of Kurt Gödel. By Christopher J. Brady.
Gödel's Proof and Kurt Gödel in Blue Hill. By Peter Suber.
The Kurt Gödel Society
Gödel's Incompleteness Theorem. By William Denton.

John McCarthy Home Page.

McCarthy's Programs with Common Sense (1958). The first paper ever on logical AI. (pdf version of the paper).
LISP History according to McCarthy's memory in 1978.
Some Philosophical Problems From the Standpoint of Artificial Intelligence (1969). On-line paper of John McCarthy and Patrick J. Hayes. (pdf version).
Epistemological Problems of Artificial Intelligence. (pdf version).
Ascribing Mental Qualities to Machines (1979). (pdf version).
The Little Thoughts of Thinking Machines (1983). (pdf version).
From Here to Human-level AI (1996). (pdf version).
Concepts of Logical AI is a a collection of characterizations of various concepts of logical AI. (pdf version).
Making Robots Conscious of their Mental States (1995).
What is Artificial Intelligence?. John McCarthy gives non-technical answers to some frequently asked questions. (pdf version).
Artificial Intelligence and Philosophy. (pdf version).

Marvin Minsky Home Page

Searle, Strong AI and Weak AI

Is the Brain a Digital Computer?. By John Searle.
Minds, Brains, and Programs. By John Searle.
The Chinese Room Argument. From the Internet Encyclopedia of Philosophy.
Minds, Machines and Searle (1989) and Other bodies, Other minds: A machine incarnation of an old philosophical problem (1991), both by Stevan Harnad. See also his list of e-prints on cognitive psychology.
John R. Searle's Chinese room. A case study in the philosophy of mind and cognitive science.
Searle's Chinese Box: The Chinese Room Argument and Artificial Intelligence (1993). A doctoral dissertation by Larry Hauser. See also Searle's Chinese Box: Debunking the Chinese Room Argument (1997), Why Isn't My Pocket Calculator a Thinking Thing and Acting, Intending, and Artificial Intelligence (1994) from the same author.
The Mind as the Software of the Brain. By Ned Block.
What is Functionalism? By Ned Block.
minds and machines. By James H. Fetzer.
Daniel C. Dennett's Consciousness in Human and Robot Minds (1994), Cog as a Thought Experiment (1995) and Did HAL Commit Murder? (1996). See also his Publications List.

Connectionism

A Brief History of Connectionism. By David A. Medler.
Connectionism & the Study of Change. BY Bates and Elman.
Artificial Intelligence and Connectionism: Some Philosophical Implications. By Ivan M.Havel.
Neural Networks, Connectionist Systems, and Neural Systems. From CMU Artificial Intelligence Repository.
Neural Nets. By Kevin Gurney.
Neural Networks. The official journal of the International Neural Network Society, European Neural Network Society and Japanese Neural Network Society.

Back to the table of contents

Logic

Logic Resources Directories

LogicAL : Logic, Philosophy, and Artificial Life Resources

Fuzzy Logic

Fuzzy Logic, Applications and Related Areas. From LogicAL.
Introduction to Fuzzy logic. From CFL.
Quadralay Fuzzy Logic Archive
Fuzzy Logic Sources of Information
Fuzzy Logic and Neurofuzzy resources
The Fuzzy Logic Laboratorium
Japan Society for Fuzzy Theory and Systems
Fuzzy Sets and Systems.
Fuzzy Logic Reservoir. From Ortech Engineering Inc.
comp.ai.fuzzy- Fuzzy Logic Newsgroup

Logic Journals

Back to the table of contents

AI Programming Languages

Lisp

An Introduction to Common Lisp. By Marty Hall.
Common Lisp the Language, 2nd Edition. An on-line book by by Guy L. Steele.
Lisp Tutor
Common Lisp HyperSpec
Lisp Programming. By Keith Downing.
Lisp FAQ. From CMU's AI Repository.
Lisp: Good News, Bad News and How to Win Big. By Richard P. Gabriel.
Lisp Resources
History of Lisp. By John McCarthy.
LISP History according to Herbert Stoyan's reading and analysis of the documents
The Association of Lisp Users
LISP newsgroup: comp.lang.lisp

Prolog

Prolog Resource Guide. From CMU's AI Repository.
Adventure in Prolog. Published by Amzi! inc.
Introduction to Prolog. Part of the course of C.A. Sammut & A. Sowmya from the University of New South Wales .
Roman Bartak's On-line Guide to Prolog Programming
Logic Programming Links Index. From the Virtual Library .
Prolog newsgroup: comp.lang.prolog

Logic Programming

Back to the table of contents

AI Application Areas

Artificial Life

Artificial Life Links. From AI lab, University of Zürich.
Artificial Life Bibliography of On-line Publications. By Ezequiel A Di Paolo.
Artificial Life and Genetic Algorithms
Self-Reference in Biological and Cognitive Systems. Volume 12 Numbers 1-2 1995 of Communication and Cognition - Artificial Intelligence (CCAI).
Evolutionary Systems and Artificial Life (Lecture Notes). By Luis M. Rocha.
The origins of intelligence. Luc Steels.
Artificial Life: Synthetic Versus Virtual (1993) By Stevan Harnad. See also his Levels of Functional Equivalence in Reverse Bioengineering: The Darwinian Turing Test for Artificial Life (1994).
The Artificial Self-Replication Page. By Moshe Sipper.
Intelligent Systems
Excerpt from Introduction to Artificial Life. By Christoph Adami.

Data Mining

The Data Mine. Provides information about Data Mining and Knowledge Discovery in Databases (KDD).
Machine Discovery Terminology. By Willi Kloesgen & Jan Zytkow.
Data Mining and Knowledge Discovery. A journal published by Kluwer Academic Publishers

Expert Systems

Game Playing