3月13日Goranko教授讲座:Interval-based temporal logics: an overview

时间:3月13日下午3点-6点

地点:一教105

主讲人: Prof. Valentin Goranko (Stockholm University, http://www2.philosophy.su.se/goranko/)

题目:Interval-based temporal logics: an overview

Abstract :

There are two main types of ontologies for temporal reasoning, depending on what basic temporal entities they assume as primitive: instant-based and interval-based.  Truth of formulae in  interval-based temporal logics is evaluated relative to time intervals, which are taken as possible worlds of the interval-based models, with the various natural relations between intervals taken as accessibility relations between them. That leads to a rich variety of interval-based multi-modal logics.  

 

In this talk I will give an overview of models and logics for interval-based temporal reasoning, focusing mainly on fragments of the Halpern-Shoham Interval logic HS. I will give a concise introduction to the topic and will outline and discuss the recently completed classification of expressiveness and the (nearly completed) classification of (un)decidability of fragments of HS. Then I will survey briefly some results on axiomatizations, where there are still many challenging problems, some of which I will mention.



发布时间:2018-02-28 11:07:31
联系我们      关于本站      版权所有© 2009-2018  北京大学哲学系逻辑、语言与认知研究中心      地址:北京大学人文学苑二号楼