本词条缺少名片图，补充相关内容使词条更完整，还能快速升级，赶紧来编辑吧！
单调逻辑，指从前提一旦推出结论，它将总是有效的，即使后来又获得了新的信息，那么称之为单调的。简单来说，就是后来研究得出来的结论不会否定从前就推出的结论，
- 中文名
- 单调逻辑
- 外文名
- monotonic logic
- 定 义
- 从前提一旦推出结论总是有效的
- 领 域
- 哲学
单调逻辑英文
编辑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, 直觉主义逻辑╕╕≠ ╕)
词条标签：