Collaborazione scientifica con il Consiglio Nazionale delle Ricerche (CNR)
Dal 1992 al 2006: Incarichi di Ricerca presso IMATI-CNR
Il Consiglio Nazionale delle Ricerche gli attribuisce, in modo continuativo, Incarichi di Ricerca Annuali da
svolgersi nell'ambito della linea di ricerca ''Intelligenza Artificiale e Applicazioni'' dell'
Istituto per la
Matematica Applicata IMA-CNR di Genova (dal 2002
Istituto di Matematica Applicata e Tecnologie Informatiche IMATI-CNR),
in collaborazione con la dott. Paola Forcheri (dal 1992 a tutt'oggi) e con la dott. Maria Teresa Molfino (dal 1992 al 2001).
Gli incarichi sono i seguenti:
1992 incarico per una ricerca su:
Problemi di dimostrazione automatica per teorie immergibili nell'Aritmetica
1993 incarico per una ricerca su:
Intelligenza artificiale con particolare riguardo alla definizione di una
Proof-Theory probabilistica
1994 incarico per una ricerca su:
Un Dimostratore Automatico che assegni probabilità di appartenenza a una teoria T per
un enunciato F
1995 incarico per una ricerca su:
Uso del concetto di entropia logica per definire la nozione di consistenza probabile di una teoria
1996 incarico per una ricerca su:
Sviluppo della informational logic da un punto
di vista fondazionale ed estensione delle applicazioni
1997 incarico per una ricerca su:
Sviluppo di una teoria probabilistica della dimostrazione
1998 incarico per una ricerca su:
Teoria della decisione negli informational contexts
1999 incarico per una ricerca su: S
viluppo dell'entropia computazionale di una struttura sintattica, sia per la teoria della
decisione in contesti informazionali induttivi, sia in connessione con la complexity theory
2000 incarico per una ricerca su:
Logica Matematica e ragionamento di senso comune
2001 incarico per una ricerca su:
Problematiche didattiche collegate all'evoluzione del rapporto fra logica classica e
ragionamento di senso comune
2002 incarico per una ricerca su:
Estensione della logica informazionale a contesti paraconsistenti
2003 incarico per una ricerca su:
Estensione della logica informazionale a contesti paraconsistenti
2004 incarico per una ricerca su:
Logica Informazionale, Logica Paraconsistente, Didattica della Competenza razionale,
rappresentazioni dei tipi di razionalità cognitiva
2005 incarico per una ricerca su:
Logica Informazionale, Logica Paraconsistente, Didattica della Competenza razionale,
rappresentazioni dei tipi di razionalità cognitiva
2006 incarico per una ricerca su:
Logica Informazionale, Logica Paraconsistente, Didattica della Competenza razionale,
rappresentazioni dei tipi di razionalità cognitiva
Dal 1992 al 1997: Partecipazione a Progetti CNR
1996, 97 Progetto Coordinato: Deduzione automatica e parallelismo in sistemi di calcolo simbolico;
unità operativa: Logica Informazionale
1994, 95 Progetto Strategico: Applicazioni della matematica per la tecnologia e la società; unità operativa:
Calcolo Algebrico e Simbolico: applicazioni (1994), e Calcolo Simbolico (1995)
1992, 93, 94 Progetto Finalizzato: Sistemi informatici e calcolo parallelo; sottoprogetto: Linguaggi di nuova
concezione; unità operativa: Progetto TASSO: metodologie di specifica e programmazione per il trattamento di oggetti
assiomatizzabili
Pubblicazioni prodotte nel contesto della collaborazione con il CNR
Dimostrazione automatica: [RI-1998a], [RI-1996b], [RI-1996a], [RN-1991a], [CN-1996f]
Logica Informazionale: [RI-1999d], [RI-1997a], [RN-1996d]
Paraconsistent Informational Logic: [RI-2005d], [RI-2005e], [CIR-2002a]
Ricerca Educativa ed Epistemologia dei saperi scientifici: [RI-2003a], [CI-1996c]
Ontologie formali: [CIR-2006c]