非单调逻辑 非单调逻辑英語Nonmonotonic logic是在前提的集合和单一的句子之间的推论关系不是单调递增的形式逻辑 与单调推理经典逻辑相对非单调推理是指知识库加入新知识后原有的推论会被推翻的逻辑也就是说知识库的推论不随着知识增长而增长即非单调递增这时必须使用某种正确的维持机制确保推理继续进行因此非单调推理多是在知识不完全的情况下发生的 多数形式逻辑都有单调性的推论关系就是说如果一个句子可以从前提的集合中推理出来则它也可以从把这个前提集合作为子集包含的任何前提集合中推理出来这意味着向理论增加一个公式永不引起它的推论集合的减小在直觉上单调性指示出学习一些新知识不能减小已知知识的集合单调逻辑不能处理各种推理任务比如缺省推理事实可以是已知的只是因为缺乏反面的证据溯因推理事实只按最合适的解释演绎出来关于知识的推理在事实变成已知的时候对一个事实的无知必须被撤消和信念修正新知识可以和旧信念矛盾 目前对于非单调推理的研究一般有两种途径 一种方法认为经典逻辑对于研究非单调推理明显有不足的地方因此最好是建立新的语义机制跟逻辑系统在此基础上进行非单调推理的研究以解决一些问题例如Reiter的缺省逻辑和Moore的自动认识逻辑还有扩充逻辑程序英語extended logic program 另一种观点与此正好相反坚持这种观点的人认为在经典逻辑框架下研究非单调推理是完全可行的关键是怎么使用经典逻辑例如封闭世界假设McCarthy的限定推理Circumscription和Poole提出的假设推理default reasoning