monotoniclogic.monotoniclogic 从前提一旦推出结论,它将总是有效的,即使后来又获得了新的信息,那么称之为单调的. 假设一个网上卖家希望在顾客的生日当天给予优惠.可以用如下的规则来简单地表达这个应用: R2:╕birthday-╕specialdiscount. 这种解决方案在已知生日的情况下运转良好.但是,如果顾客因为涉及隐私拒绝提供他的生日.就不能应用上面的规则了,因为前提是未知的(这个可以用非单调规则解决,可以参考直觉主义逻辑的表达).这种情况下需要如下的规则:  R3:ifbirthdayisnotknown,thennotspecialdiscount.(该规则的前提不在谓词逻辑的表达能力之内,谓词逻辑承认矛盾律,只有两种可能birthday,╕birthday,直觉主义逻辑╕╕≠╕)