Publication: A functional tool for fuzzy first order logic evaluation
Loading...
Full text at PDC
Publication Date
2006
Advisors (or tutors)
Journal Title
Journal ISSN
Volume Title
Publisher
World Scientific
Citations
Exportar
Abstract
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.