10月30日學術報告:Giuseppe de Giacomo
發布時間:2019-10-22  閱讀次數:2199

報告題目: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 FellowACM 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. 

華東師范大學軟件工程學院
www.qyhrol.live Copyright Software Engineering Institute
院長信箱:[email protected] | 院辦電話:021-62232550 | 學院地址:上海中山北路3663號理科大樓
网上买重庆时时彩可以报警吗