Title: Modular Interpreted Systems
Authors: Wojciech Jamroga, Computational Intelligence Group, Clausthal University of Technology
   Thomas Ågotnes, Department of Computer Engineering, Bergen University College, Norway

Abstract:
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representations borrow the main ideas from interpreted systems of Halpern, Fagin et al.; however, they are also modular and compact in the way concurrent programs are. We also mention preliminary results on model checking alternating-time temporal logic for this natural class of models.

Keywords: open computational systems, temporal and strategic logics, modeling methodology, model checking.


Computational Intelligence Group @ Technical University of Clausthal Home
Human Media Interaction Group @ University of Twente
Computer Science Group @ University of Gdansk Last modified 2007-05-22