A linguistic truth-value temporal reasoning (ltr) system and its application to the design of an intelligent environment

International Journal of Computational Intelligence Systems

Volumn 5, Issue 1, 2012, Pages 173-196

  Lu, Zhirui ^a   Augusto, Juan ^a   Liu, Jun ^a   Wang, Hui ^a  

^a UNIVERSITY OF ULSTER   (United Kingdom)

Author keywords

Backward Reasoning; Decision making; Forward Reasoning; Logic; Temporality; Uncertainty

Indexed keywords

AUTOMATION; DECISION MAKING; INTELLIGENT BUILDINGS; LINGUISTICS; REAL TIME SYSTEMS; UNCERTAINTY ANALYSIS;

BACKWARD REASONING; FORWARD REASONING; LOGIC; TEMPORALITY; UNCERTAINTY;

COMPUTER CIRCUITS;

EID: 84865773958     PISSN: 18756891     EISSN: 18756883     Source Type: Journal    
DOI: 10.1080/18756891.2012.670529     Document Type: Article

References (45)

1. J., Pavelka, “ On fuzzy logic I, II, III,” Z. Math. Logik Grundlagen Math, 25, 45–52, 119–134, 1979.
2. V., Novák, I., Perfilieva and J., Mockor, Mathematical Principles of Fuzzy Logic, Kluwer, Dordrecht, 2000.
3. P., Hájek, Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998.
4. S., Gottwald, “ A treatise on many-valued logics,” Studies in Logic and Computation, 9, 2001.
5. L., Bolc and P., Borowik, Many-Valued Logics, 1. The oretical Foundations, Springer, Berlin, 1992.
6. R., Cignoli, I., D'Ottaviano and D., Mundici, Algebraic foundations of many-valued reasoning, Kluwer, Dordrecht, 2000.
7. Y., Xu, D., Ruan, K., Qin and J., Liu, Lattice-valued Logic:An Alternative Approach to Treat Fuzziness and Incomparability, Springer-Verlag, 2003.
8. Martinez, L., Ruan, D., and Herrera, F., 2010. Computing with words in decision support systems:An overview on models and applications. International Journal of Computational Intelligence Systems, 3 (4):382–395.
9. A., Galton, “ Temporal logics and their applications,” Academic Press Professional, Inc., San Diego, CA, USA, 1987.
10. Emerson, E. A., 1990. Temporal and modal logic 995–1072.
11. Gabbay, D., Hodkinson, I., and Reynolds, M., 1994. Temporal Logic (Volume 1):Mathematical Foundations and Computational Aspects, Oxford University Press.
12. Venema, Y., 2001. Temporal logic, Blackwell Publishers.
13. J., Augusto, “ A general framework for reasoning about change,” New Generation Comput., 21 3, 2003.
14. Augusto, J., 2005. Temporal reasoning for decision support in medicine. Artif. Intell. Med., 33 (1):1–24.
15. F., Kröger and S., Merz, Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series), Springer Publishing Company, Incorporated, 2008.
16. G., Escalada-Imaz, “ A temporal many-valued logic for real time control systems,” In AIMSA'00:Proceedings of the 9th International Conference on Articial Intelligence, pages 91–100, Springer-Verlag, London, UK, 2000.
17. Cárdenas Viedma, M., Morales, R., and Sánchez, I., 2001. Fuzzy temporal constraint logic:a valid resolution principle. Fuzzy Sets Syst., 117 (2):231–250.
18. Mucientes, M., Iglesias, R., Regueiro, C., Bugarín, A., and Barro, S., 2003. A fuzzy temporal rule-based velocity controller for mobile robotics. Fuzzy Sets Syst., 134 (1):83–99.
19. Schockaert, S., and De Cock, M., 2008. Temporal reasoning about fuzzy intervals. Artif. Intell., 172 (8-9):1158–1193.
20. Z., Lu, J., Liu, Augusto and H., Wang, “ A many-valued temporal logic and reasoning framework for decision making,” Computational Intelligence in Complex Decision Systems, 127–148, 2010.
21. A., Galton and J., Augusto, “ Stratied causal theories for reasoning about deterministic devices and protocols,” In TIME '02:Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02), 52, IEEE Computer Society, Washington, DC, USA. 2002.
22. Liu, J., Ruan, D., Xu, Y., and Song, Z., 2003. A resolution-like strategy based on a lattice-valued logic. IEEE Trans. on Fuzzy Systems, 11 (4):560–567.
23. Welton, J., 1922. A Manual of Logic, W.B. Clive.
24. L., Zadeh, “ Approximate reasoning based on fuzzy logic,” In IJCAI'79:Proceedings of the 6th international joint conference on Articial intelligence, 1004–1010, San Francisco, CA, USA, Morgan Kaufmann Publishers Inc 1979.
25. Nova′k, V., 1984. First-order fuzzy logic. Studia Logica, 46 (1):87–109.
26. M., Gupta, “ Book review:Fuzzy sets, fuzzy logic, and fuzzy systems (selected papers by professor Lotfi A. Zadeh),” J. Intell. Fuzzy Syst., 6 4, 497–498, 1998.
27. Zadeh, L., 1965. Fuzzy sets. Information and Control, 8:338–353.
28. Klir, G., and Yuan, B., 1995. Fuzzy sets an fuzzy logic:Theory and Applications, PTR:Prentice-Hall.
29. Allen, J., 1991. Time and time again:The many ways to represent time. Intl J. of Intelligent Systems, 6 (4):1–14.
30. Allen, J., and Ferguson, G., 1994. Actions and events in interval temporal logic. J. Log. Comput., 4 (5):531–579.
31. Augusto, J., Wang, H., and Liu, J., 2008. Situation assessment during disaster management. International Journal of Computational Intelligence Systems, 1 (3):237–247.
32. Lukasiewicz, J., 1920. O logice tro′ wartosciowej (on three- valued logic). Ruch Filozoficzny, 5:170–171.
33. Gerla, G., 2001. Fuzzy Logic:Mathematical Tools for Approximate Reasoning (Trends in Logic), Springer.
34. Ha′jek, P., 1995. Fuzzy logic and arithmetical hierarchy. Fuzzy Sets Syst., 73 (3):359–363.
35. S., Gottwald, “ Fuzzy sets and fuzzy logic:the foundations of application-from a mathematical point of view,” Friedr. Vieweg and Sohn Verlagsgesellschaft mbH, Wiesbaden, Germany, 1993.
36. Allen, J., 1983. Maintaining knowledge about temporal intervals. Commun. ACM, 26 (11):832–843.
37. Freksa, C., 1992. Temporal reasoning based on semi intervals. Artif. Intell., 54 (1-2):199–227.
38. Linear-Time Temporal Logic 1998. Stanford, http://www-step.stanford.edu/tutorial/temporal-logic/temporal-logic.html, Link checked November 22, 2009.
39. Z., Lu, J., Liu, J., Augusto and H., Wang, “ Multi-valued temporal reasoning framework for decision making,” In Proceeding of the 8th International FLINS Conference, 301–306, 2008.
40. J., Augusto, P., McCullagh, V., McClelland and J., Walkden, “ Enhanced healthcare provision through assisted decision making in a smart home environment,” In Proc. of the 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI07), Hyderabad, India, 2007.
41. J., Liu, L., Lopez, Y., Xu and Z., Lu, “ Automated reasoning algorithm for linguistic valued Lukasiewicz propositional logic,” In ISMVL '07:Proceedings of the 37th International Symposium on Multiple-Valued Logic, 29, Washington, DC, USA, IEEE Computer Society, 2007.
42. Yager, R., 1995. An approach to ordinal decision making. International Journal of Approximate Reasoning, 12:237–261.
43. Herrera, F., and Herrera-Viedma, E., 2000. Linguistic decision analysis:Steps for solving decision problems under lingusitic information. Fuzzy Sets and Systems, 115:67–82.
44. Martinez, L., 2007. Sensory evaluation based on linguistic decision analysis. International Journal of Approximate Reasoning, 44 (2):148–164.
45. Delgado, M., Verdegay, J., and Vila, M., 1993. On aggregation operations of linguistic labels. International Journal of Intelligent Systems, 8 (3):351–370.