报告人简介：
Don Faust教授，美国北密歇根大学数学与计算机科学系教授，数学家和逻辑学家，同时是国际科学史与科学哲学联合会、符号逻辑协会等国际学术组织的会员。Faust教授主要研究证据逻辑、知识表征和人工智能等问题，并长期致力于一阶逻辑语言的代数（语法）和拓扑（语义）结构的研究。研究成果主要发表在《符号逻辑杂志》、《符号逻辑通报》、《国际智能系统杂志》和《逻辑与逻辑哲学》等国际知名学术刊物上。
报告摘要：
知识表征和知识处理问题，既处在人工智能研究的核心位置，也贯穿于整个自然与人文科学之中。这一问题能通过以下方法被部分的解决，即扩充经典逻辑以致能包含确证的和驳斥的证据机制以及证据层级机制，这实质上超越了经典逻辑的绝对论者非真即假的确证。这正是我们在证据逻辑中所要做的。我们首先将谈论研究证据逻辑的动机和用处，之后将精确的定义证据逻辑并陈述其主要结构定理，还将指出证据逻辑中的布尔语句代数和拓扑模型空间是如何用在这些结构定理的证明中的。同时也将讨论各种不同的知识表征问题，特别是要讨论证据逻辑对“否定”概念的解释。
Problems of knowledge representation and processing, especially in the field of Artificial Intelligence (AI) but also across the entire spectrum of the natural and human sciences, can be partially addressed by extending Classical Logic (CL) to include both confirmatory and refutatory evidence machinery and evidence level machinery going substantially beyond the absolutist and only confirmatory 0 (false) and 1 (true) of CL. This is precisely what we do in Evidence Logic (EL). Let P be a proposition symbol (the case for t-ary predicates is handled similarly). In EL, the predication Pc:e asserts that P is confirmed at the evidence level e, while Pr:e asserts that P is refuted at level e. Similarly with the semantics, EL interprets a t-ary predicate symbol with a pair of t-ary relations (actually, the appropriate generalization, t-ary partial functions mapping to the space of evidence levels) on the universe of any model, one witnessing confirmatory evidence and the other witnessing refutatory evidence. One also obtains in EL a further explication of the concept of negation; for example, the reader is encouraged to consider the distinction obtaining in EL between NOT (Pc:e) and Pr:e.
We will first discuss the motivation for, and utility of, EL. Following that we will precisely define EL and state the main structure theorems for EL, giving also some indication of how the Boolean Sentence Algebras and Topological Model Spaces of EL are involved in the proofs of these structure theorems. Also, various knowledge representation issues, and in particular the explicatum of the concept of negation which EL provides, will be discussed.
Don Faust教授相关学术报告：
1. 主题：The Perspective of EXPLORATIONISM and The Structure of Evidential Gluts and Gaps
时间：9月16日（周二）上午9:00－11:30 地点：中国人民大学人文楼6层会议室
2. 主题：Knowledge Representation Issues
时间：9月18日（周四）晚上18:00－20:30 地点：中国人民大学明德主楼0204教室
中国人民大学现代逻辑与科学技术哲学研究所
欢迎点击：http://philosophyol.com/logic |
