多值置信的格值闭包算子及Galois联络

Many Valued Confidence Lattice-Valued Closure Operators and Lattice-Valued Galois Connections

在多值逻辑的环境下,为进一步完善格值闭包理论的置信化问题,提出多值置信滤子的概念和实例。以多值置信滤子为工具界定了置信格值闭包算子和置信格值Galois联络的概念,并得到它们的等价刻画条件。结果表明:多值置信滤子是十分有用的置信推理工具,其不但可以解决格值闭包算子的置信化问题,而且可以描述置信格值Galois联络现象。

Under the environment of many valued logic, the concept and instance of many valued confi- dence filters were proposed for solving the problem of confidence about closure theories in this paper. By using many valued confidence filters, confidence lattice-valued closure operators and confidence lattice-valued Galois connections are defined and their characteristic conditions are obtained. This paper shows that many valued confidence filters are very useful tool for confidence reasoning. It can not only solve the problem of confidence about closure operators, but also can describe the confidence lattice-valued Galois connections.