幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

人工智慧邏輯教程(新一代人工智慧系列教材)

  • 作者：編者:陳儀香|責編:趙冠群
  • 出版社：高等教育
  • ISBN：9787040674675
  • 出版日期：2026/07/01
  • 裝幀：平裝
  • 頁數：376
人民幣：RMB 56 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    人工智慧邏輯是屬於人工智慧領域的深層基礎課程，為人工智慧固本強基的原創研究提供堅實的理論基礎，其特點是用數理邏輯的方法來研究任何形式化地表示和處理人類思維和推理法則。
    本書內容分為4部分。第一部分是基礎篇，包括有關數學的預備知識以及經典的命題邏輯、謂詞邏輯和模態邏輯。第二部分是知識與程序篇，包括信念與知識邏輯、預設邏輯、描述邏輯以及時態邏輯。第三部分是多值與模糊篇，包括模糊邏輯、多值邏輯以及格值邏輯。第四部分是應用篇，包括回答集編程以及法律人工智慧。
    本書可作為高等學校人工智慧專業、電腦科學與技術專業、應用數學專業的本科生和研究生相關課程的教材或參考書，也可供相關研究人員和專業技術人員參考。
作者介紹
編者:陳儀香|責編:趙冠群
    陳儀香，四川大學博士，華東師範大學軟體工程學院教授，軟硬體協同設計技術與應用教育部工程研究中心主任，中國電腦學會嵌入式系統專業委員會副主任委員，中國系統科學學會模糊系統與模糊數學專業委員會副主任委員。從事可信嵌入式軟體研究工作，承擔國家973、863項目、國家自然科學基金項目以及國防基礎重點研究基礎項目多項。榮獲教育部自然科學一等獎1項。出版國家自然科學基金研究成果學術著作1部。
目錄
第一部分  基礎篇
  第1章  預備知識
    1.1  集合論
    1.2  序論
    1.3  格論
    1.4  代數系統
    習題一
  第2章  命題邏輯
    2.1  命題邏輯系統的語法結構
    2.2  命題邏輯的語義解釋
    2.3  命題邏輯形式系統L
    2.4  命題邏輯系統L的可靠性與完備性
    習題二
  第3章  謂詞邏輯
    3.1  謂詞邏輯的語法結構
    3.2  謂詞邏輯的語義解釋
    3.3  謂詞邏輯系統的證明理論
    3.4  人工智慧編程語言
    3.5  大語言模型與邏輯推理
    習題三
  第4章  模態邏輯
    4.1  模態邏輯的語法
    4.2  模態邏輯的語義
    4.3  模態邏輯的證明系統
    4.4  模態邏輯系統的可靠性和完備性
    4.5  模態邏輯中的演繹推理
    習題四
第二部分  知識與程序篇
  第5章  信念與知識邏輯
    5.1  信念和知識的邏輯分析
    5.2  信念邏輯的語言、語義和公理化系統
    5.3  知識邏輯的語言、語義和公理化系統
    5.4  可靠性和完備性
    5.5  群體信念和群體知識
    5.6  帶有群體知識和群體信念的認知邏輯
    習題五
  第6章  預設邏輯
    6.1  信息不完備與預設
    6.2  經典預設邏輯
    6.3  預設邏輯的性質
    6.4  預設邏輯擴展的構造
    6.5  幾種特殊的預設邏輯
    習題六
  第7章  描述邏輯
    7.1  描述邏輯系統的語法
    7.2  描述邏輯系統的語義
    7.3  描述邏輯的推理機制
    7.4  描述邏輯推理複雜度
    習題七
  第8章  時態邏輯

    8.1  線性時態邏輯
    8.2  計算樹邏輯
    8.3  時態邏輯的應用
    習題八
第三部分  多值與模糊篇
  第9章  模糊邏輯
    9.1  模糊集
    9.2  模糊關係
    9.3  三角模與剩餘蘊涵
    9.4  基於三角模的模糊邏輯
    9.5  完備性
    9.6  模糊推理
    9.7  模糊邏輯的應用
    習題九
  第10章  多值邏輯
    10.1  多值邏輯產生的背景及意義
    10.2  多值邏輯函數結構理論概述
    10.3  多值邏輯代數系統
    10.4  多值邏輯函數結構的完備性理論
    習題十
  第11章  格值邏輯
    11.1  格蘊涵代數
    11.2  基於格蘊涵代數的格值命題邏輯
    11.3  基於格蘊涵代數的格值一階邏輯
    習題十一
第四部分  應用篇
  第12章  回答集編程
    12.1  邏輯程序
    12.2  回答集編程語言  GRINGO
    12.3  回答集編程實踐
    閱讀材料
    習題十二
  第13章  法律人工智慧
    13.1  經典邏輯視角下的自動法律推理
    13.2  道義邏輯
    13.3  形式論辯理論
    習題十三
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032