FORMAL LOGICAL TRANSFORMATION OF HIERARCHICAL HUMAN ACTIVITY FOR REASONING BASED RECOGNITION
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto · 2014
This paper proposes a formal framework which represents the composite human activity under consideration by a hierarchical ordering structure and discusses how they can be modelled and transferred into a formal syntactical logical formula, i.e., logical predicate algebra. This has placed a foundation for recognizing the composite activity based on the transformed logical formulas using automated reasoning methodology.