RT Book, Section
T1 A functional tool for fuzzy first order logic evaluation
A1 López, Victoria
A1 Cleva, J. Miguel
A1 Montero De Juan, Francisco Javier
A2 Ruan, Da
A2 D'hondt, Pierre
A2 Fantoni, Paolo F.
A2 De Cock, Martine
A2 Nachtegael, Mike
A2 Kerre, Etienne E.
AB In 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.
PB World Scientific
SN 978-981-256-690-4
YR 2006
FD 2006
LK https://hdl.handle.net/20.500.14352/53406
UL https://hdl.handle.net/20.500.14352/53406
LA eng
NO Ló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)
DS Docta Complutense
RD 8 abr 2025