Towards a Symbolic Interpretation of Approximate Reasoning
Mazen El-Sayed, Daniel Pacholczyk · Electronic Notes in Theoretical Computer Science · 2003
We study knowledge-based systems using symbolic many-valued logic and we focus on the management of knowledge through linguistic concepts characterized by vague terms or labels. In previous papers we have proposed a symbolic representation of nuanced statements. In this representation, we have interpreated some nuances of natural language as linguistic modifiers and we have defined them within a multiset context. In this paper, we continue the presentation of our symbolic model and we propose new deduction rules dealing with nuanced statements. We limit ourself to present new generalizations of the Modus Ponens rules dealing with nuanced statements.