Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings

Abstract

. We describe a small but non-trivial 3-agent-robotics scenario by two different methods, viz. resource-oriented deductive planning and logical fiberings. The ultimate aim is to find a semantics for planning methods by means of fiberings. To this end, a comparison of the two methods is made and illustrated by the sample scenario, and the correspondences between the basic notions for both methods are clarified. The fiberings method is found to be useful in modeling communication and interaction between cooperating agents, thanks to the local/global distinction that is inherent to this framework. Possible extensions of the framework, like e.g. formulas dependent on space and/or time, are discussed. 1 Introduction In this paper we set out to provide a semantics for planning methods (in particular resource-oriented disjunctive planning) by logical fiberings, a concept which we have transferred from classical fiber bundle and sheaf theory. First, a scenario consisting of three robots solv..