Knowledge representation and reasoning
A.A. 2024/2025
Obiettivi formativi
The main objective of the course is to provide the students with basic understanding of (logic-based) knowledge representation and reasoning.
The course presents important knowledge representation languages, their use and limitations, and techniques and tools for reasoning over them. After completing the course, the students will be able to handle the main tools and dive deeper into the theoretical results of the area.
The course presents important knowledge representation languages, their use and limitations, and techniques and tools for reasoning over them. After completing the course, the students will be able to handle the main tools and dive deeper into the theoretical results of the area.
Risultati apprendimento attesi
The expected learning results are:
- understand the main knowledge representation languages and their limitations
- learn to solve different reasoning tasks being aware of their complexity
- develop methods to derive logical consequences from explicit knowledge
- learn to analyse logical formulas and understand their intended meaning
- Apply logic-based knowledge representation to advanced AI applications
- understand the main knowledge representation languages and their limitations
- learn to solve different reasoning tasks being aware of their complexity
- develop methods to derive logical consequences from explicit knowledge
- learn to analyse logical formulas and understand their intended meaning
- Apply logic-based knowledge representation to advanced AI applications
Periodo: Primo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento può essere seguito come corso singolo.
Programma e organizzazione didattica
Edizione unica
Periodo
Primo semestre
Programma
- A Brief History of KR Languages
- Open-world vs. Closed-world Views
- The Representation of Concepts and Relations
- Standard Reasoning Techniques
- Dealing with Imperfect Knowledge
- Applications and Limitations of KR Methods
- Open-world vs. Closed-world Views
- The Representation of Concepts and Relations
- Standard Reasoning Techniques
- Dealing with Imperfect Knowledge
- Applications and Limitations of KR Methods
Prerequisiti
Basic notions of algebra, logic, and set theory
Metodi didattici
The course is mainly of a theoretical nature, and is based on frontal lectures. Slides and text handouts are provided in advance of each lecture. Exercises are provided for students to measure and deepen their understanding of the topic.
Materiale di riferimento
- Baader et al: Introduction to Description Logics
- Other material will be provided for the specific topics covered
- Other material will be provided for the specific topics covered
Modalità di verifica dell’apprendimento e criteri di valutazione
The course will be evaluated through a written exam based on multiple-answer, open-answer, and exercise solving questions. The exercises and examples provided during the lecture will serve as practice for the examination.
INF/01 - INFORMATICA - CFU: 6
Lezioni: 48 ore
Docente:
Penaloza Nyssen Rafael
Siti didattici