Defining and combining Multiple-valued Logics for Knowledge-based Systems