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

删除本页内容

丛书:贵州民族大学学术文库

作者:张家锋著

ISBN:1978-7-5643-5735-12

关键词:人工智能-研究

页数:175

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

出版日期:2017.11

本书2024年9月30日可阅读或下载


《基于格值逻辑的语义归结自动推理》的内容分为6章。第1、2章介绍了基于格值逻辑的归结自动推理研究概况和格值逻辑系统的初步知识;第3章介绍了格值逻辑系统中广义文字的归结性;第4章介绍了格值逻辑系统的语义归结自动推理;第5章介绍了格值逻辑系统的广义语义归结自动推理;第6章介绍了格值逻辑系统中归结方法的相容性。《基于格值逻辑的语义归结自动推理》适合于计算机科学和人工智能的有关从业人员阅读,也可供高等院校计算机软件与理论等专业的高年级本科生和研究生参考。

人工智能-研究

留言内容
发布留言


用户须知:

1.如果要找《基于格值逻辑的语义归结自动推理》,可以尝试去图书馆。

2.本页面文字和图片内容来自于http://m.5read.com/。

3.封皮图片地址:https://cover.duxiu.com/coverNew/CoverNew.dll?iid=696c676b6968676a6b6c5ea6a797af99ac9daaa599aaa33732363535323338

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

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