Por favor, use este identificador para citar o enlazar este ítem:
https://doi.org/10.1109/tsmcb.2005.856146
Twittear
| Título: | A sound and complete fuzzy temporal constraint logic |
| Fecha de publicación: | feb-2006 |
| Editorial: | Institute of Electrical and Electronics Engineers |
| Cita bibliográfica: | IEEE Transactions on Systems, Man, and Cybernetics: B Cibernetics, Vol. 36, N. 1, 2006, pp. 223-228 |
| ISSN: | Print: 2168-2216 Electronic: 2168-2232 |
| Materias relacionadas: | CDU::6 - Ciencias aplicadas |
| Palabras clave: | Constraint satisfaction Fuzzy logic Knowledge representation Possibility theory Soundness and completeness of logic Temporal logic Termporal reasoning Uncertainty |
| Resumen: | 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. |
| Autor/es principal/es: | Cárdenas Viedma, María Antonia |
| Facultad/Departamentos/Servicios: | Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería de la Información y las Comunicaciones |
| URI: | http://hdl.handle.net/10201/141747 |
| DOI: | https://doi.org/10.1109/tsmcb.2005.856146 |
| Tipo de documento: | info:eu-repo/semantics/article |
| Número páginas / Extensión: | 6 |
| Derechos: | info:eu-repo/semantics/embargoedAccess |
| Descripción: | © 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 |
| 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 | |
|---|---|---|---|---|
| IEEETSMC_2006.pdf | 2,71 MB | 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.