Abstract

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 similar to 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.