Calendar: 8-10-12 and 15-17-19 April 2024, 10-12am
Lecturers: Umberto Straccia and Giovanni Casini, CNR-ISTI, Pisa, Italy.
Attendance Mode: Online, Zoom link
Email: umberto.straccia@isti.cnr.it; giovanni.casini@isti.cnr.it
Academic Year: 2023/2024
Semester: 2
Hours: 12
Abstract: The course is a rigorous introduction to non-classical methods and tools for Representing and Reasoning, such as Fuzzy and Probabilistic reasoning, Defeasible and Counterfactual reasoning, Belief Change and Paraconsistent reasoning. Particular attention is devoted to those methods and tools that apply to the three main streams of Semantic Web languages: namely, triple languages RDF & RDFS, Conceptual languages OWL, OWL 2 and their Profiles (OWL EL, OWL QL and OWL RL), and rule-based languages such as SWRL and RIF.
Plan:
Lecture 1: Classical Logics and Knowledge Representation and Reasoning (KRR)
Lecture 2: Introduction to Semantic Web Languages (SWLs)
Lecture 3: Uncertainty and Fuzzyness in SWLs
Lecture 4: Non-monotonic and Conditional Reasoning
Lecture 5: Belief Change
Lecture 6: Paraconsistent Reasoning
Final exam: The exam will consist of the presentation of a research paper chosen by the lectures about one of the presented topics.
If you want to take the final exam, please contact the lecturers by email.