Group Meeting, Talk on Modular Interpreted Systems

Group Meeting, Talk on Modular Interpreted Systems Person/Speaker: Wojtek Jamroga

Place: Am Regenbogen 15We propose a new class of representations that can be used for modeling multi-agent systems (and model checking their temporal, strategic and epistemic properties). Our representations borrow the main ideas from interpreted systems of Fagin, Halpern et al.; however, they are also inspired by the modularity of concurrent programs. We show (formally) that modular interpreted systems are general, and argue (informally) that they are more grounded, modular and compact than the previous formalisms. Finally, I will mention a surprising complexity result for model checking strategic logics in these new structures.