论文部分内容阅读
以一种特殊的粗糙逻辑为研究对象，视全体赋值之集为通常乘积拓扑空间，通过利用赋值集上的Borel概率测度，提出了能融合粗糙逻辑与计量逻辑为一体的公式的Borel型概率粗糙真度理论，给出了公式概率粗糙真度的公理化定义，建立起了相应的概率真度表示定理．公式的概率粗糙真度理论可被看作粗糙逻辑中已有工作的计量化，也可看作计量逻辑学中真度理论的粗糙化．基于这一核心概念，进一步给出了粗糙逻辑中已有概念的程度化表示形式，如公式的粗糙度、精确度、公式之间的粗糙相似度等，并建立起了基于粗糙相似度的3种近似推理模式．该结果实现