|
题名:
|
基于格值逻辑的语义归结自动推理 / 张家锋著 , |
|
ISBN:
|
978-7-5643-5735-1 价格： CNY40.00 |
|
语种:
|
chi |
|
载体形态:
|
175页 23cm |
|
出版发行:
|
出版地： 成都 出版社： 西南交通大学出版社 出版日期： 2017.8 |
|
内容提要:
|
基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向，能够对含有不可比较性信息进行有效地刻画； 而基于语言值的智能信息处理理论与方法，也是目前较为活跃的一个研究领域。本书在已有的基于经典逻辑的归结自动推理以及基于格值逻辑的归结自动推理的基础上，对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入地研究。具体探讨了格值逻辑系统中广义文字的归结性、格值逻辑系统的语义归结自动推理、格值逻辑系统的广义语义归结自动推理、格值逻辑系统中归结方法的相容性。 |
|
主题词:
|
人工智能 研究 |
|
中图分类法:
|
TP18 版次： 5 |
|
主要责任者:
|
张家锋 著 |
|
索书号:
|
5 |