Persone

Cognome: 
Carlucci Aiello
Nome: 
Luigia
Qualifica: 
Professore ordinario
telefono: 
+39 0677274087
fax: 
+39 0677274
stanza: 
A101

Cronologia

Iscritto da
6 anni 3 mesi
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, ora DIAG, 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 al 2010 ha diretto il DIS, dal 2010 al 2013 è stata preside della neo costituita Facoltà di Ingegneria dell’Informazione, Informatica e Statistica.
      Nel 1988 fonda ed è primo presidente della Associazione Italiana per l'Intelligenza Artificiale, AI*IA, attualmente ne è socia onoraria. 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.

Dal giugno 2015 è in quiescenza.

 

Pubblicazioni: 

L. Carlucci Aiello (2016). The multifaceted impact of Ada Lovelace in the digital age.  Artificial Intelligence Journal, 235: 58-62.
E. Bastianelli, D. Nardi, L. Carlucci Aiello, F. Giacomelli, N. Manes (2016). Speaky for robots: the development of vocal interfaces for robotic applications. Appl. Intell. 44(1): 43-66.
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, ora EurAI (1999). Donald Walker Award dell'IJCAI (2009). Laurea Honoris Causa (2002) dalla Facoltà di Tecnologia dell'Università di Linköping – Svezia. ECCAI, ora EurAI Distinguished service Award (2014) Membro dell’Accademia Europea di Scienze e Arti (2015). 

Area di ricerca: 
Intelligenza artificiale e rappresentazione della conoscenza

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma