University "Politehnica" of Bucharest  Department of Engineering Science English Stream, Electric, 5th Year Artificial Intelligence Fall 2005

Course Information

Instructor: Professor Adina Magda Florea
Email: adina@cs.pub.ro
Url: http://turing.cs.pub.ro/~adina

Teaching Assistant: Serban Radu
Email: serbanradu@cs.pub.ro

Class url: http://turing.cs.pub.ro/ai_2005

Course Description
    This course is about the theory and practice of Artificial Intelligence and is intended to give a broad overview of the major areas of AI. We will study modern techniques of how to build computer programs which represent task-relevant knowledge and make rational decisions in order to optimally get the problem solution.
    By the end of this course, you will have a thorough understanding of what is artificial intelligence, of the algorithmic foundations of AI, of what type of problems are best solved using AI techniques, and of how you should address and solve these problems. You will also see how the methods presented in the course are applicable in different areas such as industry, medicine, finance, etc.

Syllabus
Course
Introduction to AI

• Search Methods: Blind search, Heuristic search, Constraint satisfaction problems, Game playing
• Symbolic logic
• Theorem proving
• Rule-based systems
• Frame systems
• Uncertain knowledge: probabilities and heuristic methods
• Uncertain knowledge: belief networks
• Planning
• Machine learning: inductive learning
• Natural language processing

• Introduction to Prolog
• Prolog techniques
• Search methods in Prolog
• Theorem proving
• Production rules in Prolog
• Machine learning in Prolog

Grading
Midterm test 20%
Final exam 50%
Laboratory Assignments and work 30%

Note: You are required to have at least at least 60% class attendance to laboratory. No grades will be considered if you are bellow this limit!!

Bibliography

A. Florea, A. Boangiu. Elemente de Inteligenta Artificiala.
A. Florea. Bazele logice ale Inteligentei Artificiale.
A. Florea, B. Dorohonceanu, C. Francu. Programare in Prolog.
"Artificial Intelligence: A Modern Approach", S. Russell & P. Norvig, Prentice Hall, 1995
(errata, clarifications)
Artificial Intelligence: Structures and Strategies for Complex Problem Solving, G. Luger, W. Stubblefield, The Benjamin/Cummings Publishing Comp., 1993.
"Computational Intelligence. A Logical Approach", D. Poole, A. Mackworth, R. Goebel, Oxford University Press, 1998
"Artificial Intelligence: A New Synthesis", N. Nilsson, Morgan Kaufmann, 1998
"Logical Foundations of Artificial Intelligence", M.R. Genesereth and N. Nilsson, Morgan Kaufmann, 1987

Suggested Readings
Alan Turing historical paper and test
Computing Machinery and Intelligence, Mind, Vol. LIX. No.236, October, 1950, p.433.
http://www.abelard.org/turpap/turpap.htm
AI’s Greatest Trends and Controversies, IEEE Intelligent Systems (January/February 2000) http://www.computer.org/intelligent/articles/AI_controversies.htm
AI Overview http://www.aaai.org/AITopics/html/overview.html
The Alan Turing home page http://www.turing.org.uk/turing/
The Turing Test page http://cogsci.ucsd.edu/~asaygin/tt/ttest.html
Turing Test in 2000: BBC on Turing Test http://www.bbc.co.uk/science/tw/items/000322_turingtestresults.shtml
AI the movie: Steven Spielberg's new film, A.I., released in 2001. http://www.aaai.org/AITopics/html/aimovie.html

Steps Toward Artificial Intelligence, Marvin Minsky http://www.ai.mit.edu/people/minsky/papers/steps.html

Playing with AI. Edited by Haym Hirsh. IEEE Intelligent Systems, November/December 1999. http://www.computer.org/intelligent/ex1999/pdf/x6008.pdf

A Framework for Representing Knowledge, Marvin Minsky, MIT-AI Laboratory Memo 306, June, 1974. http://www.ai.mit.edu/people/minsky/papers/Frames/frames.html
 Marvin Minsky Wants Machines To Get Emotional, Interview by Tom Steinert-Threlkeld, Interactive Week, February 25, 2001
http://www4.zdnet.com/intweek/stories/news/0,4164,2689240,00.html