《基于格值逻辑的语义归结自动推理》的内容分为6章。第1、2章介绍了基于格值逻辑的归结自动推理研究概况和格值逻辑系统的初步知识;第3章介绍了格值逻辑系统中广义文字的归结性;第4章介绍了格值逻辑系统的语义归结自动推理;第5章介绍了格值逻辑系统的广义语义归结自动推理;第6章介绍了格值逻辑系统中归结方法的相容性。
《基于格值逻辑的语义归结自动推理》适合于计算机科学和人工智能的有关从业人员阅读,也可供高等院校计算机软件与理论等专业的高年级本科生和研究生参考。
基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向,能够对含有不可比较性信息进行有效的刻画。另外,由于人们对事物进行推理、判断与决策时经常使用语言值进行描述,因而基于语言值的智能信息处理理论与方法也是目前较为活跃的一个研究领域。本书对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入的研究。
本书的内容分为6章。第1、2章介绍了基于格值逻辑的归结自动推理研究概况和格值逻辑系统的初步知识;第3章介绍了格值逻辑系统中广义文字的归结性;第4章介绍了格值逻辑系统的语义归结自动推理;第5章介绍了格值逻辑系统的广义语义归结自动推理;第6章介绍了格值逻辑系统中归结方法的相容性。
本书适合于计算机科学和人工智能的有关从业人员阅读,也可供高等院校计算机软件与理论等专业的高年级本科生和研究生参考。
作者近几年的研究工作先后得到贵州科学技术计划项目(黔科合J字LKB[2012]02号、黔科合基础【2017]1084)、贵州省教育厅青年科技人才成长项目(黔科合KY字[2016]164)、贵州民族大学引进人才项目(15XRY006)的资助。本书得到了贵州民族大学学术著作出版基金的支持,在此表示感谢。
作者在西南交通大学攻读研究生期间先后得到秦克云教授和徐杨教授的指导,学习了非经典逻辑和自动推理的有关知识,在此向他们表示衷心的感谢。
由于作者水平有限,错误在所难免,敬请读者批评指正。
张家锋
2017年4月
张家锋,男,1981年生于安徽濉溪。研究方向为自动推理。2000年-2004年在淮北煤炭师范学院读本科,2004年-2007年在西南交通大学应用数学专业攻读硕士学位,2007年取得硕士学位,2008年-2014年在西南交通大学计算机科学与技术专业攻读博士学位,2014年取得博士学位。现为贵州民族大学副教授。
目录‖CONTENTS第1章 绪论11.1 形成本书的学术背景11.2 国内外研究现状31.3 本书的主要内容15第2章 预备知识172.1 格蕴涵代数和格值命题逻辑系统简介172.2 格值一阶逻辑系统LF(X)中的公式及其解释202.3 语言真值格蕴涵代数简介22第3章 格值逻辑系统中广义文字的-归结性243.1 格值命题逻辑系统中的-归结与-归结演绎253.2 格值命题逻辑系统(?n?2)P(X)中0-IESF的-归结性273.3 格值命题逻辑系统(?n?2)P(X)中1-IESF的-归结性373.4 格值命题逻辑系统(?n?2)P(X)中2-IESF的-归结性42第4章 格值逻辑系统的?-语义归结自动推理474.1 基于命题变元和形如x ? b广义文字的-语义归结方法484.2 基于命题变元和形如x ? (x ? b)广义文字的-语义归结544.3 LP(X)中基于形如C* ? x的广义子句的-语义归结方法664.4 LP(X)中基于一类广义子句集的-语义归结方法694.5 语言真值格值命题逻辑?V(n2)P(X)中的-语义归结734.6 格值一阶逻辑系统LF(X)中的-语义归结方法834.7 语言真值格值一阶逻辑?V(n2)F(X)中的-语义归结89第5章 格值逻辑系统的-广义语义归结自动推理975.1 格值命题逻辑系统LP(X)的-广义归结985.2 格值命题逻辑系统LP(X)的-广义语义归结方法995.3 语言真值格值命题逻辑?V(n2)P(X)的-广义语义归结1045.4 格值一阶逻辑系统LF(X)中的-广义语义归结方法1135.5 语言真值格值一阶逻辑?V(n2)F(X)的-广义语义归结118第6章 格值逻辑系统中归结方法的相容性1276.1 格值一阶逻辑LF(X)中-语义归结方法与删除策略的相容性1276.2 格值一阶逻辑中-广义语义归结方法与广义删除策略的相容性1346.3 LF(X)中-广义归结和支撑集归结的相容性138参考文献147附 录162