四九小数连码不断|大小合伙开连码肖

10月30日 Giuseppe de Giacomo:Queryable Self-Deliberating Dynamic Systems


報告人簡介:

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. 


報告摘要:

  在不確定(不確定)環境中自主運行的動態系統正在成為現實。其中包括智能機器人、自動駕駛汽車,但也包括制造系統(工業4.0)、智能對象和空間(IoT)、高級業務流程管理系統(BPM)和許多其他系統。由于傳感(視覺、語言理解)和驅動部件(自主移動機械手、自動存儲和檢索系統)的進步,這些系統正在發生革命性的變化。然而,盡管取得了這些進展,它們的核心邏輯仍然主要基于硬連線規則,這些規則要么是設計的,要么可能是通過學習過程獲得的。

  另一方面,我們可以設想,當出現不可預期的情況、提出新的目標、要求新的安全條件以及實施新的規章和公約時,能夠自行審議其行動方針的系統。至關重要的是,賦予具有審議能力的動態系統權力會帶來重大風險,因此我們必須能夠在這種權力與信任之間取得平衡。因此,使這些系統具有可查詢性、可分析性和可解釋性,從而受到人的監督是很有意義的。在本次講座中,我們將討論最近在知識表示和規劃方面的科學發現,結合從形式化方法的驗證、數據庫中的數據感知過程以及人工智能等其他領域所獲得的見解,暢談如何為實現我們所謂的可查詢的自審議動態系統繪制一條新的路徑。具體而言,就是那些具有可以用來考慮它們的行為過程并回答關于它們行為的查詢的多方面世界模型的系統。












四九小数连码不断 股票推荐软件 期货配资玩法 足球直播网 免费股票推荐群有什么企图 湖南幸运赛车 上证指数每日行情 一 重组股 足球比分网 日本黄色片下载 证券股票指数基金 特级aav毛片欧美免费观看 实况nba比分在线 p2p理财平台可靠吗 足彩半全场 竞彩足球比分 重庆百变王牌