Calendario delle lezioni

• 19 febbraio 2008 - Admin; Information R/evolution
• 21 febbraio 2008 - Information R/evolution
• 26 febbraio 2008 - Did you know?
• 28 febbraio 2008 - L'Ingegneria della Conoscenza e enunciati e mondo del discorso
• 4 marzo 2008 - Valutazione di un enunciato e problema del symbol grounding
  
• 6 marzo 2008 - Formule atomiche e connettivi
  
• 11 marzo 2008 - Connettivi
• 18 marzo 2008 - Quantificatori
• 1 aprile 2008 - Uguaglianza
• 3 aprile 2008 - Dualità dei quantificatori e Uguaglianza
• 8 aprile 2008 - FOL e Reificazione
  
• 10 aprile 2008 - Forma Logica e Deduzione
• 24 aprile 2008 - FOL e suo uso (preparazione I prova in Itinere)
• 29 aprile 2008 - lezione annullata causa inagurazione anno accademico
• 15 maggio 2008 - I prova in Itinere
• 20 maggio 2008 - Calcolo
• 22 maggio 2008 - Forma Concettuale e Contenuto
• 27 maggio 2008 - Esempi di Analisi Logica
• 29 maggio2008 - Esercizi di Analisi Logica e Q&A (preparazione II prova in Itinere)
• 3 giugno 2008 - Il Semantic Web
• 5 giugno 2008 - II Prova in Itinere

Materiale di supporto per il corso:

• 19 Febbriao 2008: lezione 1
  

• I-0 Informazioni amministrative [pdf]
• Information R/evolution su YouTube

• 21 Febbriao 2008: lezione 2
  

• I-1 Information R/evolution [pdf]
• Did you know? su YouTube
  

• 26 Febbriao 2008: lezione 3
  

• I-2 Did you Know? [pdf]
• Google PageRank [link]
  
• Squiggle: CEFRIEL's Semantic Search Engine [demo]
• MusicDNS [link]
  
• retrievr [demo]

• 28 Febbriao 2008: lezione 4
  

• I-3 Introduzione alla Ingegneria della Conoscenza [pdf]
• II-1 Enunciati e Mondo del Discorso [pdf]

• 4 Marzo 2008: lezione 5
  

• II-2 Valutazione del valore di verità di un enunciato [pdf]
• II-3 Symbol Grounding [pdf]
• Il problema del Symbol Grounding enunciato da Stevan Harnad [link]
  

• 6 Marzo 2008: lezione 6
  

• III-1 Formule atomiche [pdf]
• ESERCIZI di traduzione di formule atomiche [doc]
• III-2 Connettivi [pdf]
• ESERCIZI di traduzione di formule complesse [doc]

• 11 Marzo 2008: lezione 7
  

• sono sufficienti i lucidi sui connettivi distribuiti per la scorsa lezione

• 18 Marzo 2008: lezione 8
  

• useremo ancora i lucidi sui connettivi
• III-3 quantificatori
• ESERCIZI di traduzione di formule con quantificatore esistenziale[doc]

• 1 Aprile 2008: lezione 9
  

• useremo ancora i lucidi sui quantificatori
• ESERCIZI di traduzione di formule con quantificatore esistenziale e universale [doc]

• 3 Aprile 2008: lezione 10
  

• completeremo i lucidi su i quantificatori
• III-4 uguaglianza, quantificatori esistenziali numericamente delimitati e descrizioni definite

• 8 Aprile 2008: lezione 11
  

• III-5 FOL
• ESERCIZI di valutazione
• III-7 Reificazione

• 10 Aprile 2008: lezione 12
  

• IV-1 Forma Logica
• IV-2 Deduzione

• 24 Aprile 2008: lezione 13
  

• abbiamo corretto gli esercizi di valutazione
• III-6 FOL:istruzioni per l'uso
• ESERCIZI DI TRADUZIONE IN FOL

• 15 Maggio 2008: lezione 14
  

• I prova in Itinere
• risultati

• 20 Maggio 2008: lezione 15
  

• IV-3 Calcolo Logico

• 22 Maggio 2008: lezione 16
  

• IV-4 Forma Concettuale
• IV-5 Contenuto

• 27 Maggio 2008: lezione 17
  

• IV-6 Esempi di Analisi Logica

• 29 Maggio 2008: lezione 18
  

• esercizi di interpretazione di un calcolo logico
• Esercizi di analisi logica
  
• quello non è un corvo perché non è nero
• Barbara piange perché è una neonata
• Alice è infradiciata perché piove e non ha l'ombrello
• La macchina di Andrea è elettrica, quindi è silenziosa ma non è veloce
• La macchina di Barbara è veloce e rumorosa perché è una sportivce

• 3 Giugno 2008: lezione 19
  

• Il Semantic Web

• 5 Giugno 2008: lezione 20
  

• II prova in Itinere
• risultati