R演算

（理学 | 计算机科学技术）

R演算（R-calculus），理学-计算机科学技术-计算机科学理论-可计算模型-形式化，基于逻辑连接词和量词进行推理的一个信念修正算子。