Characterization of Environment Conditions with Metric Temporal Feature Logic

Abstract

The reactive paradigm of planning addresses the problem of determining actions by agents in changing environments. A common property of all such works is that decision making as highly dependent on results from a perception unit, and the reacting agent is intended to behave in real time. In this paper we present a formalism to support recognition of significant situations in a dynamic environment based on sequences of observations, whale meeting well-defined temporal constraints. We propose a logic which allows formal specifications of quantitative temporal constraints and explicit representation of deictic references. We have used the logic for specifications where values of parameters vary over continuous time. The specifications refer -to distances within different time scales including continuous ones.