A sound and complete fuzzy temporal constraint logic

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

Volumn 36, Issue 1, 2006, Pages 223-228

  Cárdenas Viedma, Marian A ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

Constraint satisfaction; Fuzzy logic; Knowledge representation; Possibility theory; Soundness and completeness of logic; Temporal logic; Temporal reasoning; Uncertainty

Indexed keywords

FORMAL LOGIC; FUZZY SETS; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; SEMANTICS; THEOREM PROVING; UNCERTAIN SYSTEMS;

CONSTRAINT SATISFACTION; EXTENDED FUZZY TEMPORAL CONSTRAINT LOGIC (EFTCL); FUZZY TEMPORAL CONSTRAINT LOGIC (FTCL); POSSIBILITY THEORY; TEMPORAL LOGIC; TEMPORAL REASONING;

CONSTRAINT THEORY;

ALGORITHM; COMPUTER SIMULATION; EVALUATION; FUZZY LOGIC; LETTER; STATISTICAL MODEL; TIME;

ALGORITHMS; COMPUTER SIMULATION; FUZZY LOGIC; LOGISTIC MODELS; MODELS, STATISTICAL; TIME FACTORS;

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

References (24)

1. 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 Sets Syst., vol. 61, pp. 153-175, 1994.
2. P. Blackburn and V. Goranko, "Hybrid Ockhamist temporal logic," in Proc. 8th Int. Symp. Temporal Representation and Reasoning (TIME-01), 2001, pp. 183-188.
3. A. Bolotov and A. Basukoski, "A clausal resolution method for branching-time logic ECTL+," in Proc. Temporal Representation and Reasoning (TIME-04), Tatihou, France, 2004, pp. 140-147.
4. M. A. Cárdenas-Viedma, R. Marín, and I. Navarrete, "Fuzzy temporal constraint logic: A valid resolution principle," Fuzzy Sets and Syst., vol. 117, pp. 231-250, 2001.
5. M. A. Cárdenas-Viedma, I. Navarrete, and R. Marín, "Efficient resolution mechanism for fuzzy temporal constraint logic," in Proc. Temporal Representation and Reasoning (TIME-00), S. Goodwin and A. Trudel, Eds., 2000, pp. 39-46.
6. M. A. Cárdenas-Viedma and R. Marín, "Syntax and semantics for a fuzzy temporal constraint logic," Ann. Math. Artif. Intell., vol. 36, pp. 357-380, 2002.
7. M. A. Cárdenas-Viedma. (2004) EFTCL: Extended Fuzzy Temporal Constraint Logic., Dept. Ing. Inform. Comun., Univ. de Murcia, Spain. [Online]. Available: http://perseo.dif.um.es/~aike/htm/ publicaciones.htm#report
8. E. M. Clarke and E. A. Emerson, "Design and synthesis of synchronization skeletons using branching-time temporal logic," in Logic of Programs, Workshop, LNCS, vol. 31, Springer, 1981, pp. 52-71.
9. D. Dubois, J. Lang, and H. Prade, "Timed possibilistic logic," Fundamenta Informaticae, vol. XV, pp. 211-234, 1991.
10. D. Dubois, J. Lang, and H. Prade, "Possibilistic logic," in Handbook of Logic in Artificial Intelligence and Logic Programming, D. M. Gabbay, C. J. Hogger, and J. A. Robinson, Eds., 1994, vol. 3, pp. 439-513.
11. M. Enciso, I. P. de Guzmán, and C. Rossi, "Temporal reasoning over linear discrete time," in Logics in Artificial Intelligence, JELIA'96, Evora, Portugal, 1996, pp. 303-319.
12. H. B. Enderton, A Mathematical Introduction to Logic. New York: Academic, 1972.
13. E. A. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. Amsterdam/Cambridge: Elsevier/The MIT Press, 1990, pp. 995-1072.
14. M. C. F. Gago, M. Fisher, and C. Dixon, "Algorithms for guiding clausal temporal resolution," in Proc. KI-2002, vol. 2479, Lectures Notes in Artificial Intelligence, 2002, pp. 235-252.
15. M. Fisher, C. Dixon, and M. Peim, "Clausal temporal resolution," ACM Trans. Comput. Logic, vol. 2, no. 1, pp. 12-56, 2001.
16. L. Godo and L. Vila, "Possibilistic temporal reasoning based on fuzzy temporal constraints," in Proc. IJCAI, 1995, pp. 1916-1923.
17. B. Konev, A. Degtyarev, C. Dixon, M. Fisher, and U. Hustadt, "Toward the implementation of first-order temporal resolution: The expanding domain case," Proc. TIME-ICTL'03, pp. 72-82, 2003.
18. J. Ma and B. Knight, "A reified temporal logic," Comput. J., vol. 39, no. 9, pp. 800-807, 1996.
19. R. Marín, S. Barro, A. Bosch, and J. Mira, "Modeling time representation from a fuzzy perspective," Cybern. Syst., vol. 25, no. 2, pp. 207-215, 1994.
20. R. Marín, M. A. Cárdenas, M. Balsa, and J. L. Sánchez, "Obtaining solutions in fuzzy constraint networks," Int. J. Approx. Reason., vol. 16, no. 3-4, pp. 261-288, 1997.
21. J. McCarthy and P. J. Hayes, "Some philosophical problems from the standpoint of artificial intelligence," in Machine Intelligence 4, B. Meltzer and D. Michie, Eds: University Press, 1969, pp. 463-502.
22. S.-I. Moon, K. H. Lee, and D. Lee, "Fuzzy branching temporal logic," IEEE Trans. Syst. Man Cybern. B, Cybern., vol. 34, no. 2, pp. 1045-1055, Apr. 2004.
23. Y. Shoham, "Reified temporal logics: Semantical and ontological considerations," in Advances in Artificial Intelligence, B. Du Boulay, D. Hogg, and L. Steels, Eds. Amsterdam, The Netherlands: Elsevier, 1987, pp. 183-190.
24. L. Vila, "A survey on temporal reasoning in artificial intelligence," AI Commun., vol. 7, pp. 4-28, 1994.