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的语法及语义;证明了URS的合理性与完全性定理;并与其它不确定推理方法作了比较.