Risultati della prova scritta del 29 gennaio 2009
 

Durata complessiva del corso: 60 ore (9cfu) 

Prerequisiti: Nessuno

Programma del corso

1a parte: Logica delle proposizioni e logica dei predicati
- Che cos'è e cosa studia la logica 
- La nozione di inferenza 
- La logica delle proposizioni 
- Inferenze proposizionali con il metodo degli alberi semantici 
- Il linguaggio della logica dei predicati 
- Formalizzare enunciati mediante il linguaggio predicativo 
- Inferenze predicative con il metodo degli alberi semantici 

2a parte: Ragionamento informale e argomentazione
- Inferenze logiche e ragionamenti ordinari 
- Fallacie ed errori di ragionamento 
- Inferenze non deduttive 

3a parte: Algoritmi, macchine e grammatiche
- La nozione di calcolo algoritmico 
- Le macchine di Turing e la teoria della calcolabilità 
- La tesi di Church 
- Macchine di Turing e calcolatori 
- Automi e grammatiche formali 
 

Risultati di apprendimento previsti
Scopo del corso è offrire una introduzione ai concetti di base della logica. Verranno trattate le nozioni di linguaggio formale e di calcolo logico con riferimento alla logica delle proposizioni e alla logica dei predicati del primo ordine; ampio spazio sarà dedicato alla formalizzazione di enunciati del linguaggio ordinario e all'esecuzione di esercizi e di inferenze con il metodo degli alberi semantici. Verranno presentate alcune nozioni relative al ragionamento informale e a tipi di ragionamento non deduttivo. Infine, verranno introdotte le nozioni di base della teoria della calcolabilità effettiva e della teoria delle grammatiche formali. 
 

Libri di testo

1a parte:  Dario Palladino, Corso di logica, Carocci, Roma, 2002: introduzione, capp. dall'1 al 5, 8 e 9 

2a parte: Marcello Frixione, Come ragioniamo, Laterza, Roma-Bari, 2007 

3a parte: dispense su Algoritmi, macchine, grammatiche

Qui potete trovare un'errata corrige del Corso di logica di Palladino (edizione del 2002; nella ristampa del 2003 gli errori sono stati corretti) dove sono segnalati, oltre a vari refusi, alcuni errori presenti negli esercizi. 
 

 
Risultati della prova scritta del 15 gennaio 2009

Durata complessiva del corso: 32 ore 

Scopo del corso è offrire una introduzione ai concetti di base della filosofia del linguaggio di impostazione analitica. Verranno presentati i principi della semantica filosofica a partire da Frege; verranno quindi approfonditi gli aspetti della pragmatica e lo studio filosofico dell'uso del linguaggio. 

Prerequisiti: Una conoscenza a livello introduttivo della logica (logica proposizionale e logica dei predicati) è auspicabile, anche se non strettamente indispensabile. Per chi non avesse mai frequentato un corso di logica è consigliabile la lettura di queste brevi dispense. 

1° modulo (2 crediti): Linguaggio, logica, significato
- La semantica di Frege 
- Dopo Frege: Russell e il Tractatuts di Wittgenstein 
- gli sviluppi della semantica formale 
- Teorie del riferimento diretto 
- Significato e uso nel secondo Wittegenstein 

Bibliografia: C. Penco, Introduzione alla filosofia del linguaggio, Laterza, Roma-Bari, capp. 1-9 

2° modulo (2 crediti): L’uso del linguaggio 
- Sintassi, semantica pragmatica 
- Contesto e significato 
- Atti linguistici 
- Conversazione, cooperazione e presupposizioni 

Bibliografia:
C. Penco, Introduzione alla filosofia del linguaggio, Laterza, Roma-Bari, capp. 10 e 11 
C. Bianchi, Pragmatica del linguaggio, Laterza, Roma-Bari 
 

 
Durata complessiva del corso: 60 ore (9 cfu) 

Programma del Corso
Il corso sarà dedicato alle nozioni di base della teoria della computazione e alle tecniche e ai modelli impiegati in Intelligenza Artificiale. Verranno introdotte  le nozioni di funzione calcolabile e di funzione ricorsiva generale; e verranno presentate le conseguenze teoriche della Tesi di Church. Verranno poi prese in considerazione sia la cosiddetta Intelligenza Artificiale "classica", sia gli sviluppi più recenti. Saranno trattati i metodi di risoluzione automatica dei problemi, i metodi di apprendimento automatico, i modelli connessionisti e neurali, le tecniche di pianificazione automatica, la visione artificiale. Verrà dedicata particolare attenzione alle tecniche di rappresentazione simbolica della conoscenza. Il corso prevede inoltre esercitazioni pratiche basate sull'impiego di un sistema di calcolo simbolico. 

Risultati apprendimento previsti
Al termine dell'attività formativa lo studente avrà acquisito una conoscenza introduttiva delle tecniche e dei modelli impiegati in Intelligenza Artificiale, con particolare attenzione ai modelli di rappresentazione della conoscenza e alla loro applicazione rispetto alle tecnologie della comunicazione in rete (Web semantico, ecc.). 

La conoscenza teorica di tali tecniche sarà associata all'abilità di impiegare un sistema di calcolo simbolico, padroneggiandone le tecniche di base (definizione ricorsiva di funzioni, manipolazione di liste, eccetera). 

Testi di riferimento
E. Burattini, R. Cordeschi (a cura di), Intelligenza artificiale. Manuale per le discipline della comunicazione, Carocci, Roma, 2001 

Dispense su Algoritmi, macchine, grammatiche

Ulteriori materiali verranno forniti durante il corso, e potranno essere scaricati da questa pagina