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

摘要

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