Logics for visual-epistemic reasoning in multi-agent systems

Time: 2018 Mar. 16, 13:30-16:05

Venue: Xinzhai 301, Tsinghua Univ.

Speaker: Valentin Goranko (Stockholm University)

Abstract: In this talk I will discuss logic-based reasoning evolving from the interaction between knowledge and visual information that agents receive and process. In particular, I will present a formal logical framework for multi-agent visual-epistemic reasoning, where each agent receives visual information from the environment via mobile camera with a given angle of vision in the plane. The agents can thus observe their surroundings and each other and can reason about each other’s observation abilities and knowledge derived from these observations. I will introduce suitable logical languages for formalising such reasoning, involving atomic formulae stating what agents can see, multi-agent epistemic operators, as well as dynamic operators reflecting the ability of agents (or, their cameras) to move and turn around. I will then introduce several different types of models for these languages and will discuss their expressiveness and axiomatisation problems, and how they interact with the underlying geometric constraints and assumptions. At the end I will state some technical results and open problems. This talk is based on a joint work with Olivier Gasquet (Univ. Paul Sabatier, IRIT, Toulouse) and Franois Schwarzentruber (ENS Rennes).

Organization:

Tsinghua University–University of Amsterdam Joint Research Centre for Logic

Department of Philosophy, Tsinghua University