Por favor, use este identificador para citar o enlazar este ítem:
. https://doi.org/10.3390/axioms13070472
![](/digitum/image/email_logo.png)
![](/digitum/image/logo-facebook.png)
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Cárdenas-Viedma, María-Antonia | - |
dc.contributor.other | Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería de la Información y las Comunicaciones | es |
dc.date.accessioned | 2024-07-22T08:10:02Z | - |
dc.date.available | 2024-07-22T08:10:02Z | - |
dc.date.issued | 2024-07-12 | - |
dc.identifier.citation | Axioms 2024, 13, 472 | es |
dc.identifier.issn | Electronic: 2075-1680 | - |
dc.identifier.uri | http://hdl.handle.net/10201/143304 | - |
dc.description | © 2024 by the author. This manuscript version is made available under the CC-BY 4.0 license http://creativecommons.org/licenses/by/4.0/ This document is the Published, version of a Published Work that appeared in final form in Axioms. To access the final edited and published work see https://doi.org/10.3390/axioms13070472 | es |
dc.description.abstract | 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 commonsense 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. | es |
dc.format | application/pdf | es |
dc.format.extent | 33 | es |
dc.language | eng | es |
dc.relation | This work was partially funded by the CONFAINCE project (Ref:PID2021-122194OB-I00) by MCIN/AEI/10.13039/501100011033 and by “ERDF A way of making Europe”, by the “European Union” or by the “European Union NextGenerationEU/PRTR”. | es |
dc.rights | info:eu-repo/semantics/openAccess | es |
dc.rights | Atribución 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | * |
dc.subject | Temporal reasoning | es |
dc.subject | Approximate reasoning | es |
dc.subject | Logic programming | es |
dc.subject | Possibilistic logic | es |
dc.subject | Possibility and necessity degree | es |
dc.subject | Temporal Prolog | es |
dc.subject | Fuzzy temporal constraint | es |
dc.title | Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog | es |
dc.type | info:eu-repo/semantics/article | es |
dc.identifier.doi | . https://doi.org/10.3390/axioms13070472 | - |
Aparece en las colecciones: | Artículos: Ingeniería de la Información y las Comunicaciones |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Adding a Degree of Certainty.pdf | 3,53 MB | Adobe PDF | ![]() Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons