本書系統(tǒng)介紹人工智能邏輯, 共分三部分: 第一部分“知識(shí)表示與推理”重點(diǎn)介紹命題邏輯、謂詞邏輯和描述邏輯, 這些邏輯系統(tǒng)是知識(shí)表示與自動(dòng)推理的基礎(chǔ)。命題邏輯 (第2章) 用于表達(dá)和推理有關(guān)事實(shí)的信息。謂詞邏輯 (第3章) 則進(jìn)一步支持對(duì)象屬性、對(duì)象之間關(guān)系及量詞結(jié)構(gòu)的表達(dá)與推理。描述邏輯 (第4章) 則在知識(shí)圖譜等領(lǐng)域中得到廣泛應(yīng)用, 能夠刻畫復(fù)雜的概念結(jié)構(gòu)與關(guān)系網(wǎng)絡(luò), 是當(dāng)前較為成熟的知識(shí)表示形式。第二部分“智能體及其交互”聚焦于智能體本身及其與環(huán)境和其他主體的交互機(jī)制。介紹多種用于刻畫智能體的邏輯系統(tǒng), 包括處理不確定性的模態(tài)邏輯 (第5章), 表達(dá)認(rèn)知狀態(tài)的認(rèn)知邏輯、信念邏輯 (第6章) 與偏好邏輯 (第7章)。第8章引入動(dòng)態(tài)邏輯, 用于分析智能體如何在動(dòng)態(tài)環(huán)境中處理新信息、更新知識(shí)、修正信念與調(diào)整偏好, 從而實(shí)現(xiàn)合理的決策與規(guī)劃。此外, 本部分還將探討多智能體系統(tǒng)、社交網(wǎng)絡(luò)中的交互邏輯 (第9章), 以及博弈場(chǎng)景中的邏輯建模方法 (第10章)。第三部分“機(jī)器學(xué)習(xí)與推理”介紹幾類與當(dāng)代人工智能密切相關(guān)、仍處于發(fā)展中的邏輯系統(tǒng)。首先是基于概率的推理方法, 尤其是與因果推理相關(guān)的理論與模型 (第11-12章)。其次, 探討人工智能面臨的倫理挑戰(zhàn), 引入道義邏輯等行為規(guī)范相關(guān)的推理方法 (第13章)。最后, 分析大語(yǔ)言模型在邏輯推理方面的能力、面臨的挑戰(zhàn), 并展望其潛在的發(fā)展路徑 (第14章)。