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.
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).
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 |
******** CSS e script comuni siti DOL - frase 9957 ********p>