登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入 新註冊 |　新用戶登記

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 法兰西的兴衰：从立国到当今 》 售價：NT$ 493.0 《 民间传说与现代人的深层心理 》 售價：NT$ 252.0 《 枝春在野 》 售價：NT$ 240.0 《 中国大港 》 售價：NT$ 1053.0 《 人类进化中的宗教：从旧石器时代到轴心时代 著名社会人类学家贝拉教授著作 》 售價：NT$ 1109.0 《 熊镇三部曲（全3册） 》 售價：NT$ 1182.0 《 夜航船（足本精校，4000+古代文化常识，尘封300多年的小百科，掌故查阅案头书，中国古人眼中的大千世界） 》 售價：NT$ 381.0 《 无辜者的谎言 》 售價：NT$ 279.0

建議一齊購買： + NT$ 1389 《 致敬科学力量（全12册） 》 + NT$ 325 《 防火材料及其应用（第二版） 》 + NT$ 325 《 暖通空调工程常见问题解析 》 + NT$ 437 《 轴向磁场无刷同步电机理论与设计 》 + NT$ 554 《 MEMS压力传感器理论与技术 》 + NT$ 325 《 锂电池制造工艺及装备 》 內容簡介： 本书主要介绍一阶子句集的消解原理和命题公式集的稳定模型、一般缺省理论（包括它的几个重要变种）的扩张计算特征与算法和复杂性、容易计算的特殊缺省理论类和缺省逻辑的语义、回答集程序及其拓广（嵌套查询）的基本概念与重要性质，以及架起回答集程序与经典逻辑之间关系桥梁的环公式和程序完备理论。本书基于缺省理论扩张的计算特征，统一处理和论证缺省逻辑与回答集程序的基本概念和主要结果，以便读者能够系统和完整地阅读。 本书可作为计算机科学和人工智能专业的研究生和教师及研究人员的参考书，亦可供相关专业的工作者参考阅读。 目錄： 第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.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.