The Community for Technology Leaders
Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on (2009)
Milan, Italy
Sept. 15, 2009 to Sept. 18, 2009
ISBN: 978-0-7695-3801-3
pp: 484-487
ABSTRACT
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", Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on, vol. 03, no. , pp. 484-487, 2009, doi:10.1109/WI-IAT.2009.331
93 ms
(Ver 3.3 (11022016))