- Docente: Michela Milano
- Credits: 12
- SSD: ING-INF/05
- Language: English
- Moduli: Michela Milano (Modulo 1) Mauro Gaspari (Modulo 2) Paolo Torroni (Modulo 3) Federico Chesani (Modulo 4)
- Teaching Mode: Traditional lectures (Modulo 1) Traditional lectures (Modulo 2) Traditional lectures (Modulo 3) Traditional lectures (Modulo 4)
- Campus: Bologna
- Corso: Second cycle degree programme (LM) in Artificial Intelligence (cod. 9063)
Learning outcomes
At the end of the course, the student knows the main knowledge representation techniques and reasoning methods that underlie artificial intelligence problem solving. The student is able to develop simple solvers for artificial intelligence systems.
Course contents
The course introduces the fundamental principles and methods used in Artificial Intelligence to solve problems, with a special focus on the search in the state space, planning, knowledge representation and reasoning, and on the methods for dealing with uncertain knowledge. The course will include hands-on labs and seminars on selected topics.
Prerequisites: user-level knowledge of a high-level programming language, in order to successfully understand case studies and applications presented during the lessons.
Part I (Module 1)
Module 1
- Introduction to Artificial Intelligence: historical perspective, main application fields, introduction to knowledge-based systems and architectural organization.
- Problem-solving in AI: representation through the notion of state, forward e backward reasoning, solving as a search and search strategies. Games. Constraint satisfaction problems.
- Local Search methods, meta heuristics, solving through decomposition, constraint relaxation, branch-and-bound techniques
- Introduction to Planning, Linear planning, partial order planning, graph-based methods (GraphPlan), Scheduling.
Part II (Modules 2, 3, and 4):
Module 2
- Introduction to knowledge representation and reasoning
- Representing Terminological Knowledge: semantic networks, description logics, foundation of ontologies
- Representing actions, situations, and events.
- Reasoning with Beliefs.
- Nonmonotonic Reasoning and reasoning with default Information, Truth Maintenance Systems.
Module 3
- Uncertainty
- Probabilistic Reasoning
Module 4
- Rule-based systems: Prolog and extensions, meta-interpreters, DCG, planning in prolog, Prolog for temporal reasoning with the Event Calculus, LPAD.
- Forward chaining and RETE, Drools
- Limits of KR based on Logic: Abductive, Inductive, and case-based reasoning. Fuzzy reasoning.
Readings/Bibliography
A comprehensive list of textbooks is available on the Web site, and it is reported also in the course slides.
Recommended textbook:- S. J. Russel, P. Norvig, Artificial Intelligence: A modern approach, Prentice Hall, International edition.
- R. J. Brachman, H. J. Levesque, Knowledge Representation and Reasoning, Elsevier, 2004.
- F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider (editors), The description logic handbook: Theory, implementation, and applications, Cambridge University Press New York, NY, USA, 2007
- Nils J. Nilsson: Artificial Intelligence: A New Synthesis, Morgan Kaufman, 1998.
- M. Ginsberg: Essentials of Artificial Intelligence, Morgan Kaufman,1993.
- P. H. Winston: Artificial Intelligence, Addison-Wesley, 1992.
Teaching methods
Frontal lessons based on slides, with discussion of practical examples and lab activities. Seminars and invited lectures. Autonomous lab activities are encouraged. The lecturers will suggest possible focussed projects. Topics proposed by the students are also welcome.
Assessment methods
The exam aims at assessing the student's knowledge and skills in the course topics and it consists of two independent parts:
- Part I, covering the material taught in the fall semester (Module 1),
- Part II, covering the material taught in the spring semester (Modules 2, 3 and 4).
Teaching tools
Relevant learning material, including course slides, will be made available via IOL.
The slides will include a comprehensive list of text books and manuals.
Suggestions for further readings, slides and notes about additional topics and exercises will be made available through the web site.
Office hours
See the website of Michela Milano
See the website of Mauro Gaspari
See the website of Paolo Torroni
See the website of Federico Chesani
SDGs
This teaching activity contributes to the achievement of the Sustainable Development Goals of the UN 2030 Agenda.