Faculty of Automatic Control and Computers

University Politehnica of Bucharest

Department of Engineering Science
English Stream

Artificial Intelligence
Fall 2008


Course Information

Instructor: Professor Adina Magda Florea

Teaching Assistant: Serban Radu

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.



 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


Course materials
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!!

Midterm results

IVthe Year

Vth year


S. Russell, P. Norvig. Artificial Intelligence: A Modern Approach, Prentice Hall, 2002,

D. Poole, A. Mackworth, R. Goebel. Computational Intelligence a Logical Approach. Oxford University Press, 1998.


Online resources

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 Portal

AI the movie: Steven Spielberg's film, A.I., 2001.