Luigia Carlucci Aiello

Last updated

Luigia (Gigina) Carlucci Aiello (also published as Luigia Carlucci and Luigia Aiello, born 1946 [1] in Cerreto d'Esi) is an Italian computer scientist, emeritus professor of artificial intelligence at Sapienza University of Rome. [2]

Contents

Education and career

Aiello received a classical high school diploma in Fabriano. [3] After earning a 'laurea' in applied mathematics from the University of Pisa and a diploma from the Scuola Normale Superiore di Pisa in 1968, in 1970 she became a researcher for the National Research Council (CNR) in Pisa. In that period she went twice on sabbatical leave to work with John McCarthy at Stanford University [2] : the first time in 1973-74 with her husband, computer scientist Mario Aiello; after his death in 1976, she returned to Stanford in 1979-80. [3]

She became a professor in 1981, [2] initially at Marche Polytechnic University, [3] and joined Sapienza University of Rome in 1982, becoming professor of artificial intelligence in 1991. [2]

She founded the Italian Association for Artificial Intelligence, AI*IA, in 1988, and was its first president. [3] She was also the president of the Association for Logic, Language and Information (FoLLI) from 2004 to 2007. [2]

Research

Aiello's earliest research involved pattern recognition, [3] and her work in the 1970s and early 1980s concerned automated theorem proving and proof assistants. [2] Through this, she became interested in programming language semantics and the application of automated theorem proving to program correctness. [3] Later, her interests shifted to include knowledge representation and reasoning, meta-knowledge, and default logic, as well as applications in educational technology, robotics, and computer security. [2]

Recognition

Aiello was named a Fellow of the Association for the Advancement of Artificial Intelligence in 1995, "for contributions to the field of meta-level control and reasoning, and promotion of AI in Italy and Europe". [4] She became a Fellow of the European Coordinating Committee for Artificial Intelligence (now the European Association for Artificial Intelligence, EurAI) in 1999, [2] and a member of the European Academy of Sciences and Arts in 2015. [5]

In 2002, Linköping University gave her an honorary doctorate. She was the 2009 winner of the Donald E. Walker Distinguished Service Award of the International Joint Conference on Artificial Intelligence, and the 2014 winner of the EurAI Distinguished Service Award. [5]

A festschrift in honor of her 60th birthday, Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello, was published in 2006. [3]

Related Research Articles

Knowledge representation and reasoning is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge, in order to design formalisms that will make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of reasoning.

Planner is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro-Planner and Pico-Planner were implemented, and then essentially the whole language was implemented as Popler by Julian Davies at the University of Edinburgh in the POP-2 programming language. Derivations such as QA4, Conniver, QLISP and Ether were important tools in artificial intelligence research in the 1970s, which influenced commercial developments such as Knowledge Engineering Environment (KEE) and Automated Reasoning Tool (ART).

E is a high-performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a purely equational paradigm. It has been integrated into other theorem provers and it has been among the best-placed systems in several theorem proving competitions. E is developed by Stephan Schulz, originally in the Automated Reasoning Group at TU Munich, now at Baden-Württemberg Cooperative State University Stuttgart.

<span class="mw-page-title-main">Symbolic artificial intelligence</span> Methods in artificial intelligence research

In artificial intelligence, symbolic artificial intelligence is the term for the collection of all methods in artificial intelligence research that are based on high-level symbolic (human-readable) representations of problems, logic and search. Symbolic AI used tools such as logic programming, production rules, semantic nets and frames, and it developed applications such as knowledge-based systems, symbolic mathematics, automated theorem provers, ontologies, the semantic web, and automated planning and scheduling systems. The Symbolic AI paradigm led to seminal ideas in search, symbolic programming languages, agents, multi-agent systems, the semantic web, and the strengths and limitations of formal knowledge and reasoning systems.

<span class="mw-page-title-main">Logic in computer science</span> Academic discipline

Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:

<span class="mw-page-title-main">Robert Kowalski</span> British computer scientist (born 1941)

Robert Anthony Kowalski is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom.

<span class="mw-page-title-main">Alan Bundy</span> British artificial intelligence researcher (born 1947)

Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.

The following outline is provided as an overview of and topical guide to artificial intelligence:

Drew McDermott was a professor of Computer Science at Yale University. He was known for his contributions in artificial intelligence and automated planning.

<span class="mw-page-title-main">Wolfgang Bibel</span> German computer scientist

Leonhard Wolfgang Bibel is a German computer scientist, mathematician and Professor emeritus at the Department of Computer Science of the Technische Universität Darmstadt. He was one of the founders of the research area of artificial intelligence in Germany and Europe and has been named as one of the ten most important researchers in German artificial intelligence history by the Gesellschaft für Informatik. Bibel established the necessary institutions, conferences and scientific journals and promoted the necessary research programs to establish the field of artificial intelligence.

Holger H. Hoos is a German-Canadian computer scientist and a Alexander von Humboldt-professor of artificial intelligence at RWTH Aachen University. He also holds a part-time appointment as a professor of machine learning at Leiden University, and he is an adjunct professor at the Computer Science Department of the University of British Columbia, where he held a full-time professorial appointment from 2000 until 2016. His research interests are focused on artificial intelligence, at the intersection of machine learning, automated reasoning and optimization, with applications in empirical algorithmics, bioinformatics and operations research. In particular, he works on automated algorithm design and on stochastic local search algorithms. Since 2015, he is a Fellow of the Association for the Advancement of Artificial Intelligence (AAAI), and since 2020 a Fellow of the European Association for Artificial Intelligence (EurAI) as well as a Fellow of the Association for Computing Machinery (ACM).

<span class="mw-page-title-main">Francesca Rossi</span> Italian computer scientist

Francesca Rossi is an Italian computer scientist, currently working at the IBM Thomas J. Watson Research Center as an IBM Fellow and the IBM AI Ethics Global Leader.

Sheila McIlraith is a Canadian computer scientist specializing in Artificial Intelligence (AI). She is a Professor in the Department of Computer Science, University of Toronto. She is a Canada CIFAR AI Chair, a faculty member of the Vector Institute, and Associate Director and Research Lead of the Schwartz Reisman Institute for Technology and Society.

<span class="mw-page-title-main">Diego Calvanese</span>

Diego Calvanese is an Italian computer scientist and professor at the faculty of computer science at the Free University of Bozen-Bolzano. In addition, since 2019, he is Wallenberg Visiting Professor at the department of computing science, Umeå University. He is well known for his scientific contributions in knowledge representation and reasoning in AI, description logics, and database theory.

Dale Miller is an American computer scientist and author. He is a Director of Research at Inria Saclay and one of the designers of the λProlog programming language and the Abella interactive theorem prover.

Hector Geffner is an Argentinian computer scientist and a Alexander von Humboldt Professor of artificial intelligence at RWTH Aachen University and Wallenberg Guest Professor in AI at Linköping University. His research interests are focused on artificial intelligence, especially automated planning and the integration of model-based AI and data-based AI. He is best known for his work on domain-independent heuristic planning and received several International Conference on Automated Planning and Scheduling (ICAPS) influential paper awards. Previously he held a research professorship at ICREA and the Artificial Intelligence and Machine Learning Group at University Pompeu Fabra in Barcelona since 2001. He was a staff researcher at the IBM Thomas J. Watson Research Center from 1990 to 1992 and a professor at Simón Bolívar University in Caracas, Venezuela from 1992 to 2001. Geffner was awarded an ERC Advanced Grant in 2020 to explore the connection between machine learning and model-based AI, and is a former board member and current fellow of the European Association for Artificial Intelligence (EurAI).. He was elected an AAAI Fellow in 2007.

Giuseppe De Giacomo is an Italian computer scientist. He is a Professor of Computer Science at the Department of Computer Science, University of Oxford, and Professor of Computer Engineering at the Department of Computer, Control and Management Engineering, Sapienza University of Rome. He is also a Senior Research Fellow at the Green Templeton College.

Marie-Odile Cordier is a retired French computer scientist specializing in artificial intelligence, and in particular in the diagnosis of discrete event dynamic systems. Before retiring, she was a professor at the University of Rennes 1, where she headed the DREAM team, a project for diagnosis, reasoning, and modeling of discrete event systems at the Research Institute of Computer Science and Random Systems (IRISA).

Michela Milano is an Italian computer scientist whose research in artificial intelligence includes work on constraint programming, multi-agent systems, metaheuristics, decision support, high-performance computing, and green computing. She is a professor in the Department of Computer Science and Engineering at the University of Bologna, where she heads the Centro Interdipartimentale Alma Mater Research Institute for Human-Centered Artificial Intelligence. She is the former editor-in-chief of the journal Constraints.

Francesca Toni is an Italian computer scientist who works at Imperial College London in the UK as JP Morgan/Royal Academy of Engineering Research Chair in Argumentation for Interactive Explainable AI, Professor in Computational Logic in the Department of Computing, and head of the Computational Logic and Argumentation Group. Her research interests include explainable artificial intelligence, computational logic, argumentation theory, and applications in public health.

References

  1. ↑ Birth year from Library of Congress catalog entry, retrieved 2022-06-20
  2. 1 2 3 4 5 6 7 8 "Luigia Carlucci Aiello: Biography", Department of Computer, Control and Management Engineering, Sapienza University of Rome, retrieved 2022-06-20
  3. 1 2 3 4 5 6 7 Stock, Oliviero; Schaerf, Marco, eds. (2006), Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello, Lecture Notes in Computer Science, vol. 4155, Springer, doi:10.1007/11829263, ISBN   978-3-540-37901-0 ; see in particular Foreword, pp. v–xi
  4. ↑ Elected fellows, Association for the Advancement of Artificial Intelligence, retrieved 2022-06-20
  5. 1 2 "Luigia Carlucci Aiello", InspiringFifty: Italy, retrieved 2022-06-20
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.