人工智能技術導論——使用PROLOG邏輯語言解決愛因斯坦斑馬問題
一、背景 在上一篇博客https://www.cnblogs.com/wkfvawl/p/12056951.html上，我簡單介紹了一下Prolog的一些基本語法，這篇博客主要通過老師課上講過的一個問題，來體驗一下prolog在邏輯推理上的優勢。 在介紹問題之前，先引入一道Prolog題 ...
原文：人工智能技術導論——邏輯程序設計語言PROLOG
最近在復習人工智能導論，里面介紹了一種邏輯關系語言PROLOG，但這本書里面用到的編譯器是Turbo PROLOG，這個編譯器早就被淘汰了，我后來找的了它的升級版Visual PROLOG，但一些語法也發生了變化，現在好像用起來不錯的是SWI PROLOG ，這里處於復習的目的，把書上關於PROLOG的相關內容保存到這里，下面一些代碼我盡可能的使用SWI PROLOG跑一跑，學習一下。 摘自 人工 ...
2019-12-17 21:22 0 1896 推薦指數：
相關推薦
歸納邏輯程序設計
可被PROLOG等邏輯程序設計語言直接使用。 然而，函數和邏輯表達式嵌套的引入也帶來了計算上的巨 ...
人工智能技術導論——基於謂詞邏輯的機器推理
一、一階謂詞邏輯 1、謂詞、函數、量詞 設a1, a2, …, an表示個體對象, A表示它們的屬性、狀態或關系, 則表達式 在謂詞邏輯中就表示一個(原子)命題。 例如, (1) 素數(2), 就表示命題“2是個素數”。 (2) 好朋友(張三, 李四 ...
人工智能技術導論——博弈樹搜索
我在之前整理過一篇博客關於博弈論和納什均衡的幾個例子https://www.cnblogs.com/wkfvawl/p/11725263.html 這里來介紹博弈樹搜索。 一、博弈樹的概念 ...
人工智能技術導論——不確定性知識的表示與推理
背景 一般的（確定性）推理過程：運用已有的知識由已知事實推出結論. 此時，只要求事實與知識的前件進行匹配。不精確思維並非專家的習慣或愛好所至，而是客觀現實的要求。 在人類的知識和思 ...
人工智能技術導論——機器學習與知識發現
一、機器學習概述 1、機器學習的概念 心理學中對學習的解釋是: 學習是指(人或動物)依靠經驗的獲得而使行為持久變化的過程。人工智能和機器學習領域的幾位著名學者也對學習提出了各自的說法。 如Simon認為:如果一個系統能夠通過執行某種過程而改進它的性能, 這就是學習。Minsky認為: 學習 ...
人工智能技術導論——基於產生式規則的機器推理
，不僅包括科學技術知識----知識中最重要的部分，還包括人文社會科學的知識、商業活動、日常生活和工作中 ...
GAITC 2019全球人工智能技術大會（南京）
2019年5月25日至26日，由中國人工智能學會主辦，以“交叉、融合、相生、共贏”為主題的2019GAITC將在南京全新亮相。 2019 全球人工智能技術大會（2019 GAITC）以“前端引領、深度透視、加速融合”為使命，立足當下，放眼未來，致力於搭建一個全球共通、共建、共享的中國平台。歷經 ...