报告题目：Queryable Self-Deliberating Dynamic Systems

报告人：Giuseppe de Giacomo

报告时间：2019年10月30日 周三 10:40 – 11:40

报告地点：科学会堂

报告摘要：Dynamic systems that operate autonomously in nondeterministic (uncertain) environments are becoming a reality. These include intelligent robots, self-driving cars, but also manufacturing systems (Industry 4.0), smart objects and spaces (IoT), advanced business process management systems (BPM), and many others. These systems are currently being revolutionized by advancements in sensing (vision, language understanding) and actuation components (autonomous mobile manipulators, automated storage and retrieval systems). However, in spite of these advances, their core logic is still mainly based on hard-wired rules either designed or possibly obtained through a learning process.

On the other hand, we can envision systems that are able to deliberate by themselves about their course of action when un-anticipated circumstances arise, new goals are submitted, new safety conditions are required, and new regulations and conventions are imposed. Crucially, empowering dynamic systems with deliberating capabilities carries significant risks and therefore we must be able to balance such power with trust. For this reason it is of interest to make these systems queryable, analyzable and explainable in human terms, so as to be guarded by human oversight. In this talk we discuss how recent scientific discoveries in Knowledge Representation and Planning combined with insights from Verification and Synthesis in Formal Methods, Data-Aware Processes in Databases, as well as other areas of AI, chart a novel path for realizing what we may call Queryable Self-Deliberating Dynamic Systems. That is, systems with a multifaceted model of the world that can be exploited to deliberate on their course of action and answer queries about their behavior.

报告人信息：Prof. Giuseppe De Giacomo is a full professor at Dipartimento di Ingegneria Informatica, Automatica e Gestionale, Sapienza Universita' di Roma. He is also AAAI Fellow, ACM Fellow, and EurAI Fellow. His field is Artificial Intelligence. His main research area is Knowledge Representation and Automated Reasoning. I contributed to several topics in Artificial Intelligence and Computer Science, including Description Logics, Ontologis, Data Management, View-based Query Processing, Data Integration, Reasoning about Actions, Situation Calculus, Generalized forms of AI Planning, Cognitive Robotics, AI-based Manufacturing, Smart Spaces and Internet of Things, Business Process Modeling, Verification and Synthesis of KR-based systems, Logics of Programs, Temporal Logics, Fixpoint Logics, Service Composition and Integration, Data-Aware Process Modeling and Analysis.