|
Título:
|
A functional tool for fuzzy first order logic evaluation
|
|
Autores:
|
Lopez, Victoria ;
Cleva, J. Miguel ;
Montero, Javier
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
World Scientific, 2006
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Informática: Inteligencia artificial
,
Tipo = Sección de libro
|
|
Resumen:
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/29074/1/Montero207.pdf
|
