Formal logical transformation of hierarchical human activity for reasoning based recognition

Shuwei Chen, Jun Liu, Hui Wang, Juan Augusto

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Citations (Scopus)

    Abstract

    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.

    Original languageEnglish
    Title of host publicationDecision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014
    EditorsRonei Marcos de Moraes, Etienne E. Kerre, Liliane dos Santos Machado, Jie Lu
    PublisherWorld Scientific Publishing Co. Pte Ltd
    Pages354-359
    Number of pages6
    ISBN (Electronic)9789814619967
    DOIs
    Publication statusPublished - 2014
    EventDecision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014 - Joao Pessoa, Paraiba, Brazil
    Duration: 17 Aug 201420 Aug 2014

    Publication series

    NameDecision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014

    Conference

    ConferenceDecision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014
    CountryBrazil
    CityJoao Pessoa, Paraiba
    Period17/08/1420/08/14

    Fingerprint

    Dive into the research topics of 'Formal logical transformation of hierarchical human activity for reasoning based recognition'. Together they form a unique fingerprint.

    Cite this