LILaC - paper abstract

A normal simulation of Coalition Logic and an epistemic extension

Broersen, Jan and Herzig, Andreas and Troquard, Nicolas




@InProceedings{ BrHeTr2007.1,
author = {Broersen, Jan and Herzig, Andreas and Troquard, Nicolas},
title = "{Normal Coalition Logic and its conformant extension}",
booktitle = "{Theoretical Aspects of Rationality and Knowledge (TARK), Brussels, 25/06/07-27/06/07}",
year = {2007},
publisher = {ACM DL},
address = {},
pages = {},
language = {anglais},
URL = {},
keywords = {coalition logic, uniform strategy},
abstract = {This paper presents the logics Normal Coalition Logic NCL and its conformant version of Normal Coalition Logic CNCL. NCL is a multi-agent version of Chellas' STIT logic, extended with a next time operator (X). We show NCL subsumes coalition logic and give a complete axiomatization. Conformant NCL extends NCL with a standard S5 knowledge operator. This enables us to express that agents see to something under uncertainty about the present state or uncertainty about which action is being taken. In accordance with established terminology in the planning community, we call this version of NCL the `Conformant NCL'. The Conformant NCL enables us to express that agents are able to perform a uniform strategy. }