López, VictoriaCleva, J. MiguelMontero De Juan, Francisco JavierRuan, DaD'hondt, PierreFantoni, Paolo F.De Cock, MartineNachtegael, MikeKerre, Etienne E.2023-06-202023-06-202006López, V., Miguel Cleva, J., Montero, J.: A FUNCTIONAL TOOL FOR FUZZY FIRST ORDER LOGIC EVALUATION. En: Applied Artificial Intelligence. pp. 19-26. WORLD SCIENTIFIC, Genova, Italy (2006)978-981-256-690-410.1142/9789812774118_0007https://hdl.handle.net/20.500.14352/53406In this paper we present an automatic evaluation tool for fuzzy first order logic formulae. Since different logics can be considered, we allow for such formulae the appearance of syntactic modifiers, in such a way that our tool is designed not only to evaluate formulae in existing logic, but also to evaluate properties in any other logic framework given by the user. Such generalization is performed using Haskell, a functional programming language.engbook parthttps//doi.org/10.1142/9789812774118_0007http://www.worldscientific.com/doi/abs/10.1142/9789812774118_0007open access004.8Inteligencia artificial (Informática)1203.04 Inteligencia Artificial