Fuzzy Branching Temporal Logic

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 34, Issue 2, 2004, Pages 1045-1055

  Moon, Seong Ick ^a   Lee, Kwang H ^a   Lee, Doheon ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Branching temporal logic; CTL*; Fuzzy logic; Temporal logic

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER SIMULATION; CONSTRAINT THEORY; INTEGER PROGRAMMING; INTELLIGENT AGENTS; KNOWLEDGE BASED SYSTEMS; LINEAR SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; SCHEDULING; SEMANTICS; TIME DOMAIN ANALYSIS;

BRANCHING TEMPORAL LOGIC; FUZZY BRANCHING TEMPORAL LOGIC (FBTL); FUZZY LINEAR TEMPORAL LOGIC (FLTL);

FUZZY SETS;

EID: 1842587803     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCB.2003.819485     Document Type: Article

References (38)

1. S.-I. Moon and K.H. Lee, "Fuzzy linear temporal logic," in Proc. 2nd Int. Symp. Adv. Intell. Syst. (ISAIS, Daejeon, Korea, Aug. 24-25, 2001, pp. 184-188.
2. E. A. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science, j. Van Leeuwen, Ed. New York: Elsevier, 1990, vol. 2, ch. 16.
3. P. Bellini, R. Mattolini, and P. Nesi, "Temporal logics for real-time system specification," ACM Comput. Surveys (CSUR), vol. 32, no. 1, pp. 12-42, 2000.
4. J. F. Allen, "Maintaining knowledge about temporal intervals," Commun. ACM, vol. 26, no. 1, pp. 832-843, 1983.
5. S. Dutta, "An event-based fuzzy temporal logic," Proc. 18th IEEE Intl. Symp. Multiple-Valued Logic, pp. 64-71, 1988.
6. D. Dubois and H. Prade, "Processing fuzzy temporal knowledge," IEEE Trans. Syst., Man Cybern., vol. 19, pp. 729-744, July/Aug. 1989.
7. L. Vil, "A survey on temporal reasoning in artificial intelligence," AI Commun., vol. 7, no. 1, pp. 4-28, 1994.
8. S. Barro, R. Marín, J. Mira, and A. R. Patón, "A model and a language for the fuzzy representation and handling of time," Fuzzy Set Syst., vol. 61, pp. 153-175, 1994.
9. Z. Chen, "Fuzzy temporal reasoning for process supervision," Expert Syst., vol. 12, no. 2, pp. 123-137, 1995.
10. G. Arroyo-Figueroa, E. Solis, A. Villavicencio, and L. E. Sucar, "SADEP - A fuzzy diagnostic system shell - An application to fossil power plant operation," Expert Syst. Applicat., vol. 14, pp. 43-52, 1998.
11. T. L. Dean and D. V. McDermott, "Temporal data base management," in Artif. Intell., New York: Elsevier, 1987, vol. 32, pp. 1-55.
12. R. Dechter, I. Meiri, and J. Pearl, "Temporal constraint networks," in Artif. Intell. New York: Elsevier, 1991, vol. 49, pp. 61-95.
13. P. van Beek, "Reasoning about qualitative temporal information," in Proc. 8th (US) Nat. Conf. Artif. Intell. (AAAI-90), Boston. MA, 8 1990, pp. 728-734.
14. L. Vila and L. Godo, "On fuzzy temporal constraint networks," Mathware Soft Comput., vol. 3, pp. 315-334, 1994.
15. M. A. C. Viedma, R. M. Morales, and I. N. Sánchez, "Fuzzy temporal constraint logic: A valid resolution principle," in Fuzzy Sets Systems. New York: Elsevier, 2001, vol. 117, pp. 231-250.
16. A. Pnueli, "The temporal logic of programs," in Proc. 18th IEEE Symp. Foundation Comput. Sci., 1977, pp. 46-57.
17. B. A. Haugh, "Non-standard semantics for the method of temporal arguments," in Proc. IJCAI'87, 1987, pp. 449-454.
18. H. Reichgelt, "Semantics for reified temporal logic," in Advances in AI, J. Hallam and C. Mellish, Eds. New York: Wiley, 1987, pp. 49-61.
19. H. S. Bae, "Validation of Timing and Communication Constraints in Real-Time Parallel Programs," Ph.D. dissertation. Korea Adv. Inst. Sci. Technol., Daejon, 1999.
20. H. Barringer, R. Kuiper, and A. Pnueli, "A really abstract concurrent model and its temporal logic," in Proc. 13th Annu. ACM Symp. Principles Programming Languages, 1986, pp. 173-183.
21. H.-C. Kim and K.-W. Oh, "A fuzzy temporal logic - FTL," in Proc. 1991 Workshop N. Armer. Fuzzy Inform. Processing Soc., May 1991, pp. 83-86.
22. _,"A new representation model in uncertain temporal knowledge," in Proc. IFSA'91 Conf., 1991, pp. 113-116.
23. H. Thiele and S. Kalenka, "On fuzzy temporal logic," in Proc. 2nd IEEE Int. Conf. Fuzzy Syst., 3 1993, pp. 1027-1032.
24. T. van Le, "A fuzzy temporal logic-based framework for fuzzy discrete-event simulation," in Proc. EUROSIM'95 Conf., F. Breitenecker and I. Husinsky, Eds., 1995, pp. 1125-1130.
25. D. Dubois, J. Lang, and H. Prade, "Timed possibilistic logic," Fundamenta Informat., vol. 15, no. 3-4, pp. 211-234, 1991.
26. J.-H. Lee and H. Lee-Kwang, "Comparison of fuzzy values on a continuous domain," Fuzzy Sets Syst., vol. 118, no. 3, pp. 419-428, 3 2001.
27. D. Dubois and H. Prade, Fuzzy Sets and Systems: Theory and Applications. New York: Academic, 1980.
28. G. Gerla, "Fuzzy control as a fuzzy deduction system," Fuzzy Set Syst., vol. 121, pp. 409-425, 2001.
29. F. Klawonn and V. Novák, "The relation between inference and interpolation in the framework of fuzzy systems," Fuzzy Sets Syst., vol. 81, pp. 331-354, 1996.
30. E. Turunen, "Advances in soft computing," in Mathmatics Behind Fuzzy Logic. Heidelberg, Germany: Physica-Verlag, 1999.
31. M. Sakawa and T. Mori, "An efficient genetic algorithm for job-shop scheduling problems with fuzzy processing time and fuzzy due-date, "Comput. Ind. Eng., vol. 36, pp. 325-341, 1999.
32. K. H. Kim, J. Y. Song, and K. H. Wang, "A negotiation based scheduling for items with flexible process plans," Comput. Ind. Eng., vol. 33, no. 3-4, pp. 785-788, 1997.
33. T. Murata, M. Gen, and H. Ishibuchi, "Multi-objective scheduling with fuzzy due-date," Comput. Ind. Eng., vol. 35, no. 3-4, pp. 439-442, 1998.
34. T. Alsinet, L. Odo, and S. Sandri, "On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness," in Proc. 15th Annu. Conf. Uncertainty Artificial Intell. (UAI-99), San Francisco, CA, 1999, pp. 3-12.
35. H. Lee-Kwang, K. A. Seong, and K.-M. Lee, "Hierarchical partition of nonstructured concurrent systems," IEEE Trans. Syst., Man Cybern. B, vol. 27, pp. 105-108, Feb. 1997.
36. H. Lee-Kwang and J.-H. Lee, "A method for ranking fuzzy numbers and its application to decision making," IEEE Trans. Fuzzy Syst., vol. 7, pp. 677-685, Dec. 1999.
37. D. Dubois and H. Prade, Possibility Theory: An Approach to Computerized Processing of Uncertainty. New York: Plenum, 1986.
38. P. Hájek, Metamathmatics of Fuzzy Logic. Boston, MA: Kluwer, 1998.