CS 343: Artificial Intelligence

This course surveys major topics of AI, including Lisp and Symbolic Programming, Search, Knowledge Representation and Reasoning, and Natural Language Processing, with brief coverage of the Brain and Machine Vision.

How to Turn In Your Programs:

turnin --submit archana asgi myname-asgi

Syllabus

Lecture notes by Contents or Index

Vocabulary

Programming Assignments in Lisp reinforce the class material and give the student practice in using AI techniques so solve small but interesting problems.

Lisp Style and Efficiency     Paul Graham on Lisp

Program File Descriptions     FTP directory for Program Files

Midterm Study Guide     Alpha-Beta Search Exercise     Alpha-Beta Search Exercise Solution

Final Exam Study Guide     Alpha-Beta Search Problems     Alpha-Beta Search Answers

Unification Problems     Unification Problem Solutions

Predicate Calculus Story Problems     Solutions to Selected Story Problems     Hints for Solving Story Problems

Notes and Bibliography on the Human Brain

A.I. Laboratories and Links

• AAAI Site
• University of Texas
  • Intelligent Robotics Research
  • Machine Learning
  • Neural Nets
  • Texas Action Group
  • Knowledge-Based Systems
  • Automatic Programming
  • Physics Problem Solving
  • UT Computational Linguistics Lab
• M.I.T.
• Stanford AI Lab
  • Human Computer Interaction
  • Knowledge Systems Laboratory
  • Formal Reasoning Group
  • Natural Language Processing Group
• Carnegie Mellon University
  • Robotics Institute
  • Human Computer Interaction Institute
  • Language Technologies Institute
  • Center for Automated Learning and Discovery
• Language Technology World
• Computational Linguistics Sites
• Cycorp, an Austin company that produces the Cyc knowledge base
• Suggested Upper Merged Ontology (SUMO), a large hierarchical knowledge base.
• WordNet
• Statistical natural language processing and corpus links
• Eye and visual perception
• Semantic Web

Natural Language Question Answering

• U.T.: Geoquery
• M.I.T. START natural language system
  Q: Can you pass the Turing test?
  A: Unfortunately, I wasn't told if I can pass Turing Test.
• Ask Jeeves
• California Restaurants
• Babelfish (SYSTRAN) Translation
  English (quote from Paul Graham):

  Back when I was writing books about Lisp, I used to wish everyone understood it. But when we started Viaweb I found that changed: I wanted everyone to understand Lisp except our competitors.

  To German:

  Ziehen Sie wenn ich war Schreiben Bücher über LISP zurück, ich pflegte, jeder zu wünschen verstand es. Aber, als wir Viaweb begannen, fand ich, daß geändert: Ich wünschte jeder LISP ausgenommen unsere Konkurrenten verstehen.

  And back to English:

  Pull if I were letter books concerning LISP back, I tended, everyone to wish understood it. But, when we began Viaweb, I found that changed: I wished excluded our competitors to each LISP understand.