Por favor, use este identificador para citar o enlazar este ítem:
https://doi.org/10.12732/ijam.v32i4.10
Twittear
Título: | PROLogic: a fuzzy temporal constraint prolog |
Fecha de publicación: | 2019 |
Editorial: | Academic Publications |
Cita bibliográfica: | International Journal of Applied Mathematics, Vol. 32, N. 4, 2019, pp. 677-722 |
ISSN: | Print: 1311-1728 Electronic: 1314-8060 |
Palabras clave: | Temporal logic Logic programming Constrainst logic programming PROLOG Fuzzy constraint satisfaction Termporal reasoning Fuzzy inference systems Approximate reasoning Knowledge representation Fuzzy relations Non classical logics |
Resumen: | In this paper we present PROLogic, a logic programming language based on a formal first-order fuzzy temporal logic: FTCLogic. FTCLogic integrates the advantages of a formal system (a first-order logic based on Possibilistic Logic) and an efficient mechanism with which to reason about time: the Fuzzy Temporal Constraints Networks or FTCN. PROLogic, therefore, is a Fuzzy Temporal PROLOG, which is implemented in Haskell. |
Autor/es principal/es: | Cárdenas Viedma, María Antonia Galindo Navarro, F. M. |
Facultad/Departamentos/Servicios: | Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería de la Información y las Comunicaciones |
Versión del editor: | https://diogenes.bg/ijam/contents/2019-32-4/10/index.html# |
URI: | http://hdl.handle.net/10201/141735 |
DOI: | https://doi.org/10.12732/ijam.v32i4.10 |
Tipo de documento: | info:eu-repo/semantics/article |
Número páginas / Extensión: | 44 |
Derechos: | info:eu-repo/semantics/openAccess Attribution-NonCommercial-NoDerivatives 4.0 Internacional |
Descripción: | © 2019 Academic Publications. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ This document is the Published version of a Published Work that appeared in final form in International Journal of Applied Mathematics. To access the final edited and published work see https://doi.org/10.12732/ijam.v32i4.10 |
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 | |
---|---|---|---|---|
IJAM_2019.pdf | 412,5 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons