Luigia Carlucci Aiello

Professore ordinario


aiello@dis.uniroma1.it
Stanza: A101
Tel: +39 0677274087
Fax: +39 0677274
Biografia: 

Laurea in Matematica all'Università di Pisa e Diploma della Scuola Normale Superiore di Pisa, nel 1968. Dal 1970 al 1981 ricercatrice CNR all'Istituto di Elaborazione dell'Informazione, ora ISTI, di Pisa. Negli anni settanta lavora all'Artificial Intelligence Laboratory della Stanford University diretto da J. McCarthy.
      Professore Ordinario dal 1981. Dal 1982 è al DIS, Sapienza Università di Roma; dal 1991 è titolare della cattedra di Intelligenza artificiale. È stata coordinatrice del Dottorato di ricerca in Ingegneria informatica e Presidente del Consiglio di area in Ingegneria informatica. Dal  2006 è direttore del DIS.
      Fondatrice e primo presidente della Associazione Italiana per l'Intelligenza Artificiale. Presidente del comitato di programma di ECAI'90 e KRR'96, trustee di IJCAI dal 1995 al 2005, presidente di IJCAI'99, presidente di FoLLI nel 2004-2005; nel 2002-2003 ha diretto l' ITC-irst in Trento. Ha coordinato molti progetti nazionali, progetti, gruppi di lavoro e reti di eccellenza della Unione Europea.  Membro di comitati di valutazione nazionali e internazionali, e di numerosi comitati di redazione.
      Negli anni  settanta ha lavorato su deduzione automatica e costruzione di dimostratori interattivi di teoremi, con applicazione alla verifica di proprietà di programmi.  Al DIS ha fondato un gruppo di ricerca in Intelligenza Artificiale, ha condotto ricerche su rappresentazione della conoscenza e ragionamento automatico.  In particolare, ha indagato sulle possibilità offerte da una rappresentazione esplicita della meta-conoscenza per rendere le deduzioni più efficienti, per aumentare il potere espressivo di un sistema, per dotarlo di capacità di introspezione e per permettere il ragionamento sulla conoscenza e sul ragionamento in situazioni di agenti multipli. Ha indagato le potenzialità di alcune logiche modali per la rappresentazione del ragionamento autoepistemico e in situazioni di conoscenza incompleta (default). Ha applicato tecniche di Intelligenza Artificiale alla costruzione di sistemi intelligenti e sistemi di supporto all'apprendimento umano; ha svolto ricerche su robotica cognitiva e applicazione di tecniche di pianificazione a problemi di sicurezza informatica.

Pubblicazioni: 

L. Carlucci Aiello, F. Massacci (2001).   Verifying security protocols as planning in logic programming. ACM Trans. on Computational Logic, 2(4):542-580.
G. Amati, L. Carlucci Aiello, F. Pirri (1997). Definability and commonsense reasoning. Artificial Intelligence Journal,  93:1-30.
G. Amati, L. Carlucci Aiello, D. Gabbay, F. Pirri (1996). A proof theoretical approach to default reasoning I: Tableaux for default logic. Journal of Logic and Computation,  6:205-231.
L. Aiello, C. Cecchi,  D. Sartini (1986). Representation and use of metaknowledge. Proceedings of the IEEE, 74(10):1304-1321.
L. Aiello,  G. Prini (1981). An Efficient Interpreter for the Lambda-Calculus. Journal of Computer and System Sciences, 23(3):383-424.
L. Aiello, M. Aiello e  R.W. Weyhrauch (1977). PASCAL in LCF: Semantics and  examples of proof. Theoretical Computer Science, 5:135-177.

Riconoscimenti e premi: 

Fellow dell'AAAI (1995) e dell'ECCAI (1999), Donald Walker Award dell'IJCAI (2009).Laurea Honoris Causa (2002) dalla Facoltà di Tecnologia dell'Università di Linköping - Svezia.

Area di ricerca: 
Intelligenza artificiale e rappresentazione della conoscenza