Aula #1 - IA01: Logica del 1° Ordine: Sintassi
Aula #2 - IA02: Logica del 1° Ordine: Semantica
Aula #3 - IA03: Logica del 1° Ordine: Sistemi Formali
Aula #4 - IA04: Logica del 1° Ordine: Clausole
Aula #5 - IA05: Logica del 1° Ordine: Teorema di Herbrand
Aula #6 - IA06: Logica del 1° Ordine: Risoluzione Lineare
Aula #7 - IA07: Logica del 1° Ordine: Risoluzione SLD
Aula #8 - IA08: Logica del 1° Ordine: Alberi SLD
Aula #9 - IA09: Logica del 1° Ordine: Programmi Normali
Aula #10 - IA10.1 PROLOG. IB - Introduzione 1
Aula #11 - IA10.2 PROLOG. IB - Introduzione 2
Aula #12 - IA10.3 PROLOG. IB - Introduzione 3
Aula #13 - IA10.4 PROLOG. IB - Introduzione 4
Aula #14 - IA10.5 PROLOG. IB - Introduzione 5
Aula #15 - IA10.6 PROLOG. IB - Introduzione 6
Aula #16 - IA10.7 PROLOG. IB - Introduzione 7
Aula #17 - IA11.1 PROLOG. IB - Sintassi e Semantica 1
Aula #18 - IA11.2 PROLOG. IB - Sintassi e Semantica 2
Aula #19 - IA12.1 PROLOG. IB - Liste, Operatori, Artitmetica 1
Aula #20 - IA12.2 PROLOG. IB - Liste, Operatori, Aritmetica 2
Aula #21 - IA12.3 PROLOG. IB - Liste, Operatori, Aritmetica 3
Aula #22 - IA12.4 PROLOG. IB - Liste, Operatori, Aritmetica 4
Aula #23 - IA13.1 PROLOG. IB - il CUT \" ! \"
Aula #24 - IA13.2 PROLOG. IB - Negazione per Fallimento \" \\+\"
Aula #25 - IA14.1 PROLOG. IB - Gestione dei Termini
Aula #26 - IA15.1 PROLOG. IB - Gestione dell\'Input/Output
Aula #27 - IA16.1 PROLOG. IB - Gestione del DataBase Prolog
Aula #28 - IA18:1 Ricerca nello Spazio degli Stati: introduzione
Aula #29 - IA18:2 Ricerca nello Spazio degli Stati: BFS, DFS
Aula #30 - IA18:3 Ricerca nello Spazio degli Stati: UCS, DLS, IDS
Aula #31 - IA18:4 Ricerca nello Spazio degli Stati: DFS in Prolog
Aula #32 - IA18:5 Ricerca nello Spazio degli Stati: DLS, IDS in Prolog
Aula #33 - IA18:6 Ricerca nello Spazio degli Stati: BFS in Prolog
Aula #34 - IA18:7 Ricerca nello Spazio degli Stati: UCS in Prolog
Aula #35 - IA18:8 Ricerca nello Spazio degli Stati: ricerca bidirezionale in Prolog
Aula #36 - IA19.1 Ricerca con Funzione Euristica: Greedy Search
Aula #37 - IA19.2 Ricerca con Funzione Euristica: A*
Aula #38 - IA19.3 Ricerca con Funzione Euristica: implementazione GS in Prolog
Aula #39 - IA19.4 Ricerca con Funzione Euristica: implementazione A* in Prolog
Aula #40 - IA19.5 Ricerca con Funzione Euristica: IDA*, RBFS, SMA*
Aula #41 - IA19.6 Ricerca con Funzione Euristica: sulle euristiche
Aula #42 - IA20.1 Ricerca nel mondo reale: Ricerca Locale
Aula #43 - IA20.2 Ricerca nel mondo reale: Azioni NON deterministiche
Aula #44 - IA20.3 Ricerca nel mondo reale: Assenza o Carenza di Osservazioni
Aula #45 - IA20.4 Ricerca nel mondo reale: Agente esploratore
Aula #46 - IA21.1 Ricerca con Avversari: MiniMax
Aula #47 - IA21.2 Ricerca con Avversari: Potatura α-β
Aula #48 - IA21.3 Ricerca con Avversari: estensioni a casi realistici
Aula #49 - IA22.1. Pianificazione: ricerca in uno spazio di teorie logiche
Aula #50 - IA22.2. Pianificazione: STRIPS: pianificazione in PROLOG
Aula #51 - IA22.3. Pianificazione: STRIPS: another forward planner in PROLOG
Aula #52 - IA22.4. Pianificazione: STRIPS: Means-End planner in PROLOG
Aula #53 - IA22.5. Means-End planner con Goal Regression in PROLOG
Aula #54 - IA22.6. Pianificazione: verso un maggior realismo
Aula #55 - IA23.1 Forme di Inferenza Logica: DEduzione, ABduzione, INduzione
Aula #56 - IA23.2 Diagnosi basata sui princìpi primi
Aula #57 - IA23.3 MetaInterprete Prolog in Prolog
Aula #58 - IA23.4 MetaInterprete Prolog per Diagnosi Abduttiva
Aula #59 - IA24.1 Apprendimento Automatico: concetti introduttivi
Aula #60 - IA24.2 Apprendimento Automatico: induzione di regole in Prolog
Aula #61 - IA24.3 Apprendimento Automatico: induzione di alberi di decisione
Aula #62 - IA24.4 Apprendimento Automatico: induzione di alberi di decisione in PROLOG
Aula #63 - IA25.1 Rappresentazione della Conoscenza: OntoLogica
Aula #64 - IA25.2 Rappresentazione della Conoscenza: problematiche
Aula #65 - IA25.3 Rappresentazione della Conoscenza: formalismi
Aula #66 - IA26.1 LOGICA MODALE: rappresentare attitudini mentali
Aula #67 - IA26.2 LOGICA MODALE: sintassi e sistemi formali
Aula #68 - IA26.3 LOGICA MODALE: semantica dei mondi possibili
Aula #69 - IA27 1 Ragionamento Incerto Introduzione Vaghezza
Aula #70 - IA27 2 Ragionamento Incerto Probabilità Oggettiva Condizionale
Aula #71 - IA27 3 Ragionamento Incerto Teorema di Bayes Probabilità Soggettiva
Corso completo
con certificato!
Al completamento di questo corso, riceverai un certificato digitale.
Aumenti le sue possibilità di essere assunto qualificando le sue competenze con certificati.
Lezione al text 
Lezione al video 
