Salta al contenuto principale della pagina

ARTIFICIAL INTELLIGENCE FOR ROBOTICS I

CODE 104734
ACADEMIC YEAR 2022/2023
CREDITS
  • 5 cfu during the 1st year of 10635 ROBOTICS ENGINEERING (LM-32) - GENOVA
  • SCIENTIFIC DISCIPLINARY SECTOR ING-INF/05
    LANGUAGE English
    TEACHING LOCATION
  • GENOVA
  • SEMESTER 1° Semester
    TEACHING MATERIALS AULAWEB

    OVERVIEW

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

    AIMS AND CONTENT

    LEARNING OUTCOMES

    The goal of the course is to provide the foundations of knowledge-based intelligent autonomous agents.

    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, description logics, and automated planning languages. 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 (possobly recorded) for the theory part;  practical sessions with the teacher to solve assigned exercises (possibly online)

    SYLLABUS/CONTENT

    Propositional logic: syntax, semantics, propositional knowledge bases, normal forms, inference procedures.

    First-Order Logic: representation, syntax and semantics, knowledge engineering, inference procedures.

    Classical Planning: definition, PDDL language, examples, planning as state-space search.

     

    RECOMMENDED READING/BIBLIOGRAPHY

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

    TEACHERS AND EXAM BOARD

    LESSONS

    Class schedule

    All class schedules are posted on the EasyAcademy portal.

    EXAMS

    EXAM DESCRIPTION

    Test with open and closed questions.

    ASSESSMENT METHODS

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