《基于格值邏輯的語義歸結(jié)自動推理》的內(nèi)容分為6章。第1、2章介紹了基于格值邏輯的歸結(jié)自動推理研究概況和格值邏輯系統(tǒng)的初步知識；第3章介紹了格值邏輯系統(tǒng)中廣義文字的歸結(jié)性；第4章介紹了格值邏輯系統(tǒng)的語義歸結(jié)自動推理；第5章介紹了格值邏輯系統(tǒng)的廣義語義歸結(jié)自動推理；第6章介紹了格值邏輯系統(tǒng)中歸結(jié)方法的相容性。
《基于格值邏輯的語義歸結(jié)自動推理》適合于計算機科學和人工智能的有關從業(yè)人員閱讀，也可供高等院校計算機軟件與理論等專業(yè)的高年級本科生和研究生參考。
基于格值邏輯系統(tǒng)的智能信息處理是人工智能的一個重要研究方向，能夠?qū)胁豢杀容^性信息進行有效的刻畫。另外，由于人們對事物進行推理、判斷與決策時經(jīng)常使用語言值進行描述，因而基于語言值的智能信息處理理論與方法也是目前較為活躍的一個研究領域。本書對基于格值邏輯的歸結(jié)自動推理理論、方法、算法與程序進行了系統(tǒng)深入的研究。
本書的內(nèi)容分為6章。第1、2章介紹了基于格值邏輯的歸結(jié)自動推理研究概況和格值邏輯系統(tǒng)的初步知識；第3章介紹了格值邏輯系統(tǒng)中廣義文字的歸結(jié)性；第4章介紹了格值邏輯系統(tǒng)的語義歸結(jié)自動推理；第5章介紹了格值邏輯系統(tǒng)的廣義語義歸結(jié)自動推理；第6章介紹了格值邏輯系統(tǒng)中歸結(jié)方法的相容性。
本書適合于計算機科學和人工智能的有關從業(yè)人員閱讀，也可供高等院校計算機軟件與理論等專業(yè)的高年級本科生和研究生參考。
作者近幾年的研究工作先后得到貴州科學技術(shù)計劃項目（黔科合J字LKB[2012]02號、黔科合基礎【2017]1084）、貴州省教育廳青年科技人才成長項目（黔科合KY字[2016]164）、貴州民族大學引進人才項目（15XRY006）的資助。本書得到了貴州民族大學學術(shù)著作出版基金的支持，在此表示感謝。
作者在西南交通大學攻讀研究生期間先后得到秦克云教授和徐楊教授的指導，學習了非經(jīng)典邏輯和自動推理的有關知識，在此向他們表示衷心的感謝。
由于作者水平有限，錯誤在所難免，敬請讀者批評指正。
張家鋒
2017年4月
張家鋒，男，1981年生于安徽濉溪。研究方向為自動推理。2000年-2004年在淮北煤炭師范學院讀本科，2004年-2007年在西南交通大學應用數(shù)學專業(yè)攻讀碩士學位，2007年取得碩士學位，2008年-2014年在西南交通大學計算機科學與技術(shù)專業(yè)攻讀博士學位，2014年取得博士學位�，F(xiàn)為貴州民族大學副教授。
目錄‖CONTENTS第1章 緒論11.1 形成本書的學術(shù)背景11.2 國內(nèi)外研究現(xiàn)狀31.3 本書的主要內(nèi)容15第2章 預備知識172.1 格蘊涵代數(shù)和格值命題邏輯系統(tǒng)簡介172.2 格值一階邏輯系統(tǒng)LF(X)中的公式及其解釋202.3 語言真值格蘊涵代數(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é)自動推理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é)自動推理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參考文獻147附 錄162
書單推薦
