如何为自定义F_Bool模糊布尔类实现乘除运算符的模糊逻辑操作

乘法（*）运算符实现与语义 #

• 对应独立事件的概率积与运算，属于比现有&运算符（取最小值）更严格的与逻辑，代表两个相互独立的模糊条件同时成立的置信度。在经典布尔（取值仅0/1）场景下，和&运算符的行为完全一致。
• 你预设的a.val * b.val逻辑完全正确，所有边界情况都和你现有代码的判断分支匹配，直接去掉注释返回该值即可。

除法（/）运算符实现与语义 #

模糊逻辑本身没有原生的除法定义，你可以根据业务场景选择以下两种常用实现，都满足取值在[0,1]区间，且符合你预设的边界规则：

方案1：条件概率语义（推荐） #

• 语义：代表在b成立的前提下，a成立的条件置信度，对应概率计算中的P(A|B)。
• 实现代码：

public static F_Bool operator /(F_Bool a, F_Bool b) {
    if(b.val == 0) throw new DivideByZeroException();
    return new F_Bool(Math.Min(1M, a.val / b.val));
}

该实现的优势是和乘法互为近似逆运算：(a * b) / b 的结果等于a（当a.val <= b.val时），符合常规数值运算的直觉。

方案2：相似度语义 #

• 语义：代表两个模糊布尔值的匹配程度，结果越接近1说明两个值的置信度越接近。
• 实现代码：

public static F_Bool operator /(F_Bool a, F_Bool b) {
    if(b.val == 0) throw new DivideByZeroException();
    decimal min = Math.Min(a.val, b.val);
    decimal max = Math.Max(a.val, b.val);
    return new F_Bool(min / max);
}

该实现的优势是符合你现有加减运算符的“数值比较、均值计算”设计逻辑，不需要额外处理结果溢出1的问题。

多值加法优化建议 #

你提到的现有二元加法无法支持多值平均的问题，可以额外增加一个静态工具方法解决，无需修改现有运算符逻辑：

public static F_Bool Average(params F_Bool[] values)
{
    if(values == null || values.Length == 0)
        throw new ArgumentException("至少需要传入一个参数");
    decimal sum = 0M;
    foreach(var v in values) sum += v.val;
    return new F_Bool(sum / values.Length);
}

调用时直接使用F_Bool.Average(a, b, c, d)即可得到任意数量模糊布尔值的平均值。

内容的提问来源于stack exchange，提问作者Martin Bocanegra