... 语义 semantics 可靠性定理 soundness theorem 完备性定理 completeness theorem ...
基于30个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
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的合理性与完全性定理，并与其它不确定推理方法作了比较。
youdao
应用推荐
模块上移
模块下移
不移动