作 者:楊柳,劉陶唐 編著
定 價:39
出 版 社:冶金工業出版社
出版日期:2017年07月01日
頁 數:100
裝 幀:平裝
ISBN:9787502475253
●1 概率論基礎
●2 布爾表達式及其描述
●2.1 布爾函數
●2.1.1 布爾代數
●2.1.2 布爾表達式
●2.1.3 布爾函數
●2.1.4 布爾函數的範式
●2.2 命題公式
●2.2.1 命題與聯結詞
●2.2.2 合式公式
●2.2.3 命題公式的範式
●2.2.4 命題公式與布爾函數
●2.3 布爾表達式與其他描述形式
●2.3.1 真值表
●2.3.2 決策樹
●2.3.3 二叉決策圖
●3 經典規劃求解技術
●3.1 經典規劃概述
●3.2 經典規劃問題的求解方法
●3.2.1 狀態空間搜索
●部分目錄
智能規劃是人工智能的一個重要研究領域。本書主要介紹了與經典智能規劃和不確定性規劃相關的理論基礎,主要包括概率論基礎、布爾表達式及其描述、經典規劃求解技術、智能規劃語言、馬爾科夫決策過程、代數決策圖、及貝葉斯網絡等。旨在讓感興趣的研究者對這一研究領域的相關內容有一個完整的印像。
本書可供計算機專業學生和研究人員及工程技術人員閱讀參考。
楊柳,劉陶唐 編著
楊柳, 1969年生,計算機軟件與理論專業碩士,牡丹江師範學院計算機與信息技術學院教授,主要研究方向為智能規劃、信息檢索。先後主持黑龍江省教育廳科研項目2項、黑龍江省教育廳教改項目1項、牡丹江師範學院重點創新預研項目1項,年來發表核心論文5篇,EI靠前會議論文3篇,省級論文5篇。
智能規劃是用人工智能理論與技術自動或半自動地生成一組動作序列(或稱一個“計劃”),用以實現期望的目標。智能規劃是智能繫統理論與應用研究的重要分支。不確定性推理是人工智能研究的重要課題之一,從20世紀60~70年代以來,人們提出了多種方法,如概率方法、非單調邏輯、模糊邏輯等。在這些方法中,概率方法是最自然也是最早被嘗試的方法之一。因為概率論本身是關於隨機現像和不確定性的數學理論。不確定性通過對經典規劃問題假設的適當放寬形成了非經典問題,主要研究繫統初始狀態不確定和動作效果不確定對求解的影響。對動作執行效果的不確定性,決策理論的應用是一種自然的選擇。采用馬爾科夫決策過程是一種主要的表達和求解方法。貝葉斯網絡是為了處理人工智能研究中的不確定性(uncertainty)問題而發展起來的,貝葉斯網絡是將概率統計應用於復雜領域進行不確定性推理和數據分析的工具,是一種繫統地描述隨即變量之間關繫的工具。建等