Defining and combining Multiple-valued Logics for Knowledge-Based Systems
José Antonio Reyes, Francesc Esteva, Josep Puyol-Gruart · 1998
Multiple-valued logics are useful for dealing with uncertainty and imprecision in knowledge-based systems. In this paper, we present a tool that assist users in the declaration of such logics and in the declaration of the communication mechanism between two of these different logics by preserving inference.