报告题目: |
余代数与模态逻辑（Coalgebra and Modal Logic） |
报告人: |
Yde Venema |
|
阿姆斯特丹大学逻辑、语言与计算研究所副教授
|
报告时间: |
2008-06-18 15:00 |
报告地点: |
新斋353 |
主办单位: |
人文社会科学学院哲学系 |
简介: |
In recent years, Universal Coalgebra has emerged as a general framework for modelling various kinds of state-based evolving systems. Whereas algebras have operations for constructing new elements from old, coalgebras provide means to observe or unfold objects. Thus coalgebras are remarkably well tailored to model the concept of state-based dynamics, where typically, a `state of affairs' can be observed and modified. Of key importance in this area is the concept of behavior, together with related notions such as invariance and observational indistinguishability.
The generality of the concept enables one to build into the type of a coalgebra many different features like input, output, nondeterminism, probability distributions, etc. Thus many fundamental phenomena in computer science (data streams, automata, transition systems), logic (Kripke models and frames) and mathematics (non-well-founded sets, power series) have in fact a very natural coalgebraic modelling.
The talk will have two parts. We start with a gentle introduction to the theory of coalgebra, concentrating on the concept of observational indistinguishability (or bisimulation). In the second part of the talk we discuss the role of modal logic in the theory of coalgebra. We will argue that (a suitably generalized version of) modal logic is the right language for specifying and reasoning about coalgebraic behavior. We will finish with a discussion of a fundamental dynamic distributive law, which has applications in areas as diverse as automata theory, game theory, and
topology.
(The talk does not presuppose any previous exposure to coalgebra.)
Yde Venema介绍：Yde Venema博士是阿姆斯特丹大学逻辑、语言与计算研究所副教授。他于1992年以《多维模态逻辑》在该大学获得博士学位。Venema博士研究领域为模态逻辑理论，侧重于代数、余代数及博奕论。Venema博士是有名教材《模态逻辑》的作者之一，同时也是其他三本著作的合著者。他当前正主持研究项目“代数和余代数：模态代数的数学环境（情境）”。
|
|
