電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
人類常用的推理方法不能直接在人工智能中應用從而實現機器的自動推理，本文論述了自動推理中的歸結和合一算法的規則和詳細步驟，達到使讀者容易理解和掌握這一方法的目的，使更多人了解這一方法的作用和前景。
人類思維中嚴格的推理主要是兩種，一種是使用真值表，一種是使用演繹規則。真值表方法，有兩個特點，其一，是機械性；其二是，每一個要素，都需要用固定的對象表達出來，假設用n 表示推理中一個命題中含有對象的數目，當n 大到一定程度的時候，2n 會是一個極其龐大的數目，這就限制了它在機器推理當中的應用。
思維中還可以使用演繹推理規則來進行推理，如常用的分離規則，下面兩個是利用分離規則的具體例子：
1、如果得了肺炎，那么就會發燒；某人得了肺炎，他一定會發燒。
2、如果得了肺炎，那么，就會出去旅游；某人得了肺炎，所以他會出去旅游。
1 是正確的推理，2 是錯誤的推理，這依賴于人類的經驗。讓機器從知識庫中，學會人類的整體經驗，顯然存在很大的難度，即使一個庫中包含著人類絕大多數經驗，檢索耗時也限制了其應用。因此這種方法也不適用于機器推理。
歸結和合一算法的出現，為解決機器的自動推理提供了很好的方法并得到廣泛應用，這一點早已為相關的研究者熟悉。但從事邏輯學研究的人員，往往限于依據羅素和懷特海在《數學原理》中構建的推理體系，不了解機器自動推理的進展。這在人工智能興起的今天，顯然是不滿足時代要求的。更多的非專業人士其實也有一窺機器推理的需求，實際工作中，越來越需要構架起《數學原理》中的為人熟知的推理體系與人工智能中自動推理之間的橋梁，讓更多的非人工智能領域的研究人員深入認識與了解該方法，這也是本文的主要目的。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 什么是人工智能 人工智能應用領域 0次下載
- 人工智能-BP神經網絡算法的簡單實現 12次下載
- 跨媒體數據分析與推理技術綜述 15次下載
- 基于計算機視覺和NLP的跨媒體問答與推理 8次下載
- 大數據與人工智能導論的詳細資料說明 2次下載
- 規則半自動學習的概率軟邏輯推理模型 6次下載
- 人工智能及其產業發展如何？人工智能標準化白皮書（2018版）免費下載 0次下載
- 推理規則鏈的確定性構建 0次下載
- 人工智能原理及技術的深度解析 3次下載
- 常用的人工智能算法以及學派介紹分析 5次下載
- 圍棋人工智能基本原理及其意義 8次下載
- 智慧醫療走紅 健康大數據發力：人工智能造福人類再邁一步 8次下載
- 人工智能的原理與方法_馬憲民 0次下載
- 基于邏輯推理的轉子故障診斷專家系統
- 基于邏輯推理的網絡攻擊想定生成系統
- 大型語言模型的邏輯推理能力探究 741次閱讀
- 什么是人工智能?人工智能的分類和應用介紹 1w次閱讀
- 機器學習是如何工作的? 人工智能與機器學習實例 1963次閱讀
- 人工智能用例有什么技巧來選擇正確的 979次閱讀
- 淺談人工智能客戶服務的未來 4258次閱讀
- 人工智能學習應該讀的書籍 5570次閱讀
- 人工智能之技術與算法 1397次閱讀
- 人工智能技術有哪些_人工智能技術的原理 6.1w次閱讀
- 人工智能為何這么熱_人工智能價值與應用_無人機屬于人工智能嗎 7411次閱讀
- 人工智能相關的人與技術都在這里_人工智能的相關技術 4754次閱讀
- 美國人工智能大學排名_美國人工智能專業課程排名 2.1w次閱讀
- 人工智能需要哪些知識_人工智能需要學什么_如何自學人工智能 4.4w次閱讀
- 人工智能對教育的沖擊及對孩子的影響 2w次閱讀
- 人工智能+教育這條路怎么走_人工智能+教育趨勢分析 2.4w次閱讀
- 深度圖片詳解人工智能技術發展動態及其應用發展趨勢 7597次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1491次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 95次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于單片機和 SG3525的程控開關電源設計
- 0.23 MB | 4次下載 | 免費
- 8基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537793次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網監
評論