Por favor, use este identificador para citar o enlazar este ítem:
https://doi.org/10.1016/j.fss.2018.05.014
Twittear
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Cárdenas Viedma, María Antonia | - |
dc.contributor.author | Marín, R. | - |
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-05-22T08:12:42Z | - |
dc.date.available | 2024-05-22T08:12:42Z | - |
dc.date.issued | 2019-02-26 | - |
dc.identifier.citation | Fuzzy Sets and Systems, Vol. 363, 2019, pp. 84-212 | es |
dc.identifier.issn | Print: 0165-0114 | - |
dc.identifier.uri | http://hdl.handle.net/10201/141734 | - |
dc.description | © 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 | es |
dc.description.abstract | 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. | es |
dc.format | application/pdf | es |
dc.format.extent | 29 | es |
dc.language | eng | es |
dc.publisher | Elsevier | es |
dc.relation | Sin financiación externa a la Universidad | es |
dc.rights | info:eu-repo/semantics/embargoedAccess | es |
dc.subject | Non classical logics | es |
dc.subject | Fuzzy constraint satisfaction | es |
dc.subject | Possibility theory | es |
dc.subject | Temporal reasoning | es |
dc.subject | Approximate reasoning | es |
dc.subject | Fuzzy inference systems | es |
dc.subject | Fuzzy relations | es |
dc.subject.other | CDU::6 - Ciencias aplicadas | es |
dc.title | FTCLogic: Fuzzy Temporal Constraint Logic | es |
dc.type | info:eu-repo/semantics/article | es |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S0165011418302902?via%3Dihub | es |
dc.embargo.terms | SI | - |
dc.identifier.doi | 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.