Título: Alternating-time Temporal Logic, Coalition Logic and STIT theory of
agency and their epistemic extensions

Palestrante:  Andreas Herzig (prof. Visitante IME-USP), IRIT-CNRS (Toulouse,
France) 

Data:   10/11/2008, 14h30
Local:  Sala 03B, IME-USP

Resumo:
Alternating-time Temporal Logic (ATL), Coalition Logic and so-called STIT
theories of agency (`seeing-to-it-that') are three different formalisms to
model the capability of agents and groups of agents to ensure some
outcome. While they come from 3 different traditions (theoretical computer
science, game theory and philosophy of action), in all of them the notion
of independence of agents is fundamental. I shall give an overview, and
explain that only STIT theories allow to reason about uniform strategies,
i.e. strategies where it does not suffice that the agent has the
capability to ensure some fact, but he must also know that he has that
ability.