單調推理（monotonic reasoning）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：單調推理
- 外文名：monotonic reasoning
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
在一個推理系統中，得出的結論不會隨推理前提條件的增加而改變。
出處
《計算機科學技術名詞 》第三版。
單調推理
相關詞條
- 單調推理
單調推理（monotonic reasoning）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義在一個推理系統中，得出的結論不會隨推理前提條件的增加而改變。出處《計算機科學技術名詞 》第三...
- 智慧型推理及其在信念修正中的套用
《智慧型推理及其在信念修正中的套用》是2016年科學出版社出版的圖書，作者是奕尚敏、王樹。內容簡介 智慧型推理是實現智慧型化的基礎，它包括經典的單調推理和非單調推理。本書首先介紹了經典的單調推理中的命題推理系統和謂詞推理系統，以及推理...
- 反向推理機
不精確推理是一種基於不精確知識進行推理而得出結論的推理方式，不精確推理一般包括兩部分：一個是得出結論，即推理；另一個是計算結論的可信度，即可信度算法。（3）單調推理和非單調推理 建立在謂詞邏輯基礎上的推理所得的結果是單調的...
- 增量非單調推理
在模糊默認推理中，沒有足夠多的信息使推理取得的結論一定正確，因為推理是基於一些簡化的假設成立的前提的，後增加的信息可能會使該系統先前得到的結論不再成立，這種情況稱為非單調推理。此時可以簡單的用新增加的信息筱蓋原來得到的信息...
- 非單調推理
所謂非單調推理，指的是一個正確的公理加到理論T中，反而會使預先所得到的一些結論變得無效了。尋求失效的結論是單調邏輯中不存在的問題。從這個意義上說，非單調推理就明顯地比單調推理來得複雜。非單調推理的基本出發點是古典的完備性...
- 自動推理
為了建立類似於人的智慧型系統，研究更接近人類思維方式的推理，如非單調推理、模糊推理等，變得越來越必要。自動推理的研究，一方面表現在專家系統中，各種面向特殊問題的推理方式的研究，例如，DENDRAL的用於化學合成的推理，PROSPECTOR的用於...
- 人工智慧基礎教程(2011年清華大學出版社出版的圖書)
12.1 非單調推理 12.1.1 單調推理與非單調推理的概念 12.1.2 默認邏輯 12.1.3 默認邏輯非單調推理系統tms 12.2 dempster?shater（d?s）證據理論 12.2.1 識別框架 12.2.2 基本機率分配函式 12.2.3 置信函式bel(a)12.2...
- 人工智慧基礎教程(配光碟)
5.2非單調推理系統TMS 143 5.2.1TMS的依據 143 5.2.2TMS中信念的狀態 143 5.2.3TMS中信念的表示方法 144 5.2.4TMS中的證實和推理 144 5.3Dempster-Shafer（D-S）證據理論 146 5.4不確定性推理 153 5.4.1不確定性 ...
- 人工智慧技術與智慧型機器人
3.3.1單調推理與非單調推理54 3.3.2非單調推理系統54 3.4模糊推理在機器人避障中的套用 3.4.1救援機器人的運動學模型59 3.4.2環境信息分類及其避障行為60 3.4.3基於模糊推理的避障控制62 第4章專家系統 4.1專家系統概述 4...
- 人工智慧基礎(2023年清華大學出版社出版的圖書)
3.1.4邏輯推理37 3.2非單調推理39 3.2.1單調邏輯與單調推理39 3.2.2非單調邏輯與非單調推理40 3.2.3非單調推理與單調推理的比較41 3.3謂詞邏輯推理41 3.3.1謂詞邏輯41 3.3.2謂詞邏輯的自然推理規則44 3.3.3謂詞邏輯...
- 人工智慧技術(2010年清華大學出版社出版的圖書)
第3章 知識推理技術 3.1 推理方式及其分類 3.1.1 演繹推理、歸納推理、默認推理 3.1.2 確定性推理、不確定性推理 3.1.3 單調推理、非單調推理 3.1.4 定性推理 3.2 推理的控制策略 3.2.1 正向推理 3.2.2 反向推理 3...
- 智慧型設計(設計人員的重要輔助工具)
*推理技術的深化，要有正、反向和雙向推理流程控制模式的單調推理，又要把重點集中在非歸納、非單調和基於神經網路的推理等方面。*綜合的知識表達模式，即如何構造深層知識和淺層知識統一的多知識表結構。*基於分布和並行思想求解結構體系...
- 法律邏輯學教程(第3版)
四、機率與統計歸納推理 第三節 類比推理 一、類比推理的實質 二、類比推理的種類 三、類比推理的邏輯要求 第四節 溯因推理 一、溯因推理的實質 二、溯因推理的方法 三、溯因推理的邏輯要求 第五節 非單調推理與語用推理 一、非...
- 伽羅瓦對應
但這只是表明f *保留任何兩個元素的順序，即它是單調的。 同樣，類似的推理也會產生f *的單調性。 因此，明確地不必將單調性納入定義。 然而，提到單調性有助於避免對伽羅瓦對應的兩個替代概念的混淆。伽羅瓦對應的另一個基本屬性是...
- 實用法律邏輯教程
第六章 推理篇（下） 147 第一節 歸納推理概述 147 2 第二節 完全歸納推理和不完全歸納推理 150 第三節 求因果關係歸納推理 154 第四節 機率與統計歸納推理 158 第五節 類比推理 161 第六節 非單調推理與預設推理、語用推理 ...
- KIF
KIF語言基於一階邏輯，增加了對非單調推理和定義的支持，其語言描述包括語法規範和語義規範。特別需要指出的是,，KIF提供簡單數據表示。KIF核心語義（即沒有規則和定義的KIF）與一階邏輯語義相似，增加了處理非標準運算符的功能，但是通過...
- 人工智慧原理與方法
4.4與/或形演繹推理 4.4.1與/或形正向演繹推理 4.4.2與域形逆向演繹推理 4.4.3與域形雙向演繹推理 4.4.4代換的一致性及剪枝策略 本章小結 習題 第5章不確定與非單調推理 5.1基本概念 5.1.1什麼是不確定性推理 5.1....
- 限制(數學術語)
限制邏輯是一種非單調邏輯，通常簡稱限制，是模卡斯 (MeCarth,J.) 於 1980 年提出的一種有代表性的非單調推理理論。簡介 限制通常指限制邏輯(circumscription)，這是一種非單調邏輯，是模卡斯 (MeCarth,J.) 於 1980 年提出的一...
- 邏輯、機率與地圖分析:漢語語法學中的計算研究
2.3知識的獲得、擁有與失去——預設推理 2.4關於可控性行為的知識 2.5過去的認識狀態 2.6以主體的知識為背景 2.7以主體的事實性判斷為背景 2.8言者的認識 3.主題與信息順逆結構 第三章 機率蘊涵 1.機率 1.1簡單機率 1.2...
- 建模法律論證的邏輯工具
《建模法律論證的邏輯工具：法律可廢止推理研究》表明，與通常所說的相反，如果使用在邏輯與人工智慧領域中關於所謂非單調推理和可廢止論證的最新進展，並且如果邏輯被認為是一種工具而不是法律論證的模型，那么這些特徵逃脫不了邏輯分析。《...
- 可廢止邏輯
非單調邏輯 非單調邏輯（英語：Non-monotonic logic）是（在前提的集合和單一的句子之間的）推論關係不是單調遞增的形式邏輯。與單調推理（經典邏輯）相對，非單調推理是指知識庫加入新知識後，原有的推論會被推翻的邏輯。也就是說，知識...
- 張立英(中國科學院大學、中國科學院哲學所教授)
2012.1- 國家社科基金後期資助項目：“概稱句推理研究”。2009.11- 教育部人文社科青年項目：“自然邏輯研究”等。獲獎記錄 2010.9 獲第五屆“金岳霖學術獎·優秀博士論文一等獎”。2008.11 論文《基於主謂項涵義联系的概稱句推理的幾...
- 科學與價值
第4章 實質法律推理 4.1 形式法律推理的局限性 4.2 什麼是實質法律推理 4.3 實質法律推理適用的具體情形 4.4 實質法律推理的具體途徑 4.5 實質法律推理的訴訟價值之評價 第5章 非形式邏輯與非單調推理的概念 5.1 非形式邏輯的...
- 機器學習(多領域交叉學科)
機器學習不僅在基於知識的系統中得到套用，而且在自然語言理解、非單調推理、機器視覺、模式識別等許多領域也得到了廣泛套用。一個系統是否具有學習能力已成為是否具有“智慧型”的一個標誌。機器學習的研究主要分為兩類研究方向：第一類是傳統...
- 人工智慧原理輔導與練習
第5章 不確定和非單調推理方法 5.1 本章知識結構 5.2 本章主要內容 問題5.2.1 傳統推理（基於謂詞邏輯的推理）有哪些局限性？問題5.2.2 什麼是不確定推理？ 它的基本問題是什麼？問題5.2.3 不確定性推理方法如何分類？問題5...
- 人工智慧基礎(2004年高等教育出版社出版的圖書)
第七章 非單調推理和軟計算 7.1 傳統邏輯系統的局限性 7.2 非單調推理 7.3 不確定推理 7.4 模糊邏輯和模糊推理 7.5 神經網路 本章小結 習題 參考文獻 第八章 機器感知 8.1 視覺與視覺圖像 8.2 圖像特徵提取 8.3 視覺...
- 邏輯學 21世紀思想政治教育專業系列教材
第二節 全稱歸納推理 第三節 求因果關係歸納推理 第四節 機率與統計歸納推理 第五節 特稱預測歸納推理 思考與練習 第八章 歸納邏輯（下）第一節 類比推理 第二節 溯因推理 第三節 非單調推理與語用推理 思考與練習 第九章 科學...
