Publication: FTCLogic: Fuzzy Temporal Constraint Logic
Authors
Cárdenas Viedma, María Antonia ; Marín, R.
item.page.secondaryauthor
item.page.director
Publisher
Elsevier
publication.page.editor
publication.page.department
DOI
https://doi.org/10.1016/j.fss.2018.05.014
item.page.type
info:eu-repo/semantics/article
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
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.
publication.page.subject
Citation
Fuzzy Sets and Systems, Vol. 363, 2019, pp. 84-212
item.page.embargo
Collections
Ir a Estadísticas
Sin licencia Creative Commons.