《基于格值逻辑的语义归结自动推理》的内容分为6章。第1、2章介绍了基于格值逻辑的归结自动推理研究概况和格值逻辑系统的初步知识；第3章介绍了格值逻辑系统中广义文字的归结性；第4章介绍了格值逻辑系统的语义归结自动推理；第5章介绍了格值逻辑系统的广义语义归结自动推理；第6章介绍了格值逻辑系统中归结方法的相容性。
《基于格值逻辑的语义归结自动推理》适合于计算机科学和人工智能的有关从业人员阅读，也可供高等院校计算机软件与理论等专业的高年级本科生和研究生参考。
本书在已有的基于经典逻辑的归结自动推理以及基于格值逻辑的归结自动推理的基础上, 对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入地研究。具体探讨了格值逻辑系统中广义文字的归结性、格值逻辑系统的语义归结自动推理、格值逻辑系统的广义语义归结自动推理、格值逻辑系统中归结方法的相容性。
|
