问题：
关键词：推理闭包系统; 推理闭包算子;推理内部算子; 推理外部算子; 推理边界算子; 推理导算子; 推理远域算子; 推理邻域算子
● 参考解析
本文通过利用拓扑工具结合命题演算系统进行再研究,目的是从更加抽象化的层面来理解
,并推广了抽象推理系统,产生了一系列基于模糊命题逻辑的算子,丰富了格上逻辑学,也为在范畴层面研究逻辑学、模糊推理
推理系统及应用提供了参考.
设X是一个集合, RCS(X)是X上的结论闭域系统的全体,则可以
定义X的推理闭包算子,给RCL(X) (即X上的推理闭包算子的全体)
上定义适当的偏序关系并具体地给出(RCL(X),leq)
和( RCS(X),subseteq)之间的序同构,这时可以用推理闭包算子确定结论闭域,那么我们也可以定义用推理内部算子、推理外部算子、
推理边界算子、推理导算子等，来确定结论闭域.
相关内容
相关标签
