Logics for knowledge representation Bolzano

This is the page that describes a course in Logic for Knowledge Representation by Luciano Serafini

The course is currently running at the Free University of Bolzano/Bozen

• CLASS: Introduction to logic (slides)
• EXERCISE: quick reading of new logics. In this exercise, students are asked to quickly read a paper that introduce a new logic and to produce a set of slides that describes the following points (a) what aspect of the world is formalized by the logic, (b) syntax, (c) semantics, (d) axiomatization. This might take about 2 hours. Here are examples of slides produced by the students:
  • Probabilistic Dynamic Epistemic Logic Barteld P. Kooi, Journal of Logic, Language and Information 12: 381–408, 2003. © 2003 Kluwer Academic Publishers. (slides by Ronald de Haan) (paper)
  • Dynamic logic (paper) (slides by Gil Vegliach and Sergey Paramonov)
  • A Decidable Dynamic Logic for Agents with Motivational Attitudes (paper) (slides by Martin Aleksandrov and Peter Skocovsky)
• CLASS: Introduction to ALC (slides)
• READINGS readings on ALC, Modal Logics, and Correspondence between ALC/Modal Logics with FOL
  • basic reading on ALC "Chapter 2 of the Handbook of Description Logics. Basic Description logics by F. Baader and V. Nutt
  • additional reading on bisimulartion: Modal logic: a semantic perspective by Patrick Blackburn and Johan van Benthem
• CLASS: reasoning in ALC (slides)
• READINGS Franz Baader and Ulrike Sattler, An Overview of Tableau Algorithms for Description Logics
• EXERCISES Worked out exercises on satisfiability in ACL can be found here
• CLASS: Introduction to DL's stronger than ALC (slides)
• CLASS: Reasoning with ACLI, ALCN, ALCQ,... SHIQ (slides)
• READINGS: see slides at:
  • http://www.cs.man.ac.uk/%7Ehorrocks/Teaching/cs646/Slides/pt3-dlreasoning.pdf
  • http://www.cs.man.ac.uk/%7Ehorrocks/Teaching/cs646/Slides/pt3a-advanced-algorithms.pdf
• CLASS Reasoning with Nominals (SHOIQ) (slides)
• READINGS
  • Ian Horrocks and Ulrike Sattler. 2007. A Tableau Decision Procedure for SHOIQ. J. Autom. Reason. 39, 3 (October 2007), 249-276.
  • I. Horrocks, O. Kutz, and U. Sattler. The Even More Irresistible SROIQ. In Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR-2006, Lake District UK), 2006.
  • Yevgeny Kazakov, An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ Conference on Automated Deduction - CADE , pp. 472-486, 2010
• CLASS Contextual reasoning. (no slides) see the article on introduction of contextual reasoning and decision procedure for contexts
• CLASS Propositional fuzzy logic slides
• READING
  • Basic results from sections 2.1, 2.2, 3.1, 4.1, 4.2 and 4.3 of Hajek, P. (1998), Metamathematics of fuzzy logic, Dordrecht: Kluwer.
  • Alternatively you can read the following tutorial
  • The original paper of Lofti A. Sadeh on fuzzy sets Information and Control, vol. 8, no. 3, pp. 338-353, June 1965.
  • For the last theorem in the slides you can read the paper Finitness in infinite-value Lukasiewicz logic By Stefano Aguzzoli and Agata Ciabattoni
• CLASS Fuzzy description logics slides
• READING The slides describes the content of the paper Fuzzy description logics with general t-norms and datatypes Fernando Bobillo and Umberto Straccia, April 2009