时间: 11月17日周四晚 7：30---8：30
地点: 清华新斋346


Title: Modal Logics of Space

Abstract: The need for formal languages for the representation and reasoning
about space is crucial in many areas of AI and Computer Vision. In
many contexts, qualitative approaches to space are more effective and
appropriate than quantitative ones. In this talk, I review modal languages
to represent and reason about space offering a landscape of increasing
expressivity, from S4 interpreted on topological spaces à la Tarski to
Morphological languages. I will also provide indication of the applicability
of some of these logics to computer science problems.

Bio:

Marco Aiello is full professor of Distributed Information Systems at
the University
of Groningen, The Netherlands. The talk is based on his PhD work performed at
the University of Amsterdam under the guidance of Johan van Benthem one
decade ago and on the Handbook of Spatial Logics, published by Springer in 2006
for which he acted as one of the editors.