2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology A stit-Logic for Extensive Form Group Strategies Milan, Italy September 15-September 18 ISBN: 978-0-7695-3801-3
We present the logic $\textsf{G.STRAT}$ for reasoning about group strategies. To enable a modal semantics for reasoning about group strategies, strategy profiles will be viewed as structured possible worlds. Although the general logic is undecidable and not finitely axiomatizable for systems with 3 agents or more, we identify more well-behaved logics like $\textsf{ATL}$, and temporal \emph{stit}-logics as fragments. We explain our aim to apply the logics to reasoning about multi-agent programs, such as the programs of 2APL. Finally, we discuss several properties of (multi-)agency expressible in the logic. Among these properties is an axiom characterizing a basic form of autonomy.
Index Terms:
Modal logic, Agency, Interaction, Extensive form games
Citation:
Jan Broersen, "A stit-Logic for Extensive Form Group Strategies," wi-iat, vol. 3, pp.484-487, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb