本網訊（通訊員：彭蕾）2018年9月11日至20日，著名邏輯學家、利物浦大學計算機科學學院沃爾特教授在我院開展了為期10天的學術訪問和交流活動。

9月13日，沃爾特教授做了題目為“人工智能中的本體（Ontologies in Artificial Intelligence）”的講座。在講座中，沃爾特教授首先介紹了本體的概念，強調了本體的形式性和明确性。他講到了應用本體構建語義網能夠實現諸多功能，比如指派機器完成複雜任務、在數據倉庫中确定信息位置以及進行考慮背景知識的複雜查詢等。他指出，本體可以劃分為域本體（domain ontology）和上層本體(upper ontology)兩類。域本體提供了某一域的詞彙表以及表上詞項的意義；上層本體則涵蓋了橫貫在不同域之間的一般概念和關系，能夠支持廣泛的域本體之間的互操作性。他提到，從邏輯的觀點看，一個本體就是一階邏輯中的一個有限公理集。随後，沃爾特教授談到了邏輯在本體工程中的應用，以及一個相對于特定本體和符号集的統一内插能夠總結這個本體關于符号集的論斷、在應用本體時減少詞項的數目、隐藏不使用特定符号的謂詞等。最後，教授總結到本體是人工智能和計算機科學中語義交流的重要工具。整場講座氣氛活躍，同學們積極提問，教授耐心解答，點評人分析精到。

之後的幾天，沃爾特教授又做了三場講座，分别是：“關于度量和拓撲的模态邏輯（Modal Logic for Metric and Topology）”（9月14日）、“強正模态邏輯（StronglyPositive Modal Logic）”（9月17日）和“描述邏輯簡介（Introduction to Description Logics）”（9月18）。

精彩報告之後，教授與同學們的交流會于9月20日在振華樓beat365体育官网B301舉行。師生們對沃爾特教授所做研究表示出濃厚興趣，并就計算機科學、邏輯學進行提問，沃爾特教授逐一耐心作答。也有同學就出國留學、科研合作等方面問題提出咨詢。沃爾特教授結合自身多年的教學經曆給同學們提出了寶貴建議。最後，他強調做科研一定要腳踏實地，并結合自身興趣堅持不懈，最終才能有所收獲。此次學術交流氛圍濃烈，與會師生均表示受益匪淺。

（攝影：宋柏楊     編輯：鄧莉萍     審稿：劉義勝）