安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

基于格值逻辑的语义归结自动推理/张家锋著

出版发行项:

成都:西南交通大学出版社,2017.08

ISBN及定价:

978-7-5643-5735-1/CNY40.00

载体形态项:

175页:图;23cm

丛编项:

贵州民族大学学术文库

个人责任者:

张家锋 著

学科主题:

人工智能-研究

中图法分类号:

TP18

书目附注:

有书目 (第147-164页)

提要文摘附注:

本书在已有的基于经典逻辑的归结自动推理以及基于格值逻辑的归结自动推理的基础上, 对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入地研究。具体探讨了格值逻辑系统中广义文字的归结性、格值逻辑系统的语义归结自动推理、格值逻辑系统的广义语义归结自动推理、格值逻辑系统中归结方法的相容性。

豆瓣简介：