幫助中心 | 我的帳號 | 關於我們

動態信息的信念修正邏輯研究

  • 作者:董英東|責編:宋亞卿
  • 出版社:山東大學
  • ISBN:9787560771953
  • 出版日期:2021/11/01
  • 裝幀:平裝
  • 頁數:335
人民幣:RMB 86 元      售價:
放入購物車
加入收藏夾

內容大鋼
    本書共16章,首先,研究了動態覺知邏輯,採用不同的行動修正了該邏輯框架的初始概念、覺知、隱性信息和顯性信息,並將其擴充為多主體的情況。其次,開展了對傳統的信念邏輯的研究。構建了經典的信念邏輯系統,並將其擴充為動態的信念修正邏輯系統。第三,信念變化邏輯的研究。構造了多主體的動態信念變化邏輯,引入了動態和時態語境來刻畫信念變化,研究了合併模型的語言和邏輯。第四,知識和信念的哲學問題探討。研究了不同的信念修正理論和辯護模型,以及會話語境的信念修正邏輯。討論了知識和信念的關係問題及其在博弈論中的應用等一系列的開放性問題。

作者介紹
董英東|責編:宋亞卿

目錄
第一章  概述
第二章  保真性推理和觀察的邏輯
  第一節  模態保真性推理
  第二節  隱性信息和顯性信息
  第三節  保真性推理
  第四節  觀察的邏輯
第三章  覺知邏輯
  第一節  覺知邏輯
  第二節  顯性信息
  第三節  覺知模型運算
  第四節  動態行為
  第五節  動態邏輯的完全性
  第六節  多主體的覺知邏輯
第四章  覺知、隱性知識和顯性知識
  第一節  覺知、隱性信息和顯性信息
  第二節  靜態信息模型
  第三節  動態信息模型
第五章  傳統的信念邏輯
  第一節  經典的信念邏輯
  第二節  信念邏輯系統
  第三節  動態信念修正邏輯系統
  第四節  信念修正邏輯系統的擴充
第六章  動態的信念變化邏輯
  第一節  理性主體和信念變化
  第二節  智能主體間的互動
  第三節  信念邏輯
  第四節  理性主體模型
  第五節  互動的認識論
  第六節  信念變化邏輯
  第七節  語言的表達力
第七章  刻畫信念變化的邏輯
  第一節  信念修正的AGM理論
  第二節  格魯夫球
  第三節  動態信念邏輯
  第四節  公開宣告邏輯
  第五節  弱動態認知邏輯
  第六節  條件信念邏輯
  第七節  證據邏輯
第八章  多主體的信念變化邏輯
  第一節  基礎理論
  第二節  信念變化的動態邏輯
  第三節  信念時態模型
  第四節  優先更新的框架性
  第五節  表示定理
  第六節  前序的擴充
  第七節  擴充和定理
第九章  總或然模型中的信念收縮
  第一節  信念收縮
  第二節  嚴格取消
  第三節  保守收縮

  第四節  適度收縮
第十章  辯護模型
  第一節  辯護模型
  第二節  辯護模型類
  第三節  動態的辯護模型
  第四節  語言和公理系統
  第五節  辯護信念
第十一章  動態信念邏輯
  第一節  動態信念邏輯修正
  第二節  動態信念邏輯和條件信念邏輯
  第三節  全動態信念邏輯的擴張和收縮
第十二章  會話語境的信念修正邏輯
  第一節  分支一時問信念修正邏輯
  第二節  會話邏輯
  第三節  博南諾的信念邏輯
  第四節  可靠性和完全性
第十三章  動態的隱性信念和顯性信念
  第一節  刻畫信念的方法
  第二節  非全能信念
  第三節  信念修正
  第四節  信念推理
第十四章  合併模型的語言和邏輯
  第一節  認知信念語言
  第二節  動態信念語言
  第三節  認知時態信念語言
  第四節  信念修正的公理系統
第十五章  知識和信念的哲學反思
  第一節  確證的真信念
  第二節  可廢止知識的博弈語義
第十六章  回顧與展望
  第一節  內容回顧
  第二節  工作展望
參考文獻

  • 商品搜索:
  • | 高級搜索
首頁新手上路客服中心關於我們聯絡我們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