Logica fuzzy/2007-2008

News

Appelli

Su appuntamento.

Informazioni generali

Docenti

Vincenzo Marra
Stefano Aguzzoli

Corsi di laurea

Complementare per i corsi di laurea triennale in Informatica, Informatica per le Telecomunicazioni e Comunicazione Digitale e per il corso di laurea magistrale in Informatica.

Programma

• Prima Parte (Marra)

Introduzione alla logica fuzzy e alle sue applicazioni.
Logica proposizionale booleana.
Norme triangolari e relative logiche fuzzy.
Introduzione alla logica di Gödel.
Semantica della logica di Gödel.
Completezza della logica di Gödel.
Una semantica alternativa per la logica di Gödel.
Logica di Gödel e logica booleana a confronto.

• Seconda Parte (Aguzzoli)

Introduzione alla logica di Łukasiewicz.
Logica di Łukasiewicz e logica di Gödel a confronto.
Semantica della logica di Łukasiewicz: le MV-algebre di Chang.
Completezza della logica di Łukasiewicz.
Teorema di rappresentazione di McNaughton.
Complessità computazionale dei problemi di soddisfacibilità e tautologicità della logica di Łukasiewicz.
Un approccio generale alle gerarchie di logiche fuzzy: cenni a BL e MTL.

Seminari

• Nell'anno accademico 2007-2008 si prevedono i seminari seguenti:

Paolo Amato, ST Microelectronics. Titolo da stabilirsi. Data da stabilirsi.
Matteo Bianchi, Università di Milano. Estensioni predicative delle logiche fuzzy. Data da stabilirsi.
Simone Bova, Università di Siena. Introduzione alla Basic Fuzzy Logic di Hájek. Data da stabilirsi.

Modalità d'esame

L'esame consiste in un colloquio con i docenti sul programma del corso.

Gli studenti che ne facciano richiesta possono anche concordare con i docenti la redazione di una tesina o lo sviluppo di un progetto in sostituzione di parti del programma.

Alcuni esempi di tesine: relazione su un articolo di ricerca; rassegna della letteratura scientifica su un argomento di ricerca.

Alcuni esempi di progetti: implementazione (in C, Java, Prolog, etc.) di algoritmi inerenti al programma del corso; sviluppo di software di supporto alla ricerca nel campo della logica fuzzy.

Prerequisiti al corso

Nessuno.

Orari e luogo delle lezioni

• Martedì 13.30-15.30 auletta 5 (Comelico)
• Venerdì 13.30-15.30 auletta 5 (Comelico)

Orario di ricevimento studenti

• Marra: su appuntamento.
• Aguzzoli: mercoledì dalle 15.00 alle 16.00 o su appuntamento, stanza S204 via Comelico 39.

Materiale didattico

Non ci sono testi che coprano interamente gli argomenti trattati, ma il contenuto delle lezioni è sufficiente per sostenere l'esame.

Testi ausiliari consigliati

R. L. O. Cignoli, I. M. L. D'Ottaviano e D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer, 1999.
P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, 1998.
S. Gottwald, A Treatise on Many-Valued Logics, King's College Publications, Research Studies Press, 2001.

Dispense

 Durante le lezioni verrà distribuita una versione preliminare delle dispense del corso.

Diario del corso

Lezione di martedì 2/10/2007

• Definizione di logica fuzzy in senso stretto e in senso ampio.
• Concetti di funzione di appartenenza e di insiemi fuzzy.
• Richiamo di logica proposizionale classica: definizioni di proposizione atomica, proposizione composta, alfabeto, stringa, formula.

Lezione di venerdì 5/10/2007

Semantica della logica proposizionale classica

• Assegnamento alle variabili e assegnamento alle formule.
• Definizioni di tautologia, contraddizione e formula soddisfacibile.
• Esempi di tautologie: prelinearità, principio del terzo escluso, ex falso quodlibet, leggi di de Morgan.

Teoria della dimostrazione (sintassi)

• Assiomi della LPC.
• Definizione di dimostrabilità e derivabilità per modus ponens.
• Teorema di completezza della LPC.

Lezione di martedì 9/10/2007

Logica di Gödel

• Definizione di assegnamento alle variabili e alle formule nella LG (e variante di Zadeh).
• Analisi di alcune tautologie della LC che cadono nella LG (legge della doppia negazione, principio del terzo escluso) o restano tautologie (ex falso quodlibet, prelinearità).
• Inclusione stretta dell'insieme delle tautologie della LG nell'insieme delle tautologie della LC.
• Introduzione del problema di stabilire se una formula è una tautologia nella LG.
• Lemma: l'insieme dei possibili valori di verità di una formula è composto da 1, 0 e i valori di verità delle variabili coinvolte nella formula.