OVERVIEW

The course introduces to the main themes of deductive-based Artificial Intelligence.

AIMS AND CONTENT

LEARNING OUTCOMES

The purpose of the module is to introduce the students to the foundations of logic and logic-based intelligent agents. The logics to be covered include propositional logic, first order logic and decidable sublasses of first order logic useful in robotic applications (modal and temporal logics, satisfiability modulo theory). For each logic, the formal syntax and semantics will be presented, as well as the related decision problems and reasoning algorithms.

AIMS AND LEARNING OUTCOMES

The course introduces the languages and the techniques through which intelligent agents can operate autonomously on a deductive basis. The aim of the course is to provide students with the capability of formalizing domains of interest in order to treat them in the context of autonomous intelligent agents, with specific reference to propositional logics, first-order logics, and description logics. The main result is the student's ability to frame the problems in a formal way and abstract their main features in a specification which makes computationally feasible to implement autonomous agents.

PREREQUISITES

Some preliminary knowledge of combinatorics, algebra and theoretical computer science are useful for a better understanding of the course material.

TEACHING METHODS

Lectures (possibly recorded) for the theory part;  practical sessions with the teacher to solve assigned exercises (possibly online)

Students who hold valid certificates relating to Specific Learning Difficulties (SLD), disabilities or other educational needs are invited to contact the lecturer and the school’s disability liaison officer at the start of the course to agree on any teaching arrangements which, whilst respecting the course objectives, take into account individual learning styles.

The contact details for the university’s disability liaison officer are available at the following link: https://unige.it/commissioni/comitatoperlinclusionedeglistudenticondisabilita.

SYLLABUS/CONTENT

Propositional logic: syntax, semantics, propositional knowledge bases, normal forms, automated deduction.

First-Order Logic: representation, syntax and semantics, knowledge engineering, automated deduction.

Description logics: syntax, semantics, ontology design, automated deduction

RECOMMENDED READING/BIBLIOGRAPHY

Stuart Russell, Peter Norvig - Artificial Intelligence, a Modern Approach (third edition) - Prentice Hall

TEACHERS AND EXAM BOARD

Exam Board

FULVIO MASTROGIOVANNI (President)

FABIO ROLI

ARMANDO TACCHELLA (President Substitute)

LESSONS

LESSONS START

https://easyacademy.unige.it/portalestudenti/index.php?view=easycourse&_lang=it&include=corso

Class schedule

The timetable for this course is available here: Portale EasyAcademy

EXAMS

EXAM DESCRIPTION

Test with open and closed questions and individual project on ontology design.

Students with certification of Specific Learning Disabilities (SLD), disabilities, or other special educational needs must contact the instructor at the beginning of the course to agree on teaching and examination methods that, while respecting the course objectives, take into account individual learning styles and provide appropriate compensatory tools. It is reminded that the request for compensatory/dispensatory measures for exams must be sent to the course instructor, the School representative, and the “Settore servizi per l'inclusione degli studenti con disabilità e con DSA” office (dsa@unige.it) at least 10 working days before the test, as per the guidelines available at the link: https://unige.it/disabilita-dsa

ASSESSMENT METHODS

Ability to formalize domain of practical interest and solve them using the techniques shown in the course.

FURTHER INFORMATION

Students with valid certifications for Specific Learning Disorders (SLD) may request accommodations for exams at least 7 days prior to the exam date by filling out the “accommodation request form” (available via online services at https://modulionline.unige.it/richiesta-adattamenti# no-back), which will be automatically forwarded by the system to the instructor in charge of the course and to the faculty liaison for students with disabilities and SLDs in their School/Department.

The student will receive a copy of their request.