Image
Image
Image
Image
Image
Image
Image
Image
Image
Image



Search
»

Seminar abstract

Queryable Self-Deliberating Dynamic Systems

Giuseppe De Giacomo
Prof.
Università di Roma "La Sapienza”


Abstract: Dynamic systems that operate autonomously in nondeterministic (uncertain) environments are becoming a reality. These includeintelligent robots, self. driving cars, but also manufacturing systems (Industry 4.0), smart objects and spaces (loT). advancedbusiness process management systems (BPM),and many others. These systems are currently being revolutionized byadvancements 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 andconventions are imposed. Crucially, empowering dynamic systems with deliberating capabilties carries significant risks andtherefore 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 recentscientific discoveries in Knowledge Representation and Planning combined with insights from Verification and Synthesis inFormal Methods, Data-Aware Processes in Databases, as well as other areas of Al, chart a novel path for realizing what we maycall Queryable Self-Deliberating Dynamic Systems. That is, systems with a mutifaceted model of the world that can be exploitedto deliberate on their course of action and answer queres about thelr behavior.

Bio: Giuseppe De Giacomo is full professor in Computer Scienceand Engineering at Univ. Roma "La Sapienza". His researchactivity has concerned theoretical, methodological andpractical aspects in different areas of Al and CS, most ,prominently Knowledge Representation, Reasoning aboutActions, Generalized Planning, Autonomous Agents, ServiceComposition, Business Process Modeling, Data Managementand Integration. He is AAAI Fellow, ACM Fellow, and EurAlFellow. He is Program Chair of ECAI 2020. He is has got anERC Advanced Grant for the project WhiteMech: W hite-boxSelf Programming Mechanisms (2019-2024).
  Name Size

Image
PoweredBy © LAMDA, 2022