《基于格值邏輯的語義歸結(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é)自動推理》適合于計算機科學(xué)和人工智能的有關(guān)從業(yè)人員閱讀，也可供高等院校計算機軟件與理論等專業(yè)的高年級本科生和研究生參考。
本書在已有的基于經(jīng)典邏輯的歸結(jié)自動推理以及基于格值邏輯的歸結(jié)自動推理的基礎(chǔ)上, 對基于格值邏輯的歸結(jié)自動推理理論、方法、算法與程序進行了系統(tǒng)深入地研究。具體探討了格值邏輯系統(tǒng)中廣義文字的歸結(jié)性、格值邏輯系統(tǒng)的語義歸結(jié)自動推理、格值邏輯系統(tǒng)的廣義語義歸結(jié)自動推理、格值邏輯系統(tǒng)中歸結(jié)方法的相容性。
|
