缺省逻辑与回答集程序
①全新正版，现货速发，7天无理由退换货②天津、成都、无锡、广东等多仓就近发货，订单最迟48小时内发出③无法指定快递④可开电子发票，不清楚的请咨询客服。
￥ 113.61 6.3折 ￥ 180 全新
库存3件
浙江嘉兴
认证卖家担保交易快速发货售后保障
作者张明义//王以松|责编:宋芳//吴超莉
出版社科学
ISBN9787030766472
出版时间2023-10
装帧其他
开本其他
定价180元
货号31895835
上书时间2024-10-12
- 在售商品 暂无
- 平均发货时间 17小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 商品描述
-
目录
第1章 预备知识：集合与逻辑
1.1 集合、关系与函数
1.1.1 集合及其运算
1.1.2 关系
1.1.3 函数
1.1.4 基数、序数和（数学与超穷）归纳法
1.1.5 归纳定义
1.2 命题逻辑
1.2.1 命题语言
1.2.2 命题公式的语义
1.2.3 命题逻辑的形式推导
1.2.4 命题逻辑的重要性质
1.3 一阶逻辑及二阶逻辑
1.3.1 一阶逻辑语言
1.3.2 一阶逻辑的语义
1.3.3 一阶逻辑的形式推导
1.3.4 一阶逻辑的重要性质
1.3.5 二阶逻辑
1.4 可计算性与计算复杂性
1.4.1 可计算性
1.4.2 计算复杂性
第2章 消解原理和逻辑程序
2.1 子句集和消解原理
2.1.1 命题子句的消解原理
2.1.2 一阶子句集的消解原理
2.2 稳定模型
2.2.1 归约
2.2.2 稳定模型的基本概念
2.2.3 命题公式的强等价
2.2.4 Horn公式的稳定模型
2.3 逻辑程序
2.3.1 确定逻辑程序
2.3.2 部分赋值
2.3.3 推导否定信息
第3章 缺省逻辑
3.1 缺省理论的扩张
3.1.1 用缺省表示知识
3.1.2 缺省的基本概念
3.2 扩张的计算特征
3.3 特殊缺省理论
3.4 扩张与推理问题的算法及复杂性
3.5 缺省证明与自顶向下的缺省证明
3.6 缺省逻辑的语义
第4章 回答集程序
4.1 回答集程序的基本概念
4.2 正规回答集程序
4.3 正规程序的推理
4.3.1 特殊正规程序
4.3.2 回答集程序的分裂
4.3.3 正规程序的SLDNF演算
内容摘要
本书主要介绍一阶子句集的消解原理和命题公式集的稳定模型、一般缺省理论（包括它的几个重要变种）的扩张计算特征与算法和复杂性、容易计算的特殊缺省理论类和缺省逻辑的语义、回答集程序及其拓广（嵌套查询）的基本概念与重要性质，以及架起回答集程序与经典逻辑之间关系桥梁的环公式和程序完备理论。本书基于缺省理论扩张的计算特征，统一处理和论证缺省逻辑与回答集程序的基本概念和主要结果，以便读者能够系统和完整地阅读。
本书可作为计算机科学和人工智能专业的研究生和教师及研究人员的参考书，亦可供相关专业的工作者参考阅读。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价