本文關(guān)鍵詞：非單調(diào)推理及其應(yīng)用，由筆耕文化傳播整理發(fā)布。

河南大學(xué) 碩士學(xué)位論文 非單調(diào)推理及其應(yīng)用 姓名：劉飛 申請學(xué)位級別：碩士 專業(yè)：邏輯學(xué) 指導(dǎo)教師：李振江；郭橋 2011-05 摘 要 經(jīng)典邏輯的推理形式是演繹的、單調(diào)的，一般被稱為單調(diào)推理。它在解決基礎(chǔ)理論 問題時發(fā)揮了精確性與嚴(yán)格性等特點(diǎn)。但是在處理日常復(fù)雜語境下的推理問題時，基于 經(jīng)典邏輯的單調(diào)推理具有一定的局限性。與之相反，非單調(diào)推理具有一定的靈活性。其 特點(diǎn)是推理結(jié)論具有暫時性。隨著新情況的出現(xiàn)，結(jié)論可能會被更正，以便符合實(shí)際情 況。單調(diào)推理與非單調(diào)推理之間的區(qū)別類似于弗雷格所提出的顯微鏡與眼睛在功能上的 比較。即顯微鏡發(fā)揮了精確性的特點(diǎn)，有助于研究微觀世界，但不具有眼睛在生活中的 靈活性。然而，眼睛也不可能直接觀察到只有通過顯微鏡才能看到的微觀世界。 非單調(diào)這一概念于上世紀(jì) 70 年代被提出來。經(jīng)過學(xué)者們數(shù)十年對非單調(diào)推理的研 究，逐漸形成了與單調(diào)的經(jīng)典邏輯不同的非單調(diào)邏輯。兩者之間最明顯的差別是，單調(diào) 邏輯的定理集隨前提集的增加而單調(diào)遞增，而非單調(diào)邏輯的定理集是隨前提集的增加而 非單調(diào)遞增。具體來說，在日常語境下，，以已有知識和新加入的知識為前提，可以得出 新結(jié)論。新結(jié)論往往會面臨兩種情況：要么是與已有知識無矛盾，要么是與已有知識發(fā) 生矛盾。第一種情況符合單調(diào)邏輯的特點(diǎn)。第二種情況符合非單調(diào)邏輯的特點(diǎn)。對于第 二種情況，如果能確保新結(jié)論符合一般事實(shí)，那么就要對已有知識做修改。從而更新知

  本文關(guān)鍵詞：非單調(diào)推理及其應(yīng)用，由筆耕文化傳播整理發(fā)布。