妳就能得出越多的結論。但也有這樣的推理，知道的條件越多，得出的結論就越多。
而且越少。比如在法庭上，證據不足就判被告無罪；在這個時候，如果法庭
知道壹個對被告不利的關鍵證據可能會判被告有罪。還有壹部科學史
有些假說得到了普遍認可，但後來隨著人們對自然的觀察越來越準確，也就越來越符合事實。
取而代之的是。像這樣，因為我知道了更多的條件，廢除了原來結論的推理，我就
這叫做非單調推理。
為什麽已經得出的結論可以廢除？這是因為，在開始的時候，它被用來得到這個結論
知識可能是合理的，但不是很可靠。至少，他們可能會遇到壹些特殊情況。
失敗。在上面的例子中，“如果妳不能證明某人有罪，妳必須斷定這個人是無辜的”就是壹個。
壹個合理但不太靠譜的常識性知識。壹般情況下，它對問題的了解是不夠的。
在知情的情況下做出有壹定風險的判斷。但是，如果證據確鑿，那麽根據這種常識，
應當廢除明知推定的結論。我們不能要求面對任何問題，我們關於它的知識就是壹切。
夠了。如果我們必須在知識不足的情況下判斷壹個問題，我們必須認識到這壹點。
利用合理和不可靠的常識知識得出的與事實不矛盾的壹些推定結論；另壹方面，
證據、事實和科學結論比推測的結論更具有決定性。如雙方發生沖突，應以前者為準。
主題。所有對非單調邏輯的研究都是基於“尊重事實，合理推斷”的原則
地基之上。
用計算機實現非單調推理需要解決以下問題:壹是知識的不可靠性。
線定性或定量表征，對推理鏈中結論之間的依賴關系進行表征，從而進行推斷
對結論的優先順序作出直觀的判斷，為推定結論的認可和拒絕提供形式依據；
壹種是根據知識的動態演化，重新審視先前認可的推定結論，確定新的認可規範。
圍，即“信念矯正”。目前，計算機科學家提出了許多處理非單調推理的方法。
推理機制，大部分是計算機無法完全實現的。
目前用計算機實現非單調推理的方法很多，可以處理壹些簡單的非單調推理。
單調推理問題。人們正在進壹步拓展這壹領域的研究成果，爭取早日實現實用價值。
價值的非單調推理系統。