A linguistic truth-value temporal reasoning (LTR) system and its application to the design of an intelligent environment
Lu, Zhirui, Augusto, Juan Carlos 
ORCID: https://orcid.org/0000-0002-0321-9150, Liu, Jun and Wang, Hui
(2012)
A linguistic truth-value temporal reasoning (LTR) system and its application to the design of an intelligent environment.
International Journal of Computational Intelligence Systems, 5
(1)
.
pp. 173-196.
ISSN 1875-6891
[Article]
(doi:10.1080/18756891.2012.670529)
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.
| Item Type: | Article |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer Science A. > School of Science and Technology > Computer Science > Intelligent Environments group |
| Item ID: | 9972 |
| Useful Links: | |
| Depositing User: | Dr. Juan C. Augusto |
| Date Deposited: | 26 Mar 2013 13:11 |
| Last Modified: | 13 Oct 2016 14:26 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/9972 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)