讲座题目：Queryable Self-Deliberating Dynamic Systems 主讲人：Giuseppe de Giacomo 开始时间：2019-10-30 10:40:00 讲座地址：科学会堂 主办单位：软件工程学院
报告人简介： 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. 报告内容： 在不确定（不确定）环境中自主运行的动态系统正在成为现实🧑⚕️。其中包括智能机器人、自动驾驶汽车💂🏽♀️，但也包括制造系统（工业4.0）🛐、智能对象和空间（IoT）、高级业务流程管理系统（BPM）和许多其他系统。由于传感（视觉、语言理解）和驱动部件（自主移动机械手、自动存储和检索系统）的进步😠，这些系统正在发生革命性的变化。然而，尽管取得了这些进展，它们的核心逻辑仍然主要基于硬连线规则🏊🏽♂️，这些规则要么是设计的🫧，要么可能是通过学习过程获得的✅。 另一方面🧎，我们可以设想，当出现不可预期的情况🫡、提出新的目标、要求新的安全条件以及实施新的规章和公约时🌰，能够自行审议其行动方针的系统💒。至关重要的是，赋予具有审议能力的动态系统权力会带来重大风险，因此我们必须能够在这种权力与信任之间取得平衡🚴🏽♂️👇🏼。因此，使这些系统具有可查询性👳🏻、可分析性和可解释性🧓，从而受到人的监督是很有意义的。在本次讲座中🥗，我们将讨论最近在知识表示和规划方面的科学发现，结合从形式化方法的验证👏🏿、数据库中的数据感知过程以及人工智能等其他领域所获得的见解，畅谈如何为实现我们所谓的可查询的自审议动态系统绘制一条新的路径。具体而言，就是那些具有可以用来考虑它们的行为过程并回答关于它们行为的查询的多方面世界模型的系统。 |
