非单调逻辑(英语:Non-monotonic logic)是(在前提的集合和单一的句子之间的)推论关系不是单调递增的形式逻辑。
https://web.archive.org/web/20051201234804/http://cs.wwc.edu/~aabyan/Logic/Nonmonotonic.html
SHOW MORE (2)