Logics for Ai
A.Y. 2025/2026
Learning objectives
Undefined
Expected learning outcomes
Undefined
Lesson period: Second semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
Single session
Responsible
Lesson period
Second semester
Course syllabus
- Propositional Logic
- Modal and Multi-modal Logic
- Temporal Logics
- Logics for Data, Bias and Trust
Moodle Site:
- Modal and Multi-modal Logic
- Temporal Logics
- Logics for Data, Bias and Trust
Moodle Site:
Prerequisites for admission
Knowledge of Propositional and First-Order Logic is recommended.
Teaching methods
Frontal lectures, flipped-class exercises, tests, peer-teaching, design labs, project-based learning.
Teaching Resources
Handouts by the Lecturer.
Additional material:
R.J. Brachman, H.J. Levesque. Knowledge Representation and Reasoning. MK, 2004. [selected chapters]
M.Huth, M.Ryan, Logic in Computer Science, CUP 2004. [selected chapters]
C. Bayer, J.P. Katoen, Principles of Model-Checking, MIT Press, 2008. [selected chapters]
G.Primiero. On the Foundations of Computing. OUP, 2019. [selected chapters]
Selection of scientific papers.
Additional material:
R.J. Brachman, H.J. Levesque. Knowledge Representation and Reasoning. MK, 2004. [selected chapters]
M.Huth, M.Ryan, Logic in Computer Science, CUP 2004. [selected chapters]
C. Bayer, J.P. Katoen, Principles of Model-Checking, MIT Press, 2008. [selected chapters]
G.Primiero. On the Foundations of Computing. OUP, 2019. [selected chapters]
Selection of scientific papers.
Assessment methods and Criteria
For attending students:
- flipped classroom exercise
- midterm assessment test
- deliverable (paper, software, library, etc.) on agreed upon topic
In case of missing or failing on at least one test, written exam at the end of the course with multiple-choice and open-ended questions to test understanding of concepts and definitions, with exercises formulated to assess problem-solving ability.
Non-attending students: written exam at the end of the course with multiple-choice and open-ended questions to test understanding of concepts and definitions, with exercises formulated to assess problem-solving ability.
- flipped classroom exercise
- midterm assessment test
- deliverable (paper, software, library, etc.) on agreed upon topic
In case of missing or failing on at least one test, written exam at the end of the course with multiple-choice and open-ended questions to test understanding of concepts and definitions, with exercises formulated to assess problem-solving ability.
Non-attending students: written exam at the end of the course with multiple-choice and open-ended questions to test understanding of concepts and definitions, with exercises formulated to assess problem-solving ability.
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 6
Lessons: 48 hours
Professor:
Primiero Giuseppe
Professor(s)
Reception:
Tuesdays, 14:00-17:00. Students are kindly asked to get in touch by email to confirm date and hour.
Teams/Slack