This paper addresses the problem of modeling and automated recognition of video events. We propose to use Linear Temporal Logic as a language for events specification and Fuzzy Semantic Petri Nets (FSPN) as a tool for their recognition. FSPN are Petri nets coupled with an underlying fuzzy ontology. The ontology stores assertions (facts) concerning classification of objects and detected relations. Fuzzy predicates querying the ontology content are used as guards of transitions in FSPN. Tokens carry information on objects participating in a scenario and are equipped with weights indicating likelihood of their assignment to places. In turn, the places correspond to scenario steps. We describe a prototype detection system consisting of an FSPN interpreter, the fuzzy ontology, and a set of predicate evaluators. Initial tests yielding promising results are reported.
展开▼