A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
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.doi:10.1080/18756891.2012.670529 fatcat:mt2ldpnusrbn7omdhwxhz6aj7m