A functional tool for fuzzy first order logic evaluation



Downloads per month over past year

Lopez, Victoria and Cleva, J. Miguel and Montero, Javier (2006) A functional tool for fuzzy first order logic evaluation. In Applied artificial intelligence : proceedings of the 7th International FLINS Conference, Genova, Italy, 29-31 August 2006. World Scientific, Singapore, pp. 19-27. ISBN 978-981-256-690-4

[thumbnail of Montero207.pdf]

Official URL: http://www.worldscientific.com/doi/abs/10.1142/9789812774118_0007


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.

Item Type:Book Section
Subjects:Sciences > Computer science > Artificial intelligence
ID Code:29074
Deposited On:06 Mar 2015 10:30
Last Modified:18 Apr 2016 14:42

Origin of downloads

Repository Staff Only: item control page