Formal logical transformation of hierarchical human activity for reasoning based recognition

Shuwei Chen; Jun Liu; Hui Wang; Juan Augusto

doi:10.1142/9789814619998_0060

Formal logical transformation of hierarchical human activity for reasoning based recognition

Shuwei Chen
, Jun Liu
, Hui Wang
, Juan Augusto

School of Computing and Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014
Editors	Ronei Marcos de Moraes, Etienne E. Kerre, Liliane dos Santos Machado, Jie Lu
Publisher	World Scientific Publishing Co. Pte Ltd
Pages	354-359
Number of pages	6
ISBN (Electronic)	9789814619967
DOIs	https://doi.org/10.1142/9789814619998_0060
Publication status	Published (in print/issue) - 2014
Event	Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014 - Joao Pessoa, Paraiba, Brazil Duration: 17 Aug 2014 → 20 Aug 2014

Publication series

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

Conference

Conference	Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014
Country/Territory	Brazil
City	Joao Pessoa, Paraiba
Period	17/08/14 → 20/08/14

Bibliographical note

Publisher Copyright:
© 2014 by World Scientific Publishing Co. Pte. Ltd. All rights reserved.

Access to Document

10.1142/9789814619998_0060

Cite this

Chen, S., Liu, J., Wang, H., & Augusto, J. (2014). Formal logical transformation of hierarchical human activity for reasoning based recognition. In R. M. de Moraes, E. E. Kerre, L. dos Santos Machado, & J. Lu (Eds.), Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014 (pp. 354-359). (Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014). World Scientific Publishing Co. Pte Ltd. https://doi.org/10.1142/9789814619998_0060

Chen, Shuwei ; Liu, Jun ; Wang, Hui et al. / Formal logical transformation of hierarchical human activity for reasoning based recognition. Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014. editor / Ronei Marcos de Moraes ; Etienne E. Kerre ; Liliane dos Santos Machado ; Jie Lu. World Scientific Publishing Co. Pte Ltd, 2014. pp. 354-359 (Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014).

@inproceedings{d78e7989757d43ad991fc94ac7a8f145,

title = "Formal logical transformation of hierarchical human activity for reasoning based recognition",

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.",

author = "Shuwei Chen and Jun Liu and Hui Wang and Juan Augusto",

note = "Publisher Copyright: {\textcopyright} 2014 by World Scientific Publishing Co. Pte. Ltd. All rights reserved.; Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014 ; Conference date: 17-08-2014 Through 20-08-2014",

year = "2014",

doi = "10.1142/9789814619998\_0060",

language = "English",

series = "Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014",

publisher = "World Scientific Publishing Co. Pte Ltd",

pages = "354--359",

editor = "\{de Moraes\}, \{Ronei Marcos\} and Kerre, \{Etienne E.\} and \{dos Santos Machado\}, Liliane and Jie Lu",

booktitle = "Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014",

address = "Singapore",

}

Chen, S, Liu, J, Wang, H & Augusto, J 2014, Formal logical transformation of hierarchical human activity for reasoning based recognition. in RM de Moraes, EE Kerre, L dos Santos Machado & J Lu (eds), Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014. Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014, World Scientific Publishing Co. Pte Ltd, pp. 354-359, Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014, Joao Pessoa, Paraiba, Brazil, 17/08/14. https://doi.org/10.1142/9789814619998_0060

Formal logical transformation of hierarchical human activity for reasoning based recognition. / Chen, Shuwei; Liu, Jun; Wang, Hui et al.
Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014. ed. / Ronei Marcos de Moraes; Etienne E. Kerre; Liliane dos Santos Machado; Jie Lu. World Scientific Publishing Co. Pte Ltd, 2014. p. 354-359 (Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal logical transformation of hierarchical human activity for reasoning based recognition

AU - Chen, Shuwei

AU - Liu, Jun

AU - Wang, Hui

AU - Augusto, Juan

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84964418350

U2 - 10.1142/9789814619998_0060

DO - 10.1142/9789814619998_0060

M3 - Conference contribution

AN - SCOPUS:84964418350

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

SP - 354

EP - 359

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

A2 - de Moraes, Ronei Marcos

A2 - Kerre, Etienne E.

A2 - dos Santos Machado, Liliane

A2 - Lu, Jie

PB - World Scientific Publishing Co. Pte Ltd

T2 - Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014

Y2 - 17 August 2014 through 20 August 2014

ER -

Chen S, Liu J, Wang H, Augusto J. Formal logical transformation of hierarchical human activity for reasoning based recognition. In de Moraes RM, Kerre EE, dos Santos Machado L, Lu J, editors, Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014. World Scientific Publishing Co. Pte Ltd. 2014. p. 354-359. (Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014). doi: 10.1142/9789814619998_0060

Formal logical transformation of hierarchical human activity for reasoning based recognition

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Ordering based decision making

Cite this

Formal logical transformation of hierarchical human activity for reasoning based recognition

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Student theses

Ordering based decision making

Cite this