Por favor, use este identificador para citar o enlazar este ítem:
. https://doi.org/10.3390/axioms13070472
Twittear
Título: | Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog |
Fecha de publicación: | 12-jul-2024 |
Cita bibliográfica: | Axioms 2024, 13, 472 |
ISSN: | Electronic: 2075-1680 |
Palabras clave: | Temporal reasoning Approximate reasoning Logic programming Possibilistic logic Possibility and necessity degree Temporal Prolog Fuzzy temporal constraint |
Resumen: | 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. |
Autor/es principal/es: | Cárdenas-Viedma, María-Antonia |
Facultad/Departamentos/Servicios: | Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería de la Información y las Comunicaciones |
URI: | http://hdl.handle.net/10201/143304 |
DOI: | . https://doi.org/10.3390/axioms13070472 |
Tipo de documento: | info:eu-repo/semantics/article |
Número páginas / Extensión: | 33 |
Derechos: | info:eu-repo/semantics/openAccess Atribución 4.0 Internacional |
Descripción: | © 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 |
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