区间值模糊推理的逻辑度量空间

摘要: 为了探寻适合区间值模糊推理的条件，本文研究区间值逻辑度量空间。本文提出一种新的基于区间值双剩余蕴涵算子的区间值模糊集的距离度量。由4个著名的区间值双剩余诱导相应的距离度量，做成4个度量空间，分别研究4个度量空间的性质。进一步，证明基于区间值Łukasiewicz剩余蕴涵的度量空间和区间值Goguen剩余蕴涵的度量空间适合做区间值模糊推理。最后，在基于区间值Łukasiewicz剩余蕴涵度量空间中，证明基于区间值Łukasiewicz剩余蕴涵的模糊推理全蕴涵算法是鲁棒的，为区间值模糊推理算法的应用提供了坚实的理论基础。

• 关键词: 
• 模糊集  /  
• 区间值模糊集  /  
• 区间值模糊推理  /  
• 三角范数  /  
• 剩余蕴涵  /  
• 距离度量  /  
• 逻辑度量空间  /  
• 全蕴涵算法  

假设 MM 是一个推理机， AA 和 BB 分别是推理机 MM 的输入和输出。在推理过程中，如果小的输入扰动引起小的输出扰动，则称推理机 MM 具有良好的鲁棒性。不同领域的研究者对扰动的概念有不同的答案，因此，各种相关的概念相继提出，例如最大扰动、平均扰动、δ−等价、δ−灵敏度、最大δ−灵敏度、平均δ−灵敏度等。文献[1]给出了模糊集的最大扰动和平均扰动，并讨论几种模糊推理系统的扰动。文献[2]研究连接词的模糊δ−等价和模糊蕴涵算子的鲁棒性。文献[3-4]提出模糊连接词的δ−灵敏度、最大δ−灵敏度和平均δ−灵敏度的概念，并讨论模糊推理算法的鲁棒性。通过比较和分析这些概念