书目详细信息
： 基于格值逻辑的语义归结自动推理
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5643-5735-1:CNY40.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 510000 |
| 题名责任者项： | 基于格值逻辑的语义归结自动推理/.张家锋著 |
| 出版发行项： | 成都:,西南交通大学出版社:,2017.08 |
| 载体形态项： | 175页:;+图:;+23cm |
| 丛编项： | 贵州民族大学学术文库 |
| 提要文摘： | 本书的内容分为6章。第1、2章介绍了基于格值逻辑的归结自动推理研究概况和格值逻辑系统的初步知识; 第3章介绍了格值逻辑系统中广义文字的归结性; 第4章介绍了格值逻辑系统的语义归结自动推理; 第5章介绍了格值逻辑系统的广义语义归结自动推理; 第6章介绍了格值逻辑系统中归结方法的相容性。 |
| 题名主题： | 人工智能 研究 |
| 中图分类： | TP18 |
| 个人名称等同： | 张家锋 著 |
| 记录来源： | CN 湖北三新 20181207 |