人工智能實戰

阿納達·佩雷茲·卡斯塔諾（Arnaldo Perez Castano）是一位計算機科學家，居住在古巴哈瓦那。他是PrestaShop Recipes（Apress, 2017）和一系列編程書籍——JavaSeript Facil、HTML y CSS Facil以及Python Facil(Marcombo S.A.）的作者，並為MSDN Magazine、VisualStudio Magazine.com和Smashing Magazine等刊物撰寫AI相關的文章。他是Cuba Mania Tour(http://www.cubamaniatour.com）網站的聯合創始人之一。 他的專長包括Java、VB、Python、算法、優化、Matlab、C#、.NET Framework和人工智能。Arnaldo通過freelancer.com提供服務，並擔任期刊Journal of Mathematical Modelling and Algorithms in Operations Research（運籌學研究中的數學建模和算法）的審稿人。他愛好電影和音樂。許多同事稱他為“加勒比海科學家”。可以通過arnaldo.skywalker@gmail.com與他聯系。

第1章邏輯學與人工智能
1.1邏輯是什麼
l.2命題邏輯
l.3邏輯聯結詞
1.3.1否定
1.3.2合取
1.3.3析取
1.3.4蘊涵
1.3.5等值
l.4命題邏輯定律
1.5範式
1.6邏輯電路
1.7實際問題：使用繼承和C#運算符計算邏輯公式的值
1.8實際問題：將邏輯公式表達為二叉決策樹
1.9實際問題：將公式轉換為否定範式（NNF）
1.10實際問題：將公式轉換為合取範式（CNF）
1.11本章小結

第2章自動定理證明和一階邏輯
2.1自動定理證明
2.2實際問題：C#中的Clause類和Cnf類
2.3 DPLL算法
2.4實際問題：在命題邏輯中建模鴿巢原理
2.5實際問題：判斷一個命題邏輯公式是否可滿足
2.6一階邏輯
2.7實際問題：清潔機器人
2.8本章小結

第3章Agents
3.1 Agent是什麼
3.2 Agent的屬性
3.3 Agent環境的類型
3.4有狀態Agent
3.5實際問題：將清潔機器人作為Agent建模並對其添加狀態
3.6 Agent的架構
3.6.1反應式架構：包容架構
3.6.2慎思式架構：BDI架構
3.6.3混合架構
3.6.4旅行機
3.6.5 InteRRaP
3.7本章小結

第4章火星漫遊車
4.1火星漫遊車簡介
4.2火星車的架構
4.3火星車的程序代碼
4.4 Mars Rover視化應用程序
4.5本章小結

第5章多Agent系統
5.1多Agent系統是什麼
5.2多Agent組織
5.3通信
5.3.1言語行為理論