基于格值逻辑的语义归结自动推理

基于格值逻辑的语义归结自动推理

张家锋, 著

出版社:西南交通大学出版社

年代:2017

定价:49.0

书籍简介:

基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向,能够对含有不可比较性信息进行有效地刻画; 而基于语言值的智能信息处理理论与方法,也是目前较为活跃的一个研究领域。本书在已有的基于经典逻辑的归结自动推理以及基于格值逻辑的归结自动推理的基础上,对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入地研究。具体探讨了格值逻辑系统中广义文字的归结性、格值逻辑系统的语义归结自动推理、格值逻辑系统的广义语义归结自动推理、格值逻辑系统中归结方法的相容性。

书籍规格:

书籍详细信息
书名基于格值逻辑的语义归结自动推理站内查询相似图书
9787564357351
如需购买下载《基于格值逻辑的语义归结自动推理》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地成都出版单位西南交通大学出版社
版次1版印次1
定价(元)49.0语种简体中文
尺寸23 × 17装帧平装
页数印数

书籍信息归属:

基于格值逻辑的语义归结自动推理是西南交通大学出版社于2017.9出版的中图分类号为 TP18 的主题关于 人工智能-研究 的书籍。