Avvisi

Calendario delle Lezioni

• 23 febbraio 2009 - Informazioni Amministrative, Information R/evolution, Anatomia di un Semantic Search Engine (4 ore)
  
• 25 febbraio 2009 - Introduzione all'Ingegneria della Conoscenza, Enunciati e mondo del discorso, Valutazione di un enunciato (4 ore)
  
• 2 marzo 2009 - Symbol grounding, Formule atomiche e connettivi AND, NOT e OR (4 ore)
  
• 16 marzo 2009 - Connettivi CONDIZIONALE MATERIALE e BICONDIZIONALE (3 ore)
  
• 23 marzo 2009 - Quantificatore Esistenziale, quantificatore Universale e loro dualità (3 ore)
  
• 25 marzo 2009 - Uguaglianza ed espressioni Definite (3 ore)
  
• 30 marzo 2009 - FOL e suo uso (3 ore)
  
• 8 aprile 2009 - I prova in Itinere (3 ore - inclusa correzione)
  
• 15 aprile 2009 - Forma Logica, Deduzione e Calcolo (4 ore)
  
• 20 aprile 2009 - Forma Concettuale e Contenuto (4 ore)
  
• 29 aprile 2009 - Esempi di Analisi Logica (3 ore)
  
• 6 maggio 2009 - Il Semantic Web (4 ore)
• 13 maggio 2009 - Esempi di Analisi Logica e Q/A (3 ore)
  
• 3 giugno 2009 - II Prova in Itinere (3 ore - inclusa correzione)

23 febbraio 2009

• una versione on-line delle slide è disponibile nel mio teachingblog
  
• le slide scaricabili [ppt]
• Informazioni Amministrative
• Information R/evolution
• Anatomia di un Semantic Search Engine

25 febbraio 2009

• una versione on-line delle slide è disponibile nel mio teachingblog
  
• le slide scaricabili [ppt]
• Introduzione all'Ingegneria della Conoscenza
• Enunciati e mondo del discorso
• Valutazione di un enunciato

2 marzo 2009

• una versione on-line delle slide sarà presto disponibile nel mio teachingblog
  
• le slide scaricabili [ppt]
• Symbol grounding  
• Formule atomiche
• connettivi AND, NOT e OR

 ESERCIZI

• esercizi di traduzione di formule atomiche
• esercizi di traduzione di formule che usano i connettivi booleani di negazione e congiunzione
  

16 marzo 2009

• La lezione è basata sulle slide relative ai connettivi (distribuite la lezione precedente) eintroduce il CONDIZIONALE MATERIALE e il BICONDIZIONALE
• Alcuni link per approfondire (letture opzionali)
  
• La pagina di Wikipedia sul Condizionale Materiale
• La pagina di Wikipedia sui diagrammi di Johnston
• La pagina di Wikipedia sui paradossi del Condizionale Materiale

23 marzo 2009

• una versione on-line delle slide sarà presto disponibile nel mio teachingblog
  
• le slide scaricabili [ppt]
• Quantificatore Esistenziale, quantificatore Universale e loro dualità

 ESERCIZI

• esercizi sul quantificatore esistenziale
• esercizi sul quantificatore esistenziale e universale

25 marzo 2009

• una versione on-line delle slide sarà presto disponibile nel mio teachingblog
  
• le slide scaricabili [ppt]
• Uguaglianza ed espressioni Definite
  

30 marzo 2009

• una versione on-line delle slide sarà presto disponibile nel mio teachingblog
  
• le slide scaricabili [ppt]
• FOL
• Uso di FOL

15 aprile 2009

• una versione on-line delle slide sarà presto disponibile nel mio teachingblog
  
• le slide scaricabili [ppt]
• Forma Logica
  
• Deduzione
• Calcolo
  

20 aprile 2009

• una versione on-line delle slide sarà presto disponibile nel mio teachingblog
  
• le slide scaricabili [ppt]
• Forma Concettuale
  
• Contenuto

29 aprile 2009

• una versione on-line delle slide sarà presto disponibile nel mio teachingblog
  
• le slide scaricabili [ppt]
• Esempi di Analisi

4 maggio 2009

• una versione on-line delle slide sarà presto disponibile nel mio teachingblog
  
• le slide scaricabili [ppt]
• Semantic Web