Instructor: Professor Adina Magda Florea
Teaching Assistant: Serban Radu
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.
· Introduction to AI
· Search Methods: Blind search, Heuristic search, Constraint satisfaction problems
· Game playing
· Symbolic logic
· Theorem proving. Prolog
· Rule-based systems
· Frame systems
· Uncertain reasoning
· Automatic planning
· Machine learning: inductive learning
· Natural language understanding
· Introduction to Prolog
· Prolog techniques
· Search methods in Prolog
· Theorem proving
· Production rules in Prolog
· Machine learning in Prolog
A. Florea. Slides
A. Florea, A. Boangiu. Elemente de Inteligenta Artificiala
A. Florea. Bazele logice ale Inteligentei Artificiale
A. Florea, S. Radu, A. Mogos. Tehnici de Programare Prolog pentru Inteligenta Artificiala
Midterm exam 20%
Final exam 50%
Laboratory Assignments and work 30%
Note: You are required to have at least 6 class attendance to laboratory. No grades will be considered if you are bellow this limit!!
S. Russell, P. Norvig. Artificial Intelligence: A Modern Approach, Prentice Hall, 2002, http://aima.cs.berkeley.edu/
D. Poole, A. Mackworth, R. Goebel. Computational Intelligence – a Logical Approach. Oxford University Press, 1998.
AAAI Dynamic Library of Introductory Information about Artificial Intelligence
The Turing Test Page
The World Wide Web Virtual Library: Artificial Intelligence
Trading Agents Competition
MONET Network of excellence: IA in industrie
The Loebner Prize in AI
AI the movie: Steven Spielberg's film, A.I., 2001.