73149 - Logic for Informatics (1)

Academic Year 2023/2024

  • 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)

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.


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.

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