Reasoning with words: A first approximation

This paper aims to propose a model of reasoning based on semantic relations among words and to incorporate it in the inference mechanism of a logic programming language. This model is integrated in a fuzzy logic programming framework and it is implemented into the Bousi~Prolog system by using WordNet. All this process is transparent to the programmer and the reasoning with words is automatic. The lexical semantics between symbols (words) provides us with the ability of reasoning with words and turns the knowledge representation in a more natural and less complex process.