關(guān)于我們
書單推薦
新書推薦

機(jī)器證明的邏輯推定

機(jī)器證明的邏輯推定

定  價(jià):128 元

        

  • 作者:李娜
  • 出版時(shí)間:2023/6/1
  • ISBN:9787030756244
  • 出 版 社:科學(xué)出版社
  • 中圖法分類:O141 
  • 頁(yè)碼:
  • 紙張:
  • 版次:
  • 開本:B5
9
7
7
8
5
7
6
0
2
3
4
0
4
邏輯定理的機(jī)器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書從邏輯定理的人工證明和機(jī)器證明兩方面來展現(xiàn)邏輯定理證明的藝術(shù),而機(jī)器證明又從定理的自動(dòng)證明和計(jì)算機(jī)輔助證明兩個(gè)方面來展現(xiàn)。本書首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次,用邏輯定理的機(jī)器證明工具TPG(Tree Proof Generator)實(shí)現(xiàn)邏輯定理的自動(dòng)證明(一種樹證明)。最后,用交互式定理機(jī)器證明工具Fitch實(shí)現(xiàn)了邏輯定理的計(jì)算機(jī)證明(一種自然推理證明)。

更多科學(xué)出版社服務(wù),請(qǐng)掃碼獲取。
 你還可能感興趣
 我要評(píng)論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容