基于格值逻辑的语义归结自动推理豆瓣PDF电子书bt网盘迅雷下载电子书下载-霍普软件下载网

网站首页   软件下载   游戏下载   翻译软件   电子书下载   电影下载   电视剧下载   教程攻略   音乐专区

请输入您要查询的图书:

霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。

电子书 基于格值逻辑的语义归结自动推理
分类 电子书下载
作者 张家锋
出版社 成都西南交大出版社有限公司
下载 暂无下载
介绍
内容推荐
《基于格值逻辑的语义归结自动推理》的内容分为6章。靠前、2章介绍了基于格值逻辑的归结自动推理研究概况和格值逻辑系统的初步知识;第3章介绍了格值逻辑系统中广义文字的归结性;第4章介绍了格值逻辑系统的语义归结自动推理;第5章介绍了格值逻辑系统的广义语义归结自动推理;第6章介绍了格值逻辑系统中归结方法的相容性。
《基于格值逻辑的语义归结自动推理》适合于计算机科学和人工智能的有关从业人员阅读,也可供高等院校计算机软件与理论等专业的高年级本科生和研究生参考。
目录
章绪论
1.1形成本书的学术背景
1.2国内外研究现状
1.3本书的主要内容
第2章预备知识
2.1格蕴涵代数和格值命题逻辑系统简介
2.2格值一阶逻辑系统LF(X)中的公式及其解释
2.3语言真值格蕴涵代数简介
第3章格值逻辑系统中广义文字的α-归结性
3.1格值命题逻辑系统中的α-归结与α-归结演绎
3.2格值命题逻辑系统(Ln*L2)P(X)中0-IESF的α-归结性
3.3格值命题逻辑系统(Ln*L2)P(X)中1-IESF的α-归结性
3.4格值命题逻辑系统(Ln*L2)P(X)中2-IESF的α-归结性
第4章格值逻辑系统的α-语义归结自动推理
4.1基于命题变元和形如x-6广义文字的α-语义归结方法
4.2基于命题变元和形如x-(x-b)广义文字的α-语义归结
……
截图
随便看

免责声明
本网站所展示的内容均来源于互联网,本站自身不存储、不制作、不上传任何内容,仅对网络上已公开的信息进行整理与展示。
本站不对所转载内容的真实性、完整性和合法性负责,所有内容仅供学习与参考使用。
若您认为本站展示的内容可能存在侵权或违规情形,请您提供相关权属证明与联系方式,我们将在收到有效通知后第一时间予以删除或屏蔽。
本网站对因使用或依赖本站信息所造成的任何直接或间接损失概不承担责任。联系邮箱:101bt@pm.me