soundness theorem的意思|示意
可靠性定理
soundness theorem的网络常见释义
可靠性定理 ... 语义 semantics 可靠性定理 soundness theorem 完备性定理 completeness theorem ...
性定理 此语言的核心在于 OE 和 AO 两个不确定函数,文献[3]还提出并证明了两个定理:合理性定理(soundness theorem)和完全性定理(completeness theorem),以说明 RCL2000 和严格形式的一阶谓词逻辑(RFOPL)的等价性.
soundness theorem相关例句
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的合理性与完全性定理，并与其它不确定推理方法作了比较。