Advertisement

A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation

  • Zhirui Lu
  • Jun Liu
  • Juan C. Augusto
  • Hui WangEmail author
Conference paper

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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).zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Gottwald, S.: A Treatise on Many-Valued Logics, Studies in Logic and Computation, vol. 9, Research Studies Press Ltd., Baldock (2001).Google Scholar
  3. 3.
    Xu, Y., Ruan, D., Qin, K., Liu, J.: Lattice-valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability. Springer-Verlag (2003).Google Scholar
  4. 4.
    Galton, A.: Temporal Logics and Their Applications, Academic Press, London (1987).Google Scholar
  5. 5.
    Augusto, J.: A General framework for Reasoning about Change. New Generation Computing, Vol. 21, pp. 209-247, Ohmsha, Ltd and Springer Verlag (2003).zbMATHCrossRefGoogle Scholar
  6. 6.
    Kröger, F., Merz, S.: Temporal Logic and State Systems, Springer (2008).Google Scholar
  7. 7.
    Dubois, D., HadjAli, A., Prade. H.: Fuzziness and uncertainty in temporal reasoning. JUCS, Vol.9, pp.1168-1195 (2003).MathSciNetGoogle Scholar
  8. 8.
    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).Google Scholar
  9. 9.
    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).zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Schockaert, S., Cock, M.: Temporal reasoning about fuzzy intervals. Artificial Intelligence, vol. 172, pp. 1158-1193 (2008).zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    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).Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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).Google Scholar
  14. 14.
    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).Google Scholar

Copyright information

© Springer-Verlag London 2010

Authors and Affiliations

  • Zhirui Lu
    • 1
  • Jun Liu
    • 1
  • Juan C. Augusto
    • 1
  • Hui Wang
    • 1
    Email author
  1. 1.School of Computing and Mathematics, Faculty of Computing and Engineering, University of Ulster at JordanstownNewtownabbeyUK

Personalised recommendations