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

作者：方进明; 张虎; 褚晓清

来源：中国海洋大学学报(自然科学版), 2013, (01): 98-101.

DOI：10.16441/j.cnki.hdxb.2013.01.015

• 多值逻辑
• 多值置信滤子
• K-置信闭包算子
• K-置信Galois联络 many-valued logic
• many-valued confidence filter
• K-confidence closure operator
• K-confidence Galois connections

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

• 单位
  中国海洋大学