Modal Logics of Space

Time: Nov. 17th, 7:30-8:30 pm

Place：Xinzhai Room 346, Tsinghua University

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.