×

FTClogic: fuzzy temporal constraint logic. (English) Zbl 1423.03076

Summary: In this paper we present FTCLogic, a formal first-order logic that can manage fuzzy temporal constraints between variables efficiently. In this logic, the use of explicit temporal axioms is unnecessary, and therefore the deduction mechanism doesn’t slow down for this reason. FTCLogic has an immediate precedent: the Extended Fuzzy Temporal Constraint Logic or EFTCL. However, while EFTCL is based on Timed Possibilistic Logic, FTCLogic uses the Possibilistic Logic to formulate an original semantics according to its syntax. In fact, FTCLogic defines both syntax and semantics from a powerful combination of two formalisms: the Possibilistic Logic and the Fuzzy Temporal Constraints Networks. FTCLogic has provided the basis for the creation of a fuzzy temporal PROLOG: PROLogic, which is implemented through Haskell, and which is currently undergoing evaluation.

MSC:

03B52 Fuzzy logic; logic of vagueness
03B44 Temporal logic
03B70 Logic in computer science
68T37 Reasoning under uncertainty in the context of artificial intelligence

Software:

STeLP
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aguado, F.; Cabalar, P.; Pérez, G.; Vidal, C.; Diéguez, M., Temporal logic programs with variables, Theory Pract. Log. Program., 17, 2 (2017) · Zbl 1379.68288
[2] Allen, J. F., Maintaining knowledge about temporal intervals, Commun. ACM, 26, 832-843 (1983) · Zbl 0519.68079
[3] Alsinet, T.; Godo, L., Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants, Int. J. Intell. Syst., 17, 887-924 (2002) · Zbl 1021.68022
[4] Apt, K. R.; van Emden, M. H., Contributions to the theory of logic programming, J. ACM, 29, 3, 841-862 (1982) · Zbl 0483.68004
[5] Augusto, J. C., The logical approach to temporal reasoning, Artif. Intell. Rev., 16, 4, 301-333 (2001) · Zbl 1014.68157
[6] Barro, S.; Marín, R.; Mira, J.; Patón, A. R., A model and a language for the fuzzy representation and handling of time, Fuzzy Sets Syst., 61, 153-175 (1994)
[7] Bresolin, D.; Goranko, V.; Montanari, A.; Sciavicco, G., Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions, Ann. Pure Appl. Logic, 161, 289-304 (2009) · Zbl 1221.03022
[8] Cabalar, P.; Diéguez, M., STeLP - a tool for temporal answer set programming, (LPNMR’11. LPNMR’11, Lecture Notes in Computer Science, vol. 6645 (2011), Springer), 370-375
[9] Campos, M.; Juarez, J. M.; Palma, J.; Marín, R.; Palacios, F., Avian influenza: temporal modeling of a human to human transmission case, Expert Syst. Appl., 38, 8865-8885 (2011)
[10] Cárdenas-Viedma, M. A.; Marín, R.; Navarrete, I., Fuzzy temporal constraint logic: a valid resolution principle, Fuzzy Sets Syst., 117, 231-250 (2001) · Zbl 0984.03021
[11] Cárdenas-Viedma, M. A.; Navarrete, I.; Marín, R., Efficient resolution mechanism for fuzzy temporal constraint logic, (Goodwin, S.; Trudel, A., Proceedings of Temporal Representation and Reasoning (TIME-00) (2000), IEEE Computer Society), 39-46
[12] Cárdenas-Viedma, M. A.; Marín Morales, R., Syntax and semantics for a fuzzy temporal constraint logic, Ann. Math. Artif. Intell., 36, 357-380 (2002) · Zbl 1015.68184
[13] Cárdenas-Viedma, M. A., A sound and complete fuzzy temporal constraint logic, IEEE Trans. Syst. Man Cybern., Part B, Cybern., 36, 1, 223-228 (2006)
[14] Chang, C.; Lee, R. C., Symbolic Logic and Mechanical Theorem Proving (1973), Academic Press · Zbl 0263.68046
[15] Dechter, R.; Meiri, I.; Pearl, J., Temporal constraint networks, Artif. Intell., 49, 61-65 (1991) · Zbl 0737.68070
[16] Dubois, D.; Prade, H., Possibility Theory: An Approach to Computerized Processing of Uncertainty (1988), Plenum Press: Plenum Press New York · Zbl 0703.68004
[17] Dubois, D.; Prade, H., Processing fuzzy temporal knowledge, IEEE Trans. Syst. Man Cybern., 19, 4, 729-744 (1989)
[18] Dubois, D.; Lang, J.; Prade, H., Timed possibilistic logic, Fundam. Inform., XV, 211-234 (1991) · Zbl 0745.03019
[19] Dubois, D.; Lang, J.; Prade, H., Possibilistic logic, (Gabbay, D. M.; Hogger, C. J.; Robinson, J. A., Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3 (1994)), 439-513 · Zbl 0810.68005
[20] Dubois, D.; Hadj Ali, A.; Prade, H., Fuzziness and uncertainty in temporal reasoning, J. Univers. Comput. Sci., 9, 9, 1168-1194 (2003)
[21] Dubois, D.; Hadj Ali, A.; Prade, H., A possibility theory-based approach to the handling of uncertain relations between temporal points, Int. J. Intell. Syst., 22, 157-179 (2007) · Zbl 1116.68099
[22] Dubois, D.; Godo, L.; Prade, H., Weighted logics for artificial intelligence: an introductory discussion, Int. J. Approx. Reason., Elsevier, 55, 9, 1819-1829 (2014) · Zbl 1329.00195
[23] Dubois, D.; Prade, H., Possibility theory and its applications: where do we stand?, (Kacprzuk, Janusz; Pedrycz, Witold, Springer Handbook Computational Intelligence (2015), Springer Berlin Heidelberg), 31-60
[24] Dubois, D.; Prade, H., Possibilistic logic - an overview, (Siekmann, J.; Gabbay, D. M.; Woods, J., Handbook of the History of Logic. Volume 9: Computational Logic (2015)), 283-342 · Zbl 1404.03008
[25] Galindo Navarro, F. M.; Cárdenas-Viedma, M. A., PROLogic, In:
[26] Gammoudi, A.; Hadjali, A.; Ben Yaghlane, B., Fuzz-time: an intelligent system for managing fuzzy temporal information, Int. J. Intell. Comput. Cybern., 10, 2 (2017)
[27] Godo, L.; Vila, L., Possibilistic temporal reasoning based on fuzzy temporal constraints, (IJCAI’95 (1995), Morgan Kaufmann)
[28] Harrison, J., Handbook of Practical Logic and Automated Reasoning (2009), Cambridge University Press · Zbl 1178.03001
[29] Kaufmann, A.; Gupta, M., Introduction to Fuzzy Arithmetic (1985), Van Nostrand Reinhold: Van Nostrand Reinhold New York · Zbl 0588.94023
[30] Lu, Z.; Liu, J.; Augusto, J.; Wang, H., A many-valued temporal logic and reasoning framework for decision making, (Ruan, D., Computational Intelligence in Complex Decision Systems (2010), Atlantis Press/World Scientific: Atlantis Press/World Scientific Paris/Singapore), 127-148, Book chapter
[31] Lu, Z.; Augusto, J.; Liu, J.; Wang, H., A linguistic truth-valued temporal reasoning system (LTR) and its application to the design of an intelligent environment, Int. J. Comput. Intell. Syst., 5, 1, 173-196 (2012)
[32] Lu, Z.; Augusto, J.; Liu, J.; Wang, H.; Aztiria, A., A system to reason about uncertain and dynamic environments, Int. J. Artif. Intell. Tools, 21, 05 (2012)
[33] Marín, R.; Barro, S.; Bosch, A.; Mira, J., Modeling time representation from a fuzzy perspective, Cybern. Syst., 25, 2, 207-215 (1994) · Zbl 0809.68111
[34] Marín, R.; Cárdenas, M. A.; Balsa, M.; Sánchez, J. L., Obtaining solutions in fuzzy constraint networks, Int. J. Approx. Reason., 16, 3-4, 261-288 (1997) · Zbl 0939.68116
[35] Palma, J. T.; Marín, R.; Sánchez, J. L.; Palacios, F., A model-based temporal abductive diagnosis model for an intensive coronary care unit, (Barro, S.; Marín, R., Fuzzy Logic in Medicine (2002), Physica-Verlag Heidelberg), 205-235
[36] Pnueli, A., The temporal logics of programs, (Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS) (1977)), 46-57
[37] Shoham, Y., Reified temporal logics: semantical and ontological considerations, (Du Boulay, B.; Hogg, D.; Steels, L., Advances in Artificial Intelligence (1987), Elsevier Science Publishers), 183-190
[38] Struss, P., Problems of interval-based qualitative reasoning, (Werther, H., Qualitative Reasoning: Modelling and The Generation of Behavior (1994), Springer-Verlag: Springer-Verlag Wien) · Zbl 0821.68108
[39] Vila, L.; Godo, L., On fuzzy temporal constraint networks, Mathw. Soft Comput., 3, 315-334 (1994) · Zbl 0833.68012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.