A sound and complete fuzzy temporal constraint logic

Cárdenas Viedma, María Antonia

Publication:
A sound and complete fuzzy temporal constraint logic

dc.contributor.author	Cárdenas Viedma, María Antonia
dc.contributor.department	Ingeniería de la Información y las Comunicaciones
dc.date.accessioned	2024-05-22T08:12:29Z
dc.date.available	2024-05-22T08:12:29Z
dc.date.issued	2006-02
dc.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	es
dc.description.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.	es
dc.embargo.terms	1-ene-2999
dc.format	application/pdf	es
dc.format.extent	6	es
dc.identifier.citation	IEEE Transactions on Systems, Man, and Cybernetics: B Cibernetics, Vol. 36, N. 1, 2006, pp. 223-228
dc.identifier.doi	https://doi.org/10.1109/tsmcb.2005.856146
dc.identifier.issn	Print: 2168-2216
dc.identifier.issn	Electronic: 2168-2232
dc.identifier.uri	http://hdl.handle.net/10201/141747
dc.language	eng	es
dc.publisher	Institute of Electrical and Electronics Engineers	es
dc.relation	Sin financiación externa a la Universidad	es
dc.rights.accessRights	info:eu-repo/semantics/restrictedAccess
dc.subject	Constraint satisfaction	es
dc.subject	Fuzzy logic	es
dc.subject	Knowledge representation	es
dc.subject	Possibility theory	es
dc.subject	Soundness and completeness of logic	es
dc.subject	Temporal logic	es
dc.subject	Termporal reasoning	es
dc.subject	Uncertainty	es
dc.subject.other	CDU::6 - Ciencias aplicadas	es
dc.title	A sound and complete fuzzy temporal constraint logic	es
dc.type	info:eu-repo/semantics/article	es
dspace.entity.type	Publication	es