Intelligenza Artificiale 1

Comunicazioni

Programma

Argomenti generali del corso

lezioni

Knowledge Representation and Reasoning

Logica del primo ordine

Expressing Knowledge

Resolution

Clausole di Horn

Frames

Logiche Descrittive

Inheritance

Domande d'esame

FOL

Resolution

Clausole Di Horn

FRAMES

Description Logics

Inheritance Domande