[BibTeX] [RIS]
Hypotheses Generation for Process Recognition in a Domain Specified by Temporal Logic
Type of publication: Inproceedings
Citation: Colonius:2012uh
Publication status: Accepted
Series: Report Series of the Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition
Number: 3
Year: 2012
Month: August
Pages: 49-54
Location: University Bremen
Abstract: The degree of automation in the logistic domain is in- creasing, which amplifies the need of autonomous robotic systems. An autonomous system requires situational awareness as well as an understanding of processes in its environment to act goal orientated. Process Recognition methods show valid solutions for this problem. Considering the challenge of recognizing processes from a humans point of view, explainability of found solutions and simple process definitions for processes to search for becomes essential. This leads to the use of qualitative reasoning techniques. Especially logistic do- mains like warehouses are highly dynamic and mobile robots situated in that domain often do not have complete sensor coverage of the whole environment. Logic methods like deduction for model check- ing can thus be insufficient due to incomplete or wrong observations, breaking the reasoning chain. Topic of this paper is the enhance- ment of the deductive reasoning for process recognition with hy- potheses based on background knowledge and reasoning techniques to overcome these limitations. Therefore, a qualitative measurement for certainty will be motivated and benefits of hypotheses integration shown.
Authors Colonius, Immo
Editors Frommberger, Lutz
Schill, Kerstin
Scholz-Reiter, Bernd
  • 2012 Colonius.pdf