Por favor, use este identificador para citar o enlazar este ítem:
https://doi.org/10.1016/j.fss.2018.05.014
Twittear
Título: | FTCLogic: Fuzzy Temporal Constraint Logic |
Fecha de publicación: | 26-feb-2019 |
Editorial: | Elsevier |
Cita bibliográfica: | Fuzzy Sets and Systems, Vol. 363, 2019, pp. 84-212 |
ISSN: | Print: 0165-0114 |
Materias relacionadas: | CDU::6 - Ciencias aplicadas |
Palabras clave: | Non classical logics Fuzzy constraint satisfaction Possibility theory Temporal reasoning Approximate reasoning Fuzzy inference systems Fuzzy relations |
Resumen: | 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. |
Autor/es principal/es: | Cárdenas Viedma, María Antonia Marín, R. |
Facultad/Departamentos/Servicios: | Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería de la Información y las Comunicaciones |
Versión del editor: | https://www.sciencedirect.com/science/article/pii/S0165011418302902?via%3Dihub |
URI: | http://hdl.handle.net/10201/141734 |
DOI: | https://doi.org/10.1016/j.fss.2018.05.014 |
Tipo de documento: | info:eu-repo/semantics/article |
Número páginas / Extensión: | 29 |
Derechos: | info:eu-repo/semantics/embargoedAccess |
Descripción: | © 2018 Elsevier B.V. This document is the Published version of a Published Work that appeared in final form in Fuzzy Sets and Systems. To access the final edited and published work see https://doi.org/10.1016/j.fss.2018.05.014 |
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 | |
---|---|---|---|---|
FSS_2018.pdf | 985,38 kB | Adobe PDF | Visualizar/Abrir Solicitar una copia |
Los ítems de Digitum están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.