Publication: A sound and complete fuzzy temporal constraint logic
Authors
Cárdenas Viedma, María Antonia
item.page.secondaryauthor
item.page.director
Publisher
Institute of Electrical and Electronics Engineers
publication.page.editor
publication.page.department
DOI
https://doi.org/10.1109/tsmcb.2005.856146
item.page.type
info:eu-repo/semantics/article
Description
© 2006 IEEE. This document is the Published version of a Published Work that appeared in final form in IEEE Transactions on Systems, Man, and Cybernetics: B Cibernetics. To access the final edited and published work see https://doi.org/10.1109/tsmcb.2005.856146
Abstract
In this work, we define an extended fuzzy temporal constraint logic (EFTCL) based on possibilistic logic. EFTCL alto,vs us to handle fuzzy ten1poral constraints between temporal variables and, therefore, enables us to express interrelated events through fuzzy temporal constraints. EFTCL is compatible ,vith a theoretical te111poral reasoning model: the fuzzy temporal constraint networks (FTCN). The syntax, the se1nantics and the deduction and refutation theorems for EFTCL are similar to those defined for the sound and noncom¡>lete fuzzy temporal constraint logic (FTCL). In this paper, a resolutio11 principie for performing inferences which take tl1ese constraints into account is proposed tor EFTCL. Moreover, we prove the soundness and the completeness of the refutation by resolution in EFTCL.
publication.page.subject
Citation
IEEE Transactions on Systems, Man, and Cybernetics: B Cibernetics, Vol. 36, N. 1, 2006, pp. 223-228
item.page.embargo
1-ene-2999
Collections
Ir a Estadísticas
Sin licencia Creative Commons.