{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T01:14:20Z","timestamp":1760145260034,"version":"build-2065373602"},"reference-count":43,"publisher":"MDPI AG","issue":"7","license":[{"start":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T00:00:00Z","timestamp":1720742400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"CONFAINCE project","award":["PID2021-122194OB-I00","MCIN\/AEI\/10.13039\/501100011033"],"award-info":[{"award-number":["PID2021-122194OB-I00","MCIN\/AEI\/10.13039\/501100011033"]}]},{"name":"ERDF A way of making Europe","award":["PID2021-122194OB-I00","MCIN\/AEI\/10.13039\/501100011033"],"award-info":[{"award-number":["PID2021-122194OB-I00","MCIN\/AEI\/10.13039\/501100011033"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"<jats:p>The management of time is essential in most AI-related applications. In addition, we know that temporal information is often not precise. In fact, in most cases, it is necessary to deal with imprecision and\/or uncertainty. On the other hand, there is the need to handle the implicit common-sense information present in many temporal statements. In this paper, we present FTCProlog, a logic programming language capable of handling fuzzy temporal constraints soundly and efficiently. The main difference of FTCProlog with respect to its predecessor, PROLogic, is its ability to associate a certainty index with deductions obtained through SLD-resolution. This resolution is based on a proposal within the theoretical logical framework FTCLogic. This model integrates a first-order logic based on possibilistic logic with the Fuzzy Temporal Constraint Networks (FTCNs) that allow efficient time management. The calculation of the certainty index can be useful in applications where one wants to verify the extent to which the times elapsed between certain events follow a given temporal pattern. In this paper, we demonstrate that the calculation of this index respects the properties of the theoretical model regarding its semantics. FTCProlog is implemented in Haskell.<\/jats:p>","DOI":"10.3390\/axioms13070472","type":"journal-article","created":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T16:23:41Z","timestamp":1720801421000},"page":"472","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog"],"prefix":"10.3390","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8464-350X","authenticated-orcid":false,"given":"Mar\u00eda-Antonia","family":"C\u00e1rdenas-Viedma","sequence":"first","affiliation":[{"name":"Faculty of Computer Science, University of Murcia, Campus de Espinardo, 30100 Murcia, Spain"}]}],"member":"1968","published-online":{"date-parts":[[2024,7,12]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Commun. ACM"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1108\/IJICC-09-2016-0036","article-title":"Fuzz-time: An intelligent system for managing fuzzy temporal information","volume":"10","author":"Gammoudi","year":"2017","journal-title":"Int. J. Intell. Comput. Cybern."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Kacprzuk, J., and Pedrycz, W. (2015). Possibility Theory and its Applications: Where Do we Stand?. Handbook Computational Intelligence, Springer.","DOI":"10.1007\/978-3-662-43505-2"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-1991-153-403","article-title":"Timed Possibilistic Logic","volume":"15","author":"Dubois","year":"1991","journal-title":"Fundam. Informaticae"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/S0888-613X(96)00125-9","article-title":"Obtaining Solutions in Fuzzy Constraint Networks","volume":"16","author":"Balsa","year":"1997","journal-title":"Int. J. Approx. Reason."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0165-0114(94)90231-3","article-title":"A model and a language for the fuzzy representation and handling of time","volume":"61","author":"Barro","year":"1994","journal-title":"Fuzzy Sets Syst."},{"key":"ref_7","first-page":"207","article-title":"Modeling time representation from a fuzzy perspective","volume":"25","author":"Barro","year":"1994","journal-title":"Cybernet Syst."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"8865","DOI":"10.1016\/j.eswa.2011.01.099","article-title":"Avian influenza: Temporal modeling of a human transmission case","volume":"38","author":"Campos","year":"2011","journal-title":"Expert Syst. Appl."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1023\/A:1012551818243","article-title":"The logical approach to temporal reasoning","volume":"16","author":"Augusto","year":"2001","journal-title":"Artif. Rev."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"1250023","DOI":"10.1142\/S0218213012500236","article-title":"A system to reason about uncertain and dynamic environments","volume":"21","author":"Lu","year":"2012","journal-title":"Int. J. Artif. Intell. Tools"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/j.apal.2009.07.003","article-title":"Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions","volume":"161","author":"Bresolin","year":"2009","journal-title":"Ann. Pure Appl. Log."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Aguilera, J.P., Di\u00e9guez, M., Fern\u00e1ndez-Duque, D., and McLean, B. (2022). Time and G\u00f6del: Fuzzy Temporal Reasoning in PSPACE. Logic, Language, Information, and Computation, Springer.","DOI":"10.1007\/978-3-031-15298-6_2"},{"key":"ref_13","unstructured":"Godo, L., and Vila, L. (1995, January 20\u201325). Possibilistic temporal reasoning based on fuzzy temporal constraints. Proceedings of the IJCAI\u201995, Montreal, QC, Canada."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"887","DOI":"10.1002\/int.10069","article-title":"Towards an automated deduction system for First-order possibilistic logic programming with fuzzy constants","volume":"17","author":"Alsinet","year":"2002","journal-title":"Int. J. Intell. Syst."},{"key":"ref_15","unstructured":"Pnueli, A. (November, January 31). The temporal logics of programs. Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), Providence, RI, USA."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1017\/S1471068416000570","article-title":"Temporal logic programs with variables","volume":"17","author":"Aguado","year":"2017","journal-title":"Theory Pract. Log. Program."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.fss.2018.05.014","article-title":"FTCLogic: Fuzzy Temporal Constraint Logic","volume":"363","year":"2019","journal-title":"Fuzzy Set Syst."},{"key":"ref_18","first-page":"439","article-title":"Possibilistic Logic","volume":"Volume 3","author":"Gabbay","year":"1994","journal-title":"Handbook of Logic in Artificial Intelligence and Logic Programming"},{"key":"ref_19","unstructured":"Gabbay, D.M., and Woods, J. (2015). Possibilistic logic\u2014An overview. Handbook of the History of Logic, Elsevier, North-Holland. Volume 9: Siekmann J (vol. ed) Computational Logic."},{"key":"ref_20","first-page":"677","article-title":"PROLogic: A Fuzzy Temporal Constraint Prolog","volume":"32","year":"2019","journal-title":"Int. J. Appl. Math."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","article-title":"Temporal Logic Programming","volume":"8","author":"Abadi","year":"1989","journal-title":"J. Symb. Comput."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0743-1066(93)90016-A","article-title":"A Temporal extension of Prolog","volume":"15","author":"Hrycej","year":"1993","journal-title":"J. Log. Program."},{"key":"ref_23","unstructured":"Sakuragawa, T. (1987). Temporal Prolog. RIMS Conference on Software Science and Engineering, Springer."},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Orgun, M.A., and Ashcroft, E.A. (1996). Tu Van Le, Fuzzy Temporal Prolog. Intensional Programming I: Based on the Papers at Islip \u201995, World Scientific.","DOI":"10.1142\/9789814532273"},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"101945","DOI":"10.1016\/j.inffus.2023.101945","article-title":"Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends","volume":"100","author":"Arco","year":"2023","journal-title":"Inf. Fusion"},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"2783","DOI":"10.1109\/TFUZZ.2021.3062899","article-title":"The Fusion of Deep Learning and Fuzzy Systems: A State-of-the-Art Survey","volume":"30","author":"Zheng","year":"2022","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Sun, C., and Vamvoudakis, K.G. (2020, January 1\u20133). Continuous-Time Safe Learning with Temporal Logic Constraints in Adversarial Environments. Proceedings of the 2020 American Control Conference (ACC), Denver, CO, USA.","DOI":"10.23919\/ACC45564.2020.9147939"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"109128","DOI":"10.1016\/j.ijar.2024.109128","article-title":"Enriching interactive explanations with fuzzy temporal constraint networks","volume":"171","author":"Catala","year":"2024","journal-title":"Int. J. Approx. Reason."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1109\/TAI.2022.3210895","article-title":"A Temporal Type-2 Fuzzy System for Time-Dependent Explainable Artificial Intelligence","volume":"4","author":"Kiani","year":"2023","journal-title":"IEEE Trans. Artif. Intell."},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Cai, B., Ding, X., Sun, Z., Qin, B., Liu, T., Wang, B., and Shang, L. (2023, January 7\u201314). Self-Supervised Logic Induction for Explainable Fuzzy Temporal Commonsense Reasoning. Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, Washington, DC, USA.","DOI":"10.1609\/aaai.v37i11.26481"},{"key":"ref_31","unstructured":"Yang, Y., Xiong, S., Kerce, J.C., and Fekri, F. (2022). Temporal Inductive Logic Reasoning. arXiv."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1613\/jair.1.11727","article-title":"A Survey on Temporal Reasoning for Temporal Information Extraction from Text","volume":"66","author":"Leeuwenberg","year":"2019","journal-title":"J. Artif. Intell. Res."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1186\/s13643-021-01626-4","article-title":"The PRISMA 2020 statement: An updated guideline for reporting systematic reviews","volume":"10","author":"Page","year":"2021","journal-title":"Syst. Rev."},{"key":"ref_34","unstructured":"(2024, June 06). University Libraries, 2024, Creating a PRISMA Flow Diagram: PRISMA 2020. Available online: https:\/\/guides.lib.unc.edu\/prisma."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","article-title":"Temporal constraint networks","volume":"49","author":"Dechter","year":"1991","journal-title":"Artif. Intell."},{"key":"ref_36","unstructured":"Kaufmann, A., and Gupta, M. (1985). Introduction to Fuzzy Arithmetic, Van Nostrand Reinhold."},{"key":"ref_37","unstructured":"Garc\u00eda, L., and Portela, A. (2023, April 25). Transmisibilidad del COVID-19. Revista Espa\u00f1ola de Salud P\u00fablica. Available online: https:\/\/www.sanidad.gob.es\/biblioPublic\/publicaciones\/recursos_propios\/resp\/revista_cdrom\/Suplementos\/Pildoras\/pildora29_transmisibilidad_covid_19.pdf."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","article-title":"Contributions to the Theory of Logic Programming","volume":"29","author":"Apt","year":"1982","journal-title":"J. ACM"},{"key":"ref_39","unstructured":"Galindo-Navarro, F.M., and C\u00e1rdenas-Viedma, M.A. (2024, June 11). PROLogic 2017. Available online: https:\/\/webs.um.es\/mariancv\/PROLogic\/PROLogic.exe."},{"key":"ref_40","unstructured":"Galindo-Navarro, F.M., and C\u00e1rdenas-Viedma, M.A. (2024, June 11). FTCProlog 2024. Available online: https:\/\/github.com\/mariantocv\/FTCProlog."},{"key":"ref_41","unstructured":"Marlow, S. (2024, June 11). Alex: A Lexical Analyser Generator for Haskell. Available online: https:\/\/www.haskell.org\/alex\/."},{"key":"ref_42","unstructured":"Marlow, S. (2024, June 11). Happy: The Parser Generator for Haskell. Available online: https:\/\/www.haskell.org\/happy\/."},{"key":"ref_43","first-page":"315","article-title":"On fuzzy temporal constraint networks","volume":"1","author":"Vila","year":"1994","journal-title":"Mathw. Soft Comput."}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/13\/7\/472\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T15:16:07Z","timestamp":1760109367000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/13\/7\/472"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,12]]},"references-count":43,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2024,7]]}},"alternative-id":["axioms13070472"],"URL":"https:\/\/doi.org\/10.3390\/axioms13070472","relation":{},"ISSN":["2075-1680"],"issn-type":[{"type":"electronic","value":"2075-1680"}],"subject":[],"published":{"date-parts":[[2024,7,12]]}}}