A Symbolic Approach to Vagueness Management

摘要

We study knowledge-based systems using symbolic many-valued logic and multiset theory. In previous papers we have proposed a symbolic representation of nuanced statements like "John is very tall". In this representation, we have interpreted 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 ourselves to present new generalizations of the Modus Ponens rule.