PROLogic: a fuzzy temporal constraint prolog

Cárdenas Viedma, María Antonia; Galindo Navarro, F. M.

Publication:
PROLogic: a fuzzy temporal constraint prolog

dc.contributor.author	Cárdenas Viedma, María Antonia
dc.contributor.author	Galindo Navarro, F. M.
dc.contributor.department	Ingeniería de la Información y las Comunicaciones
dc.date.accessioned	2024-05-22T08:12:49Z
dc.date.available	2024-05-22T08:12:49Z
dc.date.issued	2019
dc.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	es
dc.description.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.	es
dc.format	application/pdf	es
dc.format.extent	44	es
dc.identifier.citation	International Journal of Applied Mathematics, Vol. 32, N. 4, 2019, pp. 677-722
dc.identifier.doi	https://doi.org/10.12732/ijam.v32i4.10
dc.identifier.issn	Print: 1311-1728
dc.identifier.issn	Electronic: 1314-8060
dc.identifier.uri	http://hdl.handle.net/10201/141735
dc.language	eng	es
dc.publisher	Academic Publications	es
dc.relation	This work was partially funded by the Spanish Ministry of Science, Innovation and Universities under the SITSUS project (Ref: RTI2018-094832-B-I00), and by the European Fund for Regional Development (EFRD, FEDER).	es
dc.relation.publisherversion	https://diogenes.bg/ijam/contents/2019-32-4/10/index.html#	es
dc.rights	info:eu-repo/semantics/openAccess	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Temporal logic	es
dc.subject	Logic programming	es
dc.subject	Constrainst logic programming	es
dc.subject	PROLOG	es
dc.subject	Fuzzy constraint satisfaction	es
dc.subject	Termporal reasoning	es
dc.subject	Fuzzy inference systems	es
dc.subject	Approximate reasoning	es
dc.subject	Knowledge representation	es
dc.subject	Fuzzy relations	es
dc.subject	Non classical logics	es
dc.title	PROLogic: a fuzzy temporal constraint prolog	es
dc.type	info:eu-repo/semantics/article	es
dspace.entity.type	Publication	es