- Docente: Aldo Gangemi
- Credits: 6
- SSD: INF/01
- Language: Italian
- Teaching Mode: Traditional lectures
- Campus: Bologna
- Corso: First cycle degree programme (L) in Philosophy (cod. 9216)
-
from Mar 31, 2025 to May 14, 2025
Learning outcomes
The student will know propositional calculus and first order logic. He will be able to write and understand logical propositions and to verify them.
Course contents
The students will master the basics of logic-based knowledge representation, intended as data suitable to machine querying jointly with automated reasoning. The course includes the following themes:
Knowledge Representation as computational logic methods: propositional logic, predicate logic, description logic, KR languages.
Representation will be presented both from a foundational (philosophical, cognitive) viewpoint, as well as optimal satisfaction of task-oriented requirements.
Some computational platforms will be used platform to learn, test, and apply the learnt methods, with examples from multiple domains.
Readings/Bibliography
Specific teaching materials, including papers, slides and exercises, will be available on the course site.
Anyways, the following texts can be used as a generic reference for the course:
Logic in Action course by Johan van Benthem group (only chapters 1:4): http://www.logicinaction.org
P. Hitzler, A. Gangemi, K. Janowicz, A. Krishnadi, V. Presutti (eds.). Ontology Engineering with Ontology Design Patterns: Foundations and Applications, IOS Press, Amsterdam (2016)
Teaching methods
The course will be given in frontal lectures of 2 hours each, possibly including host lectures.
The course may be complemented by hands-on projects in order to improve practical skills in realistic settings.
Assessment methods
The final exam will consist of a project work to be presented/defended with the teacher.
Students will work in small teams (typically 3 members), choosing a realistic domain or problem that can be modelled to satisfy user requirements.
The choice will be guided by the teacher, who will also accompany the teams in their work when needed. The work should be fairly spread among the members, and motivated during the exam presentation.
Students with disabilities and Specific Learning Disorders (SLD)
Students with disabilities or Specific Learning Disorders are entitled to special adjustments according to their condition, subject to assessment by the University Service for Students with Disabilities and SLD. Please do not contact teachers or Department staff, but make an appointment with the Service. The Service will then determine what adjustments are specifically appropriate, and get in touch with the teacher. For more information, please visit the page:
https://site.unibo.it/studenti-con-disabilita-e-dsa/en/for-students
Teaching tools
Besides the teaching facilities possibly installed in the lab, software tools for design, reasoning, querying, and visualising formal knowledge will be used on the existing machines by the students, either alone, in pairs, or in groups. The tools will enable the students to experiment a likely setting for real world knowledge representation projects.
Social media will be also used for informal interaction among students, and with the teacher.
Office hours
See the website of Aldo Gangemi
SDGs
This teaching activity contributes to the achievement of the Sustainable Development Goals of the UN 2030 Agenda.