Introduction在线视频

Abstract：We introduce a new semantics for a family of logics of explicit and implicit belief based on the concept of multi-agent belief base. Differently from standard semantics for epistemic logic in which the notions of possible world and doxastic/epistemic alternative are primitive, in our semantics they are non-primitive but are computed from the concept of belief base. We provide complete axiomatizations and prove decidability for our logics. Furthermore, we provide polynomial embeddings of our logics into Fagin & Halpern’s logic of general awareness and establish complexity results via the embeddings. We also present variants of the logics incorporating different forms of epistemic introspection for explicit and/or implicit belief and provide complexity results for some of these variants. Finally, we present a number of dynamic extensions of the static framework by informative actions of both public and private type, including public announcement, belief base expansion and forgetting. We compare our approach with the DEL approach to multi-agent belief change. Time permitting, we will present recent extensions of the logical framework to the notions of distributed belief and graded belief. 

Speaker:  Emiliano Lorini is a senior researcher ("directeur de recherche") at the Centre National de la Recherche Scientifique (CNRS), co-head of the LiLaC team (Logic, interaction, language and computation) at the Institut de Recherche en Informatique de Toulouse (IRIT).

His research is focused on the following topics in the fields of artificial intelligence, logic and game theory: logics for multi-agent systems, epistemic logic, logics of action, logics of cognitive attitudes, logics of emotions, epistemic game theory, multi-agent learning, machine ethics.