基于格值邏輯的語義歸結(jié)自動(dòng)推理
定 價(jià)：40 元
- 作者：張家鋒 著
- 出版時(shí)間：2017/7/1
- ISBN：9787564357351
- 出 版 社：西南交通大學(xué)出版社
- 中圖法分類：TP18
- 頁碼：
- 紙張：膠版紙
- 版次：1
- 開本：16開
《基于格值邏輯的語義歸結(jié)自動(dòng)推理》的內(nèi)容分為6章。第1、2章介紹了基于格值邏輯的歸結(jié)自動(dòng)推理研究概況和格值邏輯系統(tǒng)的初步知識(shí)；第3章介紹了格值邏輯系統(tǒng)中廣義文字的歸結(jié)性；第4章介紹了格值邏輯系統(tǒng)的語義歸結(jié)自動(dòng)推理；第5章介紹了格值邏輯系統(tǒng)的廣義語義歸結(jié)自動(dòng)推理；第6章介紹了格值邏輯系統(tǒng)中歸結(jié)方法的相容性。
《基于格值邏輯的語義歸結(jié)自動(dòng)推理》適合于計(jì)算機(jī)科學(xué)和人工智能的有關(guān)從業(yè)人員閱讀，也可供高等院校計(jì)算機(jī)軟件與理論等專業(yè)的高年級(jí)本科生和研究生參考。
基于格值邏輯系統(tǒng)的智能信息處理是人工智能的一個(gè)重要研究方向，能夠?qū)胁豢杀容^性信息進(jìn)行有效的刻畫。另外，由于人們對事物進(jìn)行推理、判斷與決策時(shí)經(jīng)常使用語言值進(jìn)行描述，因而基于語言值的智能信息處理理論與方法也是目前較為活躍的一個(gè)研究領(lǐng)域。本書對基于格值邏輯的歸結(jié)自動(dòng)推理理論、方法、算法與程序進(jìn)行了系統(tǒng)深入的研究。
本書的內(nèi)容分為6章。第1、2章介紹了基于格值邏輯的歸結(jié)自動(dòng)推理研究概況和格值邏輯系統(tǒng)的初步知識(shí)；第3章介紹了格值邏輯系統(tǒng)中廣義文字的歸結(jié)性；第4章介紹了格值邏輯系統(tǒng)的語義歸結(jié)自動(dòng)推理；第5章介紹了格值邏輯系統(tǒng)的廣義語義歸結(jié)自動(dòng)推理；第6章介紹了格值邏輯系統(tǒng)中歸結(jié)方法的相容性。
本書適合于計(jì)算機(jī)科學(xué)和人工智能的有關(guān)從業(yè)人員閱讀，也可供高等院校計(jì)算機(jī)軟件與理論等專業(yè)的高年級(jí)本科生和研究生參考。
作者近幾年的研究工作先后得到貴州科學(xué)技術(shù)計(jì)劃項(xiàng)目（黔科合J字LKB[2012]02號(hào)、黔科合基礎(chǔ)【2017]1084）、貴州省教育廳青年科技人才成長項(xiàng)目（黔科合KY字[2016]164）、貴州民族大學(xué)引進(jìn)人才項(xiàng)目（15XRY006）的資助。本書得到了貴州民族大學(xué)學(xué)術(shù)著作出版基金的支持，在此表示感謝。
作者在西南交通大學(xué)攻讀研究生期間先后得到秦克云教授和徐楊教授的指導(dǎo)，學(xué)習(xí)了非經(jīng)典邏輯和自動(dòng)推理的有關(guān)知識(shí)，在此向他們表示衷心的感謝。
由于作者水平有限，錯(cuò)誤在所難免，敬請讀者批評指正。
張家鋒
2017年4月
張家鋒，男，1981年生于安徽濉溪。研究方向?yàn)樽詣?dòng)推理。2000年-2004年在淮北煤炭師范學(xué)院讀本科，2004年-2007年在西南交通大學(xué)應(yīng)用數(shù)學(xué)專業(yè)攻讀碩士學(xué)位，2007年取得碩士學(xué)位，2008年-2014年在西南交通大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)攻讀博士學(xué)位，2014年取得博士學(xué)位。現(xiàn)為貴州民族大學(xué)副教授。
目錄‖CONTENTS第1章 緒論11.1 形成本書的學(xué)術(shù)背景11.2 國內(nèi)外研究現(xiàn)狀31.3 本書的主要內(nèi)容15第2章 預(yù)備知識(shí)172.1 格蘊(yùn)涵代數(shù)和格值命題邏輯系統(tǒng)簡介172.2 格值一階邏輯系統(tǒng)LF(X)中的公式及其解釋202.3 語言真值格蘊(yùn)涵代數(shù)簡介22第3章 格值邏輯系統(tǒng)中廣義文字的-歸結(jié)性243.1 格值命題邏輯系統(tǒng)中的-歸結(jié)與-歸結(jié)演繹253.2 格值命題邏輯系統(tǒng)(?n?2)P(X)中0-IESF的-歸結(jié)性273.3 格值命題邏輯系統(tǒng)(?n?2)P(X)中1-IESF的-歸結(jié)性373.4 格值命題邏輯系統(tǒng)(?n?2)P(X)中2-IESF的-歸結(jié)性42第4章 格值邏輯系統(tǒng)的?-語義歸結(jié)自動(dòng)推理474.1 基于命題變元和形如x ? b廣義文字的-語義歸結(jié)方法484.2 基于命題變元和形如x ? (x ? b)廣義文字的-語義歸結(jié)544.3 LP(X)中基于形如C* ? x的廣義子句的-語義歸結(jié)方法664.4 LP(X)中基于一類廣義子句集的-語義歸結(jié)方法694.5 語言真值格值命題邏輯?V(n2)P(X)中的-語義歸結(jié)734.6 格值一階邏輯系統(tǒng)LF(X)中的-語義歸結(jié)方法834.7 語言真值格值一階邏輯?V(n2)F(X)中的-語義歸結(jié)89第5章 格值邏輯系統(tǒng)的-廣義語義歸結(jié)自動(dòng)推理975.1 格值命題邏輯系統(tǒng)LP(X)的-廣義歸結(jié)985.2 格值命題邏輯系統(tǒng)LP(X)的-廣義語義歸結(jié)方法995.3 語言真值格值命題邏輯?V(n2)P(X)的-廣義語義歸結(jié)1045.4 格值一階邏輯系統(tǒng)LF(X)中的-廣義語義歸結(jié)方法1135.5 語言真值格值一階邏輯?V(n2)F(X)的-廣義語義歸結(jié)118第6章 格值邏輯系統(tǒng)中歸結(jié)方法的相容性1276.1 格值一階邏輯LF(X)中-語義歸結(jié)方法與刪除策略的相容性1276.2 格值一階邏輯中-廣義語義歸結(jié)方法與廣義刪除策略的相容性1346.3 LF(X)中-廣義歸結(jié)和支撐集歸結(jié)的相容性138參考文獻(xiàn)147附 錄162
書單推薦
