Generating Abstractions from Static Domain Analysis

This paper addresses the problem of how to implement a proactive behavior according to a two-tiered (i.e., both theoretical and pragmatic) perspective. Theoretically, we claim that abstraction must be used to render agents able to solve complex problems. Pragmatically, we illustrate a technique devised to generate abstract spaces starting from a “ground” description of the domain being modeled