Publication:
PROLogic: a fuzzy temporal constraint prolog

Thumbnail Image
Files
IJAM_2019.pdf(412.5 KB)
Date
2019
relationships.isAuthorOfPublication
relationships.isSecondaryAuthorOf
relationships.isDirectorOf
Authors
Cárdenas Viedma, María Antonia ; Galindo Navarro, F. M.
item.page.secondaryauthor
item.page.director
Publisher
Academic Publications
publication.page.editor
publication.page.department
Ingeniería de la Información y las Comunicaciones
DOI
https://doi.org/10.12732/ijam.v32i4.10
item.page.type
info:eu-repo/semantics/article
Description
© 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
Abstract
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.
publication.page.subject
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
Citation
International Journal of Applied Mathematics, Vol. 32, N. 4, 2019, pp. 677-722
URI
http://hdl.handle.net/10201/141735
item.page.embargo
Collections
Artículos
Ir a Estadísticas