A Symbolic Approximate Reasoning

We study knowledge-based systems using symbolic many-valued logic. In previous papers we have proposed a symbolic representation of nuanced statements. Firstly, we have introduced a symbolic concept whose role is similar to the role of the membership function within a fuzzy context. Using this concept, we have defined linguistic modifiers. In this paper, we propose new deduction rules dealing with nuanced statements. More precisely, we present new Generalized Modus Ponens rules within a many-valued context.