威斯尼斯人wns5792018秋季海外学者讲座系列
点击次数： 更新时间：2018-09-11
FALL 2018 威斯尼斯人wns5792018秋季海外学者讲座系列
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