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
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.
Modal logic, Agency, Interaction, Extensive form games

J. Broersen, "A stit-Logic for Extensive Form Group Strategies," 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), Milan, Italy, 2009, pp. 484-487.
81 ms
(Ver 3.3 (11022016))