Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios

摘要

. The ultimate aim of this work is to find a semantics for reasoning about actions and change in cooperating agent scenarios based on the concept of so called logical fiberings. As a first step in this direction we describe a small but non-trivial 3-agent-robotics scenario using two different methods, viz. resource-oriented deductive planning and the mathematical framework of logical fiberings. By means of this scenario both methods are illustrated, compared and the correspondences between the basic notions for both methods are clarified. The fiberings method is found to be very useful in modeling communication and interaction between cooperating agents, due to the possibility to switch between a local/global point of view which is inherent to this framework. We formulate a generic modeling principle using this notion. Furthermore, possible extensions of the framework, like formulas depending on space and/or time, are discussed. 1 Introduction The objective of this work is to provide ...