Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statistical methods or other reasoning and decision-making methods. In this paper, we propose a linguistic truth-valued temporal reasoning formalism to enable the management of both features concurrently using a linguistic truth valued logic and a temporal logic. We also provide a backward reasoning algorithm which allows the answering of user queries. A simple but realistic scenario in a smart home application is used to illustrate our work. © 2010 Springer-Verlag London.
CITATION STYLE
Lu, Z., Liu, J., Augusto, J. C., & Wang, H. (2010). A linguistic truth-valued temporal reasoning formalism and its implementation. In Research and Development in Intelligent Systems XXVI: Incorporating Applications and Innovations in Intelligent Systems XVII (pp. 305–310). Springer London. https://doi.org/10.1007/978-1-84882-983-1_23
Mendeley helps you to discover research relevant for your work.