- Docente: Maurizio Gabbrielli
- Credits: 9
- SSD: INF/01
- Language: Italian
- Teaching Mode: Traditional lectures
- Campus: Bologna
- Corso: Second cycle degree programme (LM) in Computer Science (cod. 8028)
Learning outcomes
At the end of the course the student will know the main techniques
and languages which are used to solve problems in artificial
intelligence.
Course contents
Introduction to AI. The notion of agent. Uninformed search.
Informed search.
Adversarial search. Notions of propositional and first order logic.
Unification. resolution.
Logic programming. Constraint programming. Constraint Satisfaction
Problems.
Constraint Handling Rules. Modeling and solving by using logical
agents. Planning
Readings/Bibliography
Russell, Norvig. Artificial Intelligence. Prentice Hall.
Other material will be indicated during the lectures.
Assessment methods
Written and/or oral examination.
Office hours
See the website of Maurizio Gabbrielli