FTCLogic: Fuzzy Temporal Constraint Logic

Cárdenas Viedma, María Antonia; Marín, R.

Publication:
FTCLogic: Fuzzy Temporal Constraint Logic

dc.contributor.author	Cárdenas Viedma, María Antonia
dc.contributor.author	Marín, R.
dc.contributor.department	Ingeniería de la Información y las Comunicaciones
dc.date.accessioned	2024-05-22T08:12:42Z
dc.date.available	2024-05-22T08:12:42Z
dc.date.issued	2019-02-26
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.identifier.citation	Fuzzy Sets and Systems, Vol. 363, 2019, pp. 84-212
dc.identifier.doi	https://doi.org/10.1016/j.fss.2018.05.014
dc.identifier.issn	Print: 0165-0114
dc.identifier.uri	http://hdl.handle.net/10201/141734
dc.language	eng	es
dc.publisher	Elsevier	es
dc.relation	Sin financiación externa a la Universidad	es
dc.relation.publisherversion	https://www.sciencedirect.com/science/article/pii/S0165011418302902?via%3Dihub	es
dc.rights.accessRights	info:eu-repo/semantics/restrictedAccess
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
dspace.entity.type	Publication	es