Title | ||
---|---|---|
A Linguistic Truth-Value Temporal Reasoning (Ltr) System And Its Application To The Design Of An Intelligent Environment |
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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1080/18756891.2012.670529 | INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS |
Keywords | Field | DocType |
Logic, Decision-making, Uncertainty, Temporality, Forward Reasoning, Backward Reasoning | Automated reasoning,Computer science,Adaptive reasoning,Model-based reasoning,Artificial intelligence,Non-monotonic logic,Temporal logic,Opportunistic reasoning,Reasoning system,Machine learning,Qualitative reasoning | Journal |
Volume | Issue | ISSN |
5 | 1 | 1875-6891 |
Citations | PageRank | References |
6 | 0.49 | 22 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zhirui Lu | 1 | 13 | 2.07 |
Juan Carlos Augusto | 2 | 1344 | 145.59 |
Jun Liu | 3 | 419 | 23.08 |
hui wang | 4 | 76 | 17.01 |