Volume 5, Issue 1, February 2012, Pages 173 - 196
A LINGUISTIC TRUTH-VALUE TEMPORAL REASONING (LTR) SYSTEM AND ITS APPLICATION TO THE DESIGN OF AN INTELLIGENT ENVIRONMENT
Authors
Zhirui Lu, Juan Augusto, Jun Liu, Hui Wang
Corresponding Author
Zhirui Lu
Received 10 May 2010, Accepted 16 December 2011, Available Online 1 February 2012.
- DOI
- 10.1080/18756891.2012.670529How to use a DOI?
- Keywords
- Logic, Decision-making, Uncertainty, Temporality, Forward Reasoning, Backward Reasoning
- Abstract
This paper focuses on a linguistic-valued temporal logic based reasoning formalism for dynamically modelling and merging information under uncertainty in some real world systems where the state of a system evolves over time and the transition through states depends on uncertain conditions. We provide forward and backward reasoning algorithms which, respectively, support simulation and query answering. These algorithms are then explained through several examples based on Smart Homes applications.
- Copyright
- © 2017, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - JOUR AU - Zhirui Lu AU - Juan Augusto AU - Jun Liu AU - Hui Wang PY - 2012 DA - 2012/02/01 TI - A LINGUISTIC TRUTH-VALUE TEMPORAL REASONING (LTR) SYSTEM AND ITS APPLICATION TO THE DESIGN OF AN INTELLIGENT ENVIRONMENT JO - International Journal of Computational Intelligence Systems SP - 173 EP - 196 VL - 5 IS - 1 SN - 1875-6883 UR - https://doi.org/10.1080/18756891.2012.670529 DO - 10.1080/18756891.2012.670529 ID - Lu2012 ER -