《合一理論及其在知識推理描述語言實現中的套用》是依託南京大學，由許滿武擔任項目負責人的面上項目。
《合一理論及其在知識推理描述語言實現中的套用》是依託南京大學，由許滿武擔任項目負責人的面上項目。項目摘要本項目旨在系統地研究合一理論及其在知識推理描述語言設計與實現中的套用。內容有三；針對基於Herbrand論域的語法合...
《自然語言處理綜論（第二版）》是2018年3月電子工業出版社出版的圖書，作者是馮志偉、孫樂。內容簡介 從本書第一版出版以來，一直好評如潮，被國外許多大學選作自然語言處理或計算語言學的教材，被認為該領域教材的“黃金標準”。本書第一版綜合了自然語言處理、計算語言學和語音識別的內容，全面論述計算機自然語言...
由於其算法容易實現、易於被人理解，因此被廣泛套用於機器翻譯中。第8章主要介紹了用於自然語言處理的一些語義理論以及如何運用這些理論。第9章主要介紹了語料庫及其標註、n元模型、HMM模型及HMM在語音識別和組塊識別中的套用、隨機上下文無關語法及在句法語義消歧中的套用、基於長度的句子對齊、支持向量機及用於入聲識別...
本書適用於從事計算機科學、控制科學、智慧型科學及相關領域的科學研究人員和工程套用人員使用，也可供高等院校計算機、自動化、智慧型科學技術等相關專業師生參考。圖書目錄 目 錄 第1章 緒論 1 1.1 大系統控制論 2 1.1.1 廣義知識表達方法 2 1.1.2 大系統協調控制理論 3 1.2 開放式機器人系統...
該教材闡述了人工智慧的基本原理、實現技術及其套用，反映了職工人工智慧研究領域的最新（截至2019年9月）進展和發展方向。該教材力求保持新穎性和實用性，強調基本概念和基本觀點，注重理論和實際相結合，配備有輔助教學的演示實例及推理系統。作者簡介 朱福喜，男，1957年出生，博士，武漢大學計算機學院教授，博士生導師。
《現代計算機科學技術精品教材：人工智慧基礎教程（附光碟）》系統地闡述了人工智慧的基本原理、實現技術及其套用，全面地反映了國內外人工智慧研究領域的最新進展和發展方向。全書共13章，前8章系統地闡述了傳統的人工智慧原理和方法，內容包括狀態空間和搜尋技術、各種知識表示和處理技術、幾種典型的推理技術、專家系統...
1.6.2 Herhrand理論 1.7 Robinson消解原理 1.7.1 命題邏輯中的消解原理 1.7.2 代換與合一算法 1.7.3 合一算法在謂詞邏輯消解原理中的套用 1.7.4 刪除策略 1.7.5 消解方法 1.8 Horn子句問題求解邏輯 第2章 集合 2.1 集合的基本概念和表示方法 2.1.1 元素與集合之間的“屬於”關係 2.1.2 “...
《人工智慧複雜問題求解的結構和策略（原書第6版）》是2017年12月機械工業出版社出版的圖書，作者是（美）GeorgeF.Luger。內容簡介 本書是一本經典的人工智慧教材，全面闡述了人工智慧的基礎理論，有效結合了求解智慧型問題的數據結構以及實現的算法，把人工智慧的套用程式套用於實際環境中，並從社會和哲學、心理學以及...
《人工智慧基礎教程》是2011年6月清華大學出版社出版的圖書，作者是朱福喜。該書系統地闡述了人工智慧的基本原理、實現技術及其套用，全面地反映了國內外人工智慧研究領域的最新進展和發展方向。內容簡介 《人工智慧基礎教程(第2版)》共18章，分為4個部分，第1部分是搜尋與問題求解，用8章的篇幅系統地敘述了人工智慧...
①簡述人工智慧的起源與發展，人工智慧的定義、人工智慧與計算機的關係以及人工智慧的研究和套用領域；②論述知識表示、推理和不確定推理的主要方法，包括謂詞邏輯、產生式系統、語義網路、框架、腳本、面向對象、歸結推理、非單調推理、主觀Bayes方法、確定性理論、證據理論、模糊邏輯和模糊推理等；③討論常用搜尋原理，如...
《物聯網智慧型技術》是2012年4月中國鐵道出版社出版的圖書，作者是張文宇、李棟。內容簡介 《高等學校物聯網專業系列教材:物聯網智慧型技術》主要介紹了物聯網智慧型技術的理論及其相關算法，從知識管理、知識表達、知識推理、智慧型計算、機器學習等方面，對物聯網智慧型技術進行了詳細介紹，以期為讀者提供一個更為系統、綜合...
第1章敘述人工智慧的定義、起源與發展，歸納了人工智慧的研究目標研究內容和研究方法，簡介人工智慧不同學派的認知觀和人工智慧對人類的影響，列舉出人工智慧的研究與套用領域。第2章主要研究人工智慧的知識表示方法，如狀態空間法、問題歸約法、謂詞邏輯法、語義網路法、產生式表示法、面向對象表示以及框架、劇本和過程...
這不僅因為行為主義政治學和後行為主義政治學同樣未能提供解救社會的良方，更重要的是人們對民主、平等、自由的實際要求及理論要求更為強烈和迫切。人們越來越認識到科學的政治學體系離不開一整套概念、範疇，離不開價值與事實的科學分析和評價，人類政治生活的日漸複雜，需要套用的專業技能，更需要說明的理論和知識，...
“天人合一”是類象思維的另一種思維體現，是一種“形而上”的思維，這也是《易經》中最重要的經典理論之一。這裡所說的“形而上”，並不是人們常說的“形上學”的概念。“形上學”是指“片面、孤立、靜止的認識事物，以至走到了極端或者僵化”。“形而上”則是指《易傳》的《繫辭》中說的：“形而上...
每個這樣的Agent 實現一個把感知序列映射到行動的函式，我們討論了表達這些函式的不同方法，如反應式Agent、實時規劃器和決策理論系統等。我們把學習的角色解釋為把設計者的視角擴展到未知環境中，並且指出了這個角色如何約束Agent 設計，有利於顯式的知識表示和推理。我們沒有把機器人學和視覺當作獨立問題對待，而是出現...
總之，中醫氣功學是一門理論性與實踐性均很強的套用學科，也是一門與多學科密切相關的邊緣學科和尚在建設中的新興學科。學習這門學科要求既掌握中醫、氣功及相關學科的理論知識，又需要掌握氣功的操作技能。故一方面應博覽群書，勤于思考，掌握這門學科的基本理論，另一方面要刻苦練功，增強對氣功的感性認識，體驗氣功...
阿拉伯人還將古代東西方“鍊金術”與化學實驗相結合，提出了金屬可通過某種媒介物質實現相互轉化和四元素相剋的理論，對金屬的煅燒和還原以及提煉中的純化、熔化和結晶過程作了科學的解釋，將已知的物質分為植物、動物、礦物和衍生物4大類，確立了套用化學的基本概念，製造了大量化學品，總結了化學的工藝方法，製造了...
4-3-3 知識不確定性的表示……… 95 4-3-4 證據不確定性的表示……… 96 4-3-5 不確定性的推理計算……… 97 4-3-6 結論不確定性的合成與 更新算法……… 102 4-3-7 主觀Bayes方法套用舉例…… 103 4-4 證據理論……… 108 4-4-1 證據理論的形式化描述…… 108 4-4-2 證據理論的...
因此，應當把證據制度建設作為司法改革的首要任務，用精緻的證據規則來規範法官的司法行為，這樣才能實現公正司法，樹立司法的公信力。項目情況 1、國家自然科學基金面上項目《基於管理決策和法庭決策的證據評價模型及其套用研究》（2013）2、教育部哲學社會科學發展報告項目《中國證據法治發展報告》（2011）3、國家自然科學...
畢達哥拉斯還是音樂理論的始祖。伊奧尼亞學派和畢達哥拉斯學派有顯著的不同。前者研習數學並不單純為了哲學的興趣，同時也為了實用。而後者卻不注重實際套用，將數學和宗教聯繫起來，想通過數學去探索永恆的真理。智人學派公元前5世紀，雅典成為人文薈萃的中心，人們崇尚公開的精神。在公開的討論或辯論中，必須具有雄辯、...
這些方法適應了實證主義的研究，在計算機廣泛套用於政治學研究中，技術層面的方法因其自身的重大作用越來越受到學者的關注。根據陳振明先生主編的《政治學———概念、理論和方法》一書，技術層面的方法主要有：課題選擇與研究設計、資料的蒐集與整理、定量分析與定性分析、理論闡釋。歷史發展 古典政治學 政治學的前身能...
正理論著重探討了認識的方法、邏輯推理等問題，《正理經》及其注釋者們列舉了16個範疇。在16個範疇中，有些是屬於辯論技術的；有些是屬於認識論和認識方法的；有一些是認識的對象，在認識的對象中還包括一些本體概念和宗教解脫思想。正理論把推論的形式分為五支：命題（宗）、理由（因）、例證（喻）、套用（合）...
在任何一個非空的個體域上都是永真的。這將是非常困難的，甚至是不可實現的。為此人們進行了大量的探索，後來發現可以採用反證法的思想，把關於永真性的證明轉化為關於不可滿足性的證明。即要證明 永真，只要能夠證明 是不可滿足的就可以了。在這一方面最有成效的工作就是海伯倫理論和魯濱遜歸結原理。魯濱遜歸結原理...
3.5.5.3 STEP數據系統的實現技術 3.5.5.4 STEP數據系統的實現 3.5.6 一致性測試方法與工具 3.5.6.1 一致性含義 3.5.6.2 一致性測試 3.5.6.3 一致性評估過程 3.5.7 STEP的套用 3.5.7.1 實施STEP的策略 3.5.7.2 套用舉例 3.5.8 STEP與IGES的差異 第4章 幾何造型 4.1 概述 4.2 ...
1.8在高新科技條件下，編輯工作手段日趨現代化，電腦及信息網路與編輯工作各環節的關係越來越密切。因此，編輯人員要能熟練使用電腦，掌握電子知識，懂得使用各種軟體，並注意研究解決編輯工作套用高新科技中出現的新情況和新問題。信息 2.1信息是選題之源。選題不是來自閉門造車，而是來自對信息的廣泛收集、積累和提煉...
它重視理性，不是因為理性建立體系的能力，而是為了理性在具體人生經驗中所遇到的問題——道德的、心理的、社會的、政治的問題——上的批判性和實用性的套用。為了同樣的原因，人文主義偏向於歷史的解釋方法，而不是哲學分析的解釋方法，或者，至少，像馬克斯韋伯所說的那樣，是兩者的結合，把普遍的人生經驗同這些經驗...
1.8在高新科技條件下，編輯工作手段日趨現代化，電腦及信息網路與編輯工作各環節的關係越來越密切。因此，編輯人員要能熟練使用電腦，掌握電子知識，懂得使用各種軟體，並注意研究解決編輯工作套用高新科技中出現的新情況和新問題。信息 2.1信息是選題之源。選題不是來自閉門造車，而是來自對信息的廣泛收集、積累和提煉...
