英文

定义

例子

英文

monotonic logic

定义

从前提一旦推出结论，它将总是有效的，即使后来又获得了新的信息，那么称之为单调的。

例子

假设一个网上卖家希望在顾客的生日当天给予优惠。可以用如下的规则来简单地表达这个应用：R1: birthday -> special discount

R2: ╕birthday -> ╕special discount.

这种解决方案在已知生日的情况下运转良好。但是，如果顾客因为涉及隐私拒绝提供他的生日。就不能应用上面的规则了，因为前提是未知的（这个可以用非单调规则解决，可以参考直觉主义逻辑的表达）。这种情况下需要如下的规则：

R1: birthday -> special discount

R3：if birthday is not known, then not special discount.(该规则的前提不在谓词逻辑的表达能力之内，谓词逻辑承认矛盾律，只有两种可能birthday, ╕birthday, 直觉主义逻辑╕╕≠ ╕)