beat365体育官网2018秋季海外學者講座系列
點擊次數： 更新時間：2018-09-11
FALL 2018 beat365体育官网2018秋季海外學者講座系列
WHU PHILOSOPHY SEMINAR SERIES
1
-THE FIRST-
題目：The Climate Duties of SubNational Political Communities
講座時間：9月13号15:00
講座地點：振華樓B214
主講人：Dr Lachlan Umbers
主講人簡介：UNSW (Postdoctoral Researcher)
2
-THE SECOND-
Wolter教授系列講座
中英文簡介
主講人：弗蘭克·沃爾特教授
主講人簡介：著名邏輯學家，任職于利物浦大學計算機科學學院，研究領域包括知識表示和推理、描述邏輯、數理邏輯、（多維）模态邏輯、動态系統的邏輯以及自動化推理等。
講座一
題目：人工智能中的本體（Ontologies in Artificial Intelligence）
講座時間：9月13号 18:30
講座地點：振華樓B107
簡介：在計算機科學中，特别是在人工智能領域中，本體（Ontologies）扮演了重要的角色。本次講座将回顧不同類型的本體在計算機科學中的發展及應用，探讨哲學中的本體和計算機科學中的本體之間的相互關系，介紹邏輯學在本體工程中所扮演的角色，并将之與邏輯學在科學哲學中所扮演的角色相聯系。
Title: Ontologies in Artificial Intelligence
Abstract: Ontologies play an important role in computer science and, in particular, artificial intelligence. In this lecture, I will give an overview of the various types of ontologies developed in computer science and how they are used. I will discuss the relationship between ontology in philosophy and ontologies in computer science. Finally, I will discuss the role of logic in ontology engineering and relate it to the role of logic in the philosophy of science
講座二
題目：關于度量和拓撲的模态邏輯（Modal Logic for Metric and Topology）
講座時間：9月14号 18:30
講座地點：振華樓B214
簡介：在哲學邏輯中，度量和拓撲空間被當作空間邏輯、相似邏輯、條件邏輯以及認知邏輯的一種自然的語義學。本次講座将讨論這些模态邏輯，并介紹一種統一的方法将這些邏輯從一個基本模态算子集中推導出來。
Title: Modal logic for metric and topology
Abstract: In philosophical logic, metric and topological spaces have been proposed as a natural semantics for logics of space, similarity logics, conditional logics, and epistemic logics. In this lecture, I will discuss these logics and introduce a uniform way to derive them from a basic set of modal operators.
講座三
題目：強正模态邏輯（Strongly Positive Modal Logic）
講座時間：9月17号18:30
講座地點：振華樓B214
簡介：強正（SP）模态邏輯是經典模态邏輯的一個子片段。它是基于由命題變号、合取以及模态算子構成的SP-公式之間的蘊涵關系建成的。我們将讨論SP-模态邏輯在可證性邏輯、泛代數和人工智能中的起源，給出SP-模态邏輯的兩種自然語義學：标準的模态克裡普克語義和一種基于帶單調算子的代數語義學。最後，通過讨論一個完備性理論的基礎，我們來回答上述兩個語義學是否定義了相同的SP-模态邏輯的問題。
Title: Strongly Positive Modal Logic
Abstract: Strongly positive (SP) modal logic is the fragment of classical modal logic based on implications between SP-formulas built from propositional variables, conjunction and modal diamond operators. We discuss the origins of strongly positive modal logic in provability logic, universal algebra and artificial intelligence. We then observe that SP modal logic has two natural semantics: the standard modal Kripke semantics and the algebraic semantics given by meet-semilattices with monotone operators. We discuss the foundations of a completeness theory that aims to answer the question whether the two semantics define the same SP modal logic.
講座四
題目：描述邏輯簡介（Introduction to Description Logic）
講座時間：9月18号 18:30
講座地點：振華樓B214
簡介：本次講座将以形式化的方式介紹描述邏輯。描述邏輯是一類知識表示的語言。這類語言提供了Web本體标準OWL 的邏輯基礎，而後者在大多數現實世界本體的發展中都有應用。
Title: Introduction to Description Logic
Abstract: Description logics are a family of knowledge representation languages that provides the logical underpinning of the web ontology standard OWL that has been used in the development of the majority of real world ontologies. In this lecture I provide an introduction into description logic as a logical formalism.
3
-THE THIRD-
題目：Authority and Utility in Spinoza: From Epicureanism to Neoliberalism?
講座時間：9月27号15:00
講座地點：振華樓B214
主講人：Dimitris Vardoulakis
（Associate Professor）
主講人簡介：Western Sydney University (Deputy Chair of Philosophy)
4
-THE FOURTH
題目：TBC
講座時間：10月11号15:00
講座地點：振華樓B214
主講人： Abelard Podgorski
（Assistant Professor）
主講人簡介：National University of Singapore
5
-THE FIFTH-
題目：Objective Rights and Epistemic Risks: Beyond Subjective Permissions
講座時間：10月18号15:00
講座地點：振華樓B214
主講人：Renee Bollinger Jorgensen
（Associate Professor）
主講人簡介：Australian National University / Princeton University
6
-THE SIXTH-
題目：TBC
講座時間：11月15号 15:00
講座地點：振華樓B214
主講人：Professor Douglas Moggach
主講人簡介：University of Ottawa
7
-THE SEVENTH-
題目：Artificial Intelligence and Medicine
講座時間：11月29号15:00
講座地點：振華樓B214
主講人：Professor Robert Sparrow
主講人簡介：Monash University