Research in Artificial Intelligence at DIAG started in the early 80s and established this research group as one of the most prominent ones in the field of logic-based knowledge representation and automated reasoning. Research has been conducted in many areas, with several outstanding results. The research lines presently active are described in the following.
Description Logics (DL) form a family of Logic-based Knowledge Representation Languages which allow for modeling an application domain in terms of objects, concepts and relationships between concepts, and for reasoning about them. They are widely used in several areas, including ontology engineering, Semantic Web, and information integration. The research at DIAG on DL has a long tradition, and focuses on many relevant aspects, including algorithms for automated reasoning, trade-off between expressive power and computational complexity of reasoning, query answering in DL knowledge bases, adding both monotonic and non-monotonic rules to DL. In the future, the work on DL will both continue along the above mentioned lines and focus on dynamic aspects, such as update and revision of DL knowledge bases, and reasoning about programs expressed on such knowledge bases.
The Semantic Technologies aim at intelligent information processing by creating and connecting machine-understandable information, sometimes called the Semantic Web. Our research in this area mainly focuses on representation languages, in particular for ontologies. A remarkable outcome of our research in this area is the standardization of the OWL 2 QL ontology specification language by the World Wide Web Consortium. OWL 2 QL directly derives from DL-Lite, a family of ontology formalisms which we proposed and studied in our recent research in this field.
Reasoning about Actions concerns the theory and the implementation of agents that reason, act and perceive in changing, incompletely known, and unpredictable environments. Such agents must have higher level cognitive functions that involve reasoning, for example, about goals, actions, when to perceive and what to look for, the cognitive states of other agents, time, collaborative task execution, etc. Our research on Reasoning about Actions focuses on several aspects, including: foundations of theory of actions; various forms of planning or automated process synthesis for sophisticated dynamic properties, e.g., expressed in mu-calculus, ATL, LTL, LTLf, and LDLf; high-level agent programs, like ConGolog based on the Situation Calculus; agent behavior synthesis and composition. This research is also related with, and applied to, other areas, such as cognitive robotics, multi-agent/multi-robot systems, software service modeling, execution and composition, high-level programs and business processes over ontologies and data sources.
One specific application where knowledge representation has been applied is Spoken Language Understanding in the context of Robotics. Specifically, we have addressed the interpretation of spoken commands and the extension to handle more complex forms of dialog. The knowledge about the environment and the robot capabilities are used by the system in order to build the language that specifies robot commands. Moreover, the knowledge about the environment (semantic map), can be used to bias the interpretation of commands through a spoken language command interpretation chain that is based on statistical off-the-shelf tools.
Several group members are recipients of prestigious awards, are regularly involved in editorial activities of the scientific community, and are invited to deliver keynote talks at international conferences or workshops.
Awards and honours include:
- AAAI Fellowships: Maurizio Lenzerini, since 2017; Giuseppe De Giacomo, since 2016; Luigia Carlucci Aiello, since 1995.
- EurAI Fellowships: Riccardo Rosati, since 2016, Giuseppe De Giacomo, since 2012, Daniele Nardi, since 2009, Maurizio Lenzerini, since 2008; Luigia Carlucci Aiello, since 1999.
- Membership to the European Academy of Sciences and Arts (Luigia Carlucci Aiello, since 2005).
- ACM Fellowships (Maurizio Lenzerini, since 2009; Giuseppe De Giacomo, since 2016).
- Membership to the Academia Europaea --The Academy of Europe (Maurizio Lenzerini, since 2011).
- IJCAI Distinguished Service Award (Luigia Carlucci Aiello, 2009).
- ECCAI Distinguished Services Award (Luigia Carlucci Aiello, 2014).
- Doctorate Honoris Causa (Luigia Carlucci Aiello, 2002, School of Technology, University of Linkoping, Sweden).
- ACM Recognition Service Award (Maurizio Lenzerini, 2011).
- Fabio Patrizi was awarded the ICDT Test of Time Award 2019 for the paper A. Deutch, Richard B. Hull, F. Patrizi, V. Vianu: Automatic verification of data-centric business processes (ICDT 2009).
Several group members are involved in various prestigious editorial activities:
- Giuseppe De Giacomo is Review Editor of Artificial Intelligence (Elsevier) and member of the Editorial Board of Acta Informatica, he is an honorary member of the Steering Committee Member of the International Conference on Principles of Knowledge Representation and Reasoning (KR), he is the Program Chair of the 24th European Conference on Artificial Intelligence (ECAI 2020), and Area Chair of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020);
- Domenico Lembo is vice-president (2018-2021) of the Steering Committee of the International Conference on Web Reasoning and Rule Systems (RR)
- Maurizio Lenzerini is Area Editor of Information Systems -- An International Journal, for the area of Data Modeling and Knowledge Representation and Reasoning Techniques, Editorial Board member of Intelligenza Artificiale, The International Journal of the AI*IA, Area Editor of the Journal of Applied Logic for the area of Logic for Knowledge Representation and the Semantic Web, Editorial Board member of the Logical Methods in Computer Science (LMCS) Journal, for the areas of Database Theory and Logic for Knowledge Representation, and Area Editor of the Logic Journal of the Interest Group in Pure and Applied Logic (IGPL), for the area of Logic for Knowledge Representation and the Semantic Web, he has been co Chair of the 29th International Workshop on Description Logics (DL 2016), since 2011 he is Member of the ACM SIGMOD Awards Committee, since 2006 he is Member of the Executive Committe of the ACM Principles of Database Systems (PODS), and since 2005 he is Member of the Sistemi Evoluti di Basi di Dati (SEBD) Steering Committe, he is also Member of the Scientific Advisory Board of BiCi --Bertinoro international Center for Informatics and Member of the Advisory Board of the European Research Institute in Service Science (ERISS).
- Riccardo Rosati is Member of the Editorial Board of Artificial Intelligence (Elsevier), Steering Committee Member of the International Workshop on Nonmonotonic Reasoning (NMR), since 2012.
Finally, the following invited talks were delivered:
- Giuseppe De Giacomo, "Reactive Synthesis + World Model = Planning" at GenPlan@AAAI2020, New York, NY, USA, February 7, 2020
- Giuseppe De Giacomo, "Synthesizing Agent Behaviors in an Environment (i.e., Modern Reasoning about Actions and Planning)" at 10th Workshop on Logical Aspects of Multi-Agent Systems LAMAS@AAMAS2020, May 8, 2020
- Giuseppe De Giacomo, "Autonomy in AI: Merging Reasoning and Learning in Autonomous Agents" at Second (Campus) AI Algorithm Elite Contest 2020 DIGIX Global AI Challenge Organized, July 8, 2020, China
- Giuseppe De Giacomo, "High-Level Programming via Generalized Planning and LTL Synthesis" at "Logic and Algorithms for Programming Intelligent Systems" Seminar Series, Rice University, Houston, TX, USA, September 23, 2020
- Giuseppe De Giacomo, "Insegnamento dell’Intelligenza Artificiale in Italia, dibattito aperto per una didattica di qualità" at AIxIA 2020, Nov 25, 2020
- Tailor: Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization (No. 952215), September 2020 - August 2023, PI Maurizio Lenzerini
- Bubbles: Defining the BUilding Basic BLocks for a U-Space SEparation Management Service (No. 893206), May 2020 - October 2022, PI Luca Iocchi.
- WhiteMech: White-box Self-Programming Mechanisms, ERC Advanced Grant (No. 834228), November 2019 - October 2024, PI Giuseppe De Giacomo.
- Controlled Query Evaluation in Ontology-based Data Management Systems, Sapienza Università di Roma, 11/12/2019 - 10/12/2022, PI Domenico Lembo
- Joint Study Agreement between DIAG and IBM Almanden Research Lab, IBM, 23/09/2019 - 22/09/2020, PI Domenico Lembo
- DRAPE: Data-awaRe Automatic Process Execution, Sapienza Università di Roma, 28/02/2019 - 27/02/2022, PI Fabio Patrizi
Guests (more than one month):
- Yves Lesperance, York University, ON, Toronto, Canada, from August 31, 2020 to January 8, 2021