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. 
 

 
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). 
 

Materiali relativi alla  parte del corso sulla Teoria della Computabilità

Dispense su Algoritmi, macchine, grammatiche

- slide computabilità parte 1
- slide computabilità parte 2A
- slide computabilità parte 2B
- slide computabilità parte 3
 

Materiali relativi alla parte del corso sull'Intelligenza Artificiale

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

Dispense di Rappresentazione della conoscenza

Dispense sul Connessionismo

- slide introduzione Intelligenza Artificiale
- slide capitolo 2 Burattini-Cordeschi
- slide capitolo 3 Burattini-Cordeschi
- slide capitoli 4-5 Burattini-Cordeschi
- slide connessionismo
- slide capitolo 6 Burattini-Cordeschi

Slide di Antonio Lieto su Linguaggi per il Web Semantico e Protegé

- Introduzione ai linguaggi per il web semantico
- Introduzione a Protegé