基于格值邏輯的語(yǔ)義歸結(jié)自動(dòng)推理
定 價(jià)：40 元
- 作者：張家鋒 著
- 出版時(shí)間：2017/7/1
- ISBN：9787564357351
- 出 版 社：西南交通大學(xué)出版社
- 中圖法分類：TP18
- 頁(yè)碼：
- 紙張：膠版紙
- 版次：1
- 開(kāi)本：16開(kāi)
《基于格值邏輯的語(yǔ)義歸結(jié)自動(dòng)推理》的內(nèi)容分為6章。第1、2章介紹了基于格值邏輯的歸結(jié)自動(dòng)推理研究概況和格值邏輯系統(tǒng)的初步知識(shí)；第3章介紹了格值邏輯系統(tǒng)中廣義文字的歸結(jié)性；第4章介紹了格值邏輯系統(tǒng)的語(yǔ)義歸結(jié)自動(dòng)推理；第5章介紹了格值邏輯系統(tǒng)的廣義語(yǔ)義歸結(jié)自動(dòng)推理；第6章介紹了格值邏輯系統(tǒng)中歸結(jié)方法的相容性。
《基于格值邏輯的語(yǔ)義歸結(jié)自動(dòng)推理》適合于計(jì)算機(jī)科學(xué)和人工智能的有關(guān)從業(yè)人員閱讀，也可供高等院校計(jì)算機(jī)軟件與理論等專業(yè)的高年級(jí)本科生和研究生參考。
基于格值邏輯系統(tǒng)的智能信息處理是人工智能的一個(gè)重要研究方向，能夠?qū)胁豢杀容^性信息進(jìn)行有效的刻畫。另外，由于人們對(duì)事物進(jìn)行推理、判斷與決策時(shí)經(jīng)常使用語(yǔ)言值進(jìn)行描述，因而基于語(yǔ)言值的智能信息處理理論與方法也是目前較為活躍的一個(gè)研究領(lǐng)域。本書對(duì)基于格值邏輯的歸結(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)的語(yǔ)義歸結(jié)自動(dòng)推理；第5章介紹了格值邏輯系統(tǒng)的廣義語(yǔ)義歸結(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）、貴州省教育廳青年科技人才成長(zhǎng)項(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ò)誤在所難免，敬請(qǐng)讀者批評(píng)指正。
張家鋒
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é)位�，F(xiàn)為貴州民族大學(xué)副教授。
目錄‖CONTENTS第1章 緒論11.1 形成本書的學(xué)術(shù)背景11.2 國(guó)內(nèi)外研究現(xiàn)狀31.3 本書的主要內(nèi)容15第2章 預(yù)備知識(shí)172.1 格蘊(yùn)涵代數(shù)和格值命題邏輯系統(tǒng)簡(jiǎn)介172.2 格值一階邏輯系統(tǒng)LF(X)中的公式及其解釋202.3 語(yǔ)言真值格蘊(yùn)涵代數(shù)簡(jiǎn)介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)的?-語(yǔ)義歸結(jié)自動(dòng)推理474.1 基于命題變?cè)托稳鐇 ? b廣義文字的-語(yǔ)義歸結(jié)方法484.2 基于命題變?cè)托稳鐇 ? (x ? b)廣義文字的-語(yǔ)義歸結(jié)544.3 LP(X)中基于形如C* ? x的廣義子句的-語(yǔ)義歸結(jié)方法664.4 LP(X)中基于一類廣義子句集的-語(yǔ)義歸結(jié)方法694.5 語(yǔ)言真值格值命題邏輯?V(n2)P(X)中的-語(yǔ)義歸結(jié)734.6 格值一階邏輯系統(tǒng)LF(X)中的-語(yǔ)義歸結(jié)方法834.7 語(yǔ)言真值格值一階邏輯?V(n2)F(X)中的-語(yǔ)義歸結(jié)89第5章 格值邏輯系統(tǒng)的-廣義語(yǔ)義歸結(jié)自動(dòng)推理975.1 格值命題邏輯系統(tǒng)LP(X)的-廣義歸結(jié)985.2 格值命題邏輯系統(tǒng)LP(X)的-廣義語(yǔ)義歸結(jié)方法995.3 語(yǔ)言真值格值命題邏輯?V(n2)P(X)的-廣義語(yǔ)義歸結(jié)1045.4 格值一階邏輯系統(tǒng)LF(X)中的-廣義語(yǔ)義歸結(jié)方法1135.5 語(yǔ)言真值格值一階邏輯?V(n2)F(X)的-廣義語(yǔ)義歸結(jié)118第6章 格值邏輯系統(tǒng)中歸結(jié)方法的相容性1276.1 格值一階邏輯LF(X)中-語(yǔ)義歸結(jié)方法與刪除策略的相容性1276.2 格值一階邏輯中-廣義語(yǔ)義歸結(jié)方法與廣義刪除策略的相容性1346.3 LF(X)中-廣義歸結(jié)和支撐集歸結(jié)的相容性138參考文獻(xiàn)147附 錄162
書單推薦
