Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Pavelka, J.: On fuzzy logic I: multiple-valued rules of inference, II: enriched residuated lattices and semantics of propositional calculi, III: semantical completeness of some multiple-valued propositional calculi. Zeitschr. F. Math. Logik und Grundlagend. Math., Vol. 25, pp. 45-52, 119-134, 447-464 (1979).
Gottwald, S.: A Treatise on Many-Valued Logics, Studies in Logic and Computation, vol. 9, Research Studies Press Ltd., Baldock (2001).
Xu, Y., Ruan, D., Qin, K., Liu, J.: Lattice-valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability. Springer-Verlag (2003).
Galton, A.: Temporal Logics and Their Applications, Academic Press, London (1987).
Augusto, J.: A General framework for Reasoning about Change. New Generation Computing, Vol. 21, pp. 209-247, Ohmsha, Ltd and Springer Verlag (2003).
Kröger, F., Merz, S.: Temporal Logic and State Systems, Springer (2008).
Dubois, D., HadjAli, A., Prade. H.: Fuzziness and uncertainty in temporal reasoning. JUCS, Vol.9, pp.1168-1195 (2003).
Escalada-Imaz, G.: A temporal many-valued logic for real time control systems. In: Proceeding of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, pp. 91-100 (2000).
Mucientes, M., Iglesias, R., Regueiro, C., Bugarin, A., Barro. S.: A fuzzy temporal rule-based velocity controller for mobile robotics. Fuzzy Sets and System, Vol. 134, pp. 83-99 (2003).
Schockaert, S., Cock, M.: Temporal reasoning about fuzzy intervals. Artificial Intelligence, vol. 172, pp. 1158-1193 (2008).
Lu, Z., Liu, J., Augusto J., Wang H.: Multi-valued temporal reasoning framework for decision-making. In: Proceeding of the 8th International FLINS Conference , pp. 301-306 (2008).
Galton, A., Augusto, J.: Stratified causal theories for reasoning about deterministic devices and protocols. In: Proceedings of 9th International Symposium on Temporal Representation and Reasoning, pp.52-54 (2002)
Augusto, J., McCullagh, P., Croft V., Walkden. J.: Enhanced healthcare provision through assisted decision-making in a smart home environment. Proceedings of 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI07), pp.27-32 (2007).
Liu, J., Martinez, L., Xu, Y., Lu, Z.: Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic. In: Proceedings of the 37th International Symposium on Multiple-Valued Logic (ISMVL'07), pp.29 (2007).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag London
About this paper
Cite this paper
Lu, Z., Liu, J., Augusto, J.C., Wang, H. (2010). A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation. In: Bramer, M., Ellis, R., Petridis, M. (eds) Research and Development in Intelligent Systems XXVI. Springer, London. https://doi.org/10.1007/978-1-84882-983-1_23
Download citation
DOI: https://doi.org/10.1007/978-1-84882-983-1_23
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-84882-982-4
Online ISBN: 978-1-84882-983-1
eBook Packages: Computer ScienceComputer Science (R0)