Ordered proposition, evidence theory, combination of weighted support functions.

• 有序命题,证据理论,加权基本支持函数组合。