《缺省逻辑与回答集程序》 - 张明义，王以松著 - 科学出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

『簡體書』缺省逻辑与回答集程序

書城自編碼： 3934339
分類：簡體書→大陸圖書→工業技術→一般工业技术
作者：张明义，王以松著
國際書號(ISBN)： 9787030766472
出版社：科学出版社
出版日期： 2023-10-01

頁數/字數： /
書度/開本： 16开釘裝：平装

售價：HK$ 207.0

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《校园有戏——中小学戏剧教育实践指南》
售價：HK$ 85.8

《资本的扩张》
售價：HK$ 79.2

《中国古代姓氏与避讳起源（学术文库）》
售價：HK$ 107.8

《以色列史：应许之地的现代叙事 | 看世界 | 区域国别史》
售價：HK$ 94.6

《堂吉诃德（插图珍藏版）（全2册）》
售價：HK$ 437.8

《项目管理一本通（故事版）》
售價：HK$ 74.8

《甲骨文丛书·法兰西美食一千年》
售價：HK$ 75.9

《国际工程黄皮书：国际工程发展报告（2024）》
售價：HK$ 217.8

建議一齊購買：

HK$ 285.2
《致敬科学力量（全12册）》

HK$ 66.7
《防火材料及其应用（第二版）》

HK$ 66.7
《暖通空调工程常见问题解析》

HK$ 89.7
《轴向磁场无刷同步电机理论与设计》

HK$ 113.9
《MEMS压力传感器理论与技术》

HK$ 66.7
《锂电池制造工艺及装备》

內容簡介：

本书主要介绍一阶子句集的消解原理和命题公式集的稳定模型、一般缺省理论（包括它的几个重要变种）的扩张计算特征与算法和复杂性、容易计算的特殊缺省理论类和缺省逻辑的语义、回答集程序及其拓广（嵌套查询）的基本概念与重要性质，以及架起回答集程序与经典逻辑之间关系桥梁的环公式和程序完备理论。本书基于缺省理论扩张的计算特征，统一处理和论证缺省逻辑与回答集程序的基本概念和主要结果，以便读者能够系统和完整地阅读。
本书可作为计算机科学和人工智能专业的研究生和教师及研究人员的参考书，亦可供相关专业的工作者参考阅读。

第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演算
第5章环公式和嵌套回答集程序
5.1 环公式
5.2 嵌套回答集程序
5.2.1 嵌套回答集程序的语法和语义
5.2.2 嵌套回答集程序的计算特征
5.2.3 嵌套程序的紧凑性
5.2.4 嵌套公式的完备和环公式
5.3 包含变元的正规逻辑程序一阶环公式
第6章回答集程序归纳学习和遗忘理论
6.1 基于状态变换的逻辑程序归纳学习
6.1.1 支承类语义
6.1.2 析取基消解和组合消解
6.1.3 归纳的学习任务与算法
6.2 回答集程序知识遗忘
6.2.1 命题逻辑的HT语义
6.2.2 回答集程序遗忘
6.2.3 知识遗忘公设
第7章缺省逻辑的变种
7.1 Lukaszewicz的修正扩张
7.2 断言缺省理论
7.2.1 累积缺省逻辑
7.2.2 CDL推理的局部性与累积性
7.2.3 CDL扩张的算法
7.2.4 CDL推理问题计算的复杂性
7.3 其他累积性缺省逻辑
7.3.1 约束缺省逻辑与J-缺省逻辑
7.3.2 满足预设的缺省逻辑
7.3.3 拟缺省逻辑
7.4 非单调推理关系
7.4.1 结构性质
7.4.2 逻辑联结词
参考文献

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.