中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

175页:图;23cm

丛编项:

贵州民族大学学术文库

个人责任者:

张家锋 著

学科主题:

人工智能-研究

中图法分类号:

TP18

书目附注:

有书目 (第147-161页)

提要文摘附注:

本书的内容分为6章。第1、2章介绍了基于格值逻辑的归结自动推理研究概况和格值逻辑系统的初步知识; 第3章介绍了格值逻辑系统中广义文字的归结性; 第4章介绍了格值逻辑系统的语义归结自动推理; 第5章介绍了格值逻辑系统的广义语义归结自动推理; 第6章介绍了格值逻辑系统中归结方法的相容性。

使用对象附注:

本书适合于计算机科学和人工智能的有关从业人员阅读, 也可供高等院校计算机软件与理论等专业的高年级本科生和研究生参考

豆瓣简介：