Temporal logic for process specification and recognition

  • Authors:

  • Arne Kreutzmann;Immo Colonius;Diedrich Wolter;Frank Dylla;Lutz Frommberger;Christian Freksa

  • Affiliations:

  • SFB/TR 8 Spatial Cognition, University of Bremen, Bremen, Germany 28359;SFB/TR 8 Spatial Cognition, University of Bremen, Bremen, Germany 28359;SFB/TR 8 Spatial Cognition, University of Bremen, Bremen, Germany 28359;SFB/TR 8 Spatial Cognition, University of Bremen, Bremen, Germany 28359;SFB/TR 8 Spatial Cognition, University of Bremen, Bremen, Germany 28359;SFB/TR 8 Spatial Cognition, University of Bremen, Bremen, Germany 28359

  • Venue:
  • Intelligent Service Robotics
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

Acting intelligently in dynamic environments involves anticipating surrounding processes, for example to foresee a dangerous situation by recognizing a process and inferring respective safety zones. Process recognition is thus key to mastering dynamic environments including surveillance tasks. In this paper, we are concerned with a logic-based approach to process specification, recognition, and interpretation. We demonstrate that linear temporal logic (LTL) provides the formal grounds on which processes can be specified. Recognition can then be approached as a model checking problem. The key feature of this logic-based approach is its seamless integration with logic inference which can sensibly supplement the incomplete observations of the robot. Furthermore, logic allows us to query for process occurrences in a flexible manner and it does not rely on training data. We present a case study with a robotic observer in a warehouse logistics scenario. Our experimental evaluation demonstrates that LTL provides an adequate basis for process recognition.