Presentazione

Organizzazione della Didattica

DM270
DATA SCIENCE ORD. 2017


6

Corsi comuni

 

Frontali Esercizi Laboratorio Studio Individuale
ORE: 48 0 0 102

Periodo

AnnoPeriodo
I anno2 semestre

Frequenza

Facoltativa

Erogazione

Convenzionale

Lingua

Inglese

Calendario Attività Didattiche

InizioFine
26/02/201801/06/2018

Tipologia

TipologiaAmbitoSSDCFU
caratterizzanteTecnologie dell'informaticaINF/013
caratterizzanteTecnologie dell'informaticaING-INF/053


Responsabile Insegnamento

ResponsabileSSDStruttura
DA ASSEGNAREN.D.

Altri Docenti

Non previsti.

Attività di Supporto alla Didattica

Non previste.

Bollettino

Suggested basic knowledge of logics and statistics.

Introduce the students to the principles for logics for knowledge representation and reasoning, statistical relational learning, and the combination of the two in order to build system for learning and reasoning in hybrid domains.

Lectures supported by exercises and lab

(A) Logics for knowledge representation: (A.i) introduction to propositional logics, syntax, semantics, decision procedure. Satisfiability, weighted satisfiability, and best satisfiability. (A.ii) First order logics, syntax, semantics, resolution and unification. (A.iii) Fuzzy logics, syntax, semantics, and reasoning. (B) statistical relational learning: (B.i) Graphical models (B,ii) Markov Logic Networks (B.iii) Probabilistic prolog, (B.iii) Logic Tensor Networks

Final examination based on: written examination or project development.

Critical knowledge of the course topics. Ability to present and apply the studied material

, . : ,

Lecture notes and slides for the part not covered by textbooks will be provided.