Artificial Intelligence (2005/2006)

Course partially running

Course code
4S00075
Name of lecturer
Maria Paola Bonacina
Number of ECTS credits allocated
5
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
First four month term for the second and later years dal Oct 3, 2005 al Dec 2, 2005.
Web page
http://profs.sci.univr.it/~bonacina/teachingUniVR/IA2005-06.html

Lesson timetable

First four month term for the second and later years
Day Time Type Place Note
Monday 9:30 AM - 11:30 AM lesson Lecture Hall C  
Tuesday 12:30 PM - 1:30 PM lesson Lecture Hall C  
Wednesday 9:30 AM - 11:30 AM lesson Lecture Hall C  

Learning outcomes

Objectives:

This class introduces the student to the field of Artificial Intelligence, presenting its basic problems, concepts and methods. After learning the general framework of automated problem solving, AI problems and techniques are studied through specific areas of AI, such as constraint problem solving, game playing, planning and reasoning. After taking this class, the student is ready to work on an LS/LM thesis in Artificial Intelligence.

Syllabus

Program:

Methods of Artificial Intelligence: problem solving as search in a state space: uninformed search procedures; informed search procedures and heuristic search; constraint problem solving: unification; propositional satisfiability (SAT); games (optional).
Knowledge representation: use of propositional logic and first-order logic.
Automated reasoning methods: resolution, tableaux or model elimination, paramodulation and rewriting (hints).
Planning (optional).

Reference books
Author Title Publisher Year ISBN Note
Elaine Rich, Kevin Knight Artificial Intelligence (Edizione 2) McGraw Hill 1991 0070522634 Altro libro di riferimento per intelligenza artificiale
Stuart Russell, Peter Norvig Artificial Intelligence -- A Modern Approach (Edizione 1) Prentice Hall 1995 0131038052 Versione originale della prima edizione del testo adottato
Stuart Russell, Peter Norvig Artificial Intelligence: A Modern Approach (Edizione 2) Prentice Hall 2003 0137903952 Versione originale del testo adottato
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier Automated Model Building (Edizione 1) Kluwer Academic Publishers 2004 1-4020-265 Libro di riferimento per ragionamento automatico
David Poole, Alan Mackworth, Randy Goebel Computational Intelligence -- A logical approach (Edizione 1) Oxford University Press 1998 0195102703 Altro libro di riferimento per intelligenza artificiale
Rolf Socher-Ambrosius, Patricia Johann Deduction Systems (Edizione 1) Springer Verlag 1997 0387948473 Libro di riferimento per ragionamento automatico
Klaus Truemper Design of Logic-based Intelligent Systems (Edizione 1) John Wiley and Sons 2004 0471484032 Libro di riferimento per ragionamento automatico
Raymond M. Smullyan First-order logic Dover Publications 1995 0486683702 Libro di riferimento per ragionamento automatico
Allan Ramsay Formal Methods in Artificial Intelligence (Edizione 1) Cambridge University Press 1989 0521424216 Libro di riferimento per ragionamento automatico
Judea Pearl Heuristics: Intelligent search strategies for computer problem solving (Edizione 1) Addison Wesley 1985 0-201-0559 Libro di riferimento per tecniche di ricerca
Stuart Russell, Peter Norvig Intelligenza artificiale: Un approccio moderno (Edizione 2) Pearson Education Italia 2005 88-7192-22 Adottato
Stuart Russell, Peter Norvig Intelligenza Artificiale: un approccio moderno (Edizione 1) UTET libreria 1998 Versione italiana della prima edizione del testo adottato
Chin-Liang Chang, Richard Char-Tung Lee Symbolic Logic and Mechanical Theorem Proving (Edizione 1) Academic Press 1973 0121703509 Libro di riferimento per ragionamento automatico
Alexander Leitsch The Resolution Calculus (Edizione 1) Springer 1997 3540618821 Libro di riferimento per ragionamento automatico