常見(jiàn)例句雙語(yǔ)例句The syntactic and the semantics of URS are given and the Completeness and Soundness Theorem for URS is proved. The paper concludes with a comprehensive comparison of our proposal w…給出了URS的語(yǔ)法及語(yǔ)義,證明了URS的合理性與完全性定理,并與其它不確定推理方法作了比較。 返回 soundness theorem