Master Programme in
Computer Science
Formal Methods in AI-Based Systems Engineering, part 2
2022/2023 edition
Sapienza course ID: 10607006
Number of credits: 6 (part 2 will roughly account for 3 credits)
Tutor: Dr. Marco Esposito
Course structure
The course on "Formal Methods for AI-Based Systems Engineering" is logically split in two parts:
This website mainly focuses on Part 2.
Detailed information on Part 1 can be accessed from within the Prof. Salvo web pages.
Prerequisites
Students should have good knowledge in:
- Imperative and object-oriented programming in any high-level language
- Design of algorithms and data structures
- Mathematics and mathematical modelling (discrete and continouous mathematics)
- Logics and logic-based modelling (propositional and first order logics)
- Software Engineering
- Probability
- Automata, computational complexity, decidability
- General knowledge in Artificial Intelligence, both model-based (knowledge representation and reasoning) and data-driven (machine learning)
Namely, it is strongly recommended that students have attended a course in Artificial Intelligence like this one.
Students not familiar with Artificial Intelligence (both model-based and data-driven), are recommended to attend, in parallel, the Intelligenza Artificiale course (6 credits) taught by me (in Italian) during the 3rd year of the Laurea in Informatica (B.Sc. programme) at Sapienza University.
International students who prefer a course taught in English, are recommended to attend the Artificial Intelligence course (both units 1 and 2, for overall 12 credits) at the 2nd year of the Applied Computer Science and Artificial Intelligence B.Sc. programme at Sapienza University. Residual gaps should be covered autonomously.
Objectives
The course is aimed to the acquisition of logical and modelling knowledge for systems engineering based on artificial intelligence (AI).
Namely, the students will acquire knowledge on a wide portfolio of formal methods for AI-based systems engineering, in particular approaches to the formal verification and design optimization of complex systems.
Course programme at a glance
Part 1 (Professor in charge: Ivano Salvo)
Kripke structures, Temporal logics, the Model Checking Problem, complexity.
Buchi automata, on-the-fly computation, search space reductions, mu-calculus, OBDD.
Detailed information on Part 1 can be accessed from within the
Prof. Salvo web pages.
Part 2 (Professor in charge: Toni Mancini)
Part 2 will be devoted at activities primarily carried out by students. Namely, each student will be assigned a major topic in the area of AI-based systems engineering to investigate.
Students will be strictly supervised by the professor during their study and will present their assigned topic, including the associated reasoners available and/or developed by themselves, in multiple seminars to the whole class.
|
Home page