逻辑编程导论
全新正版 极速发货
￥ 59.6 7.5折 ￥ 79 全新
库存2件
浙江嘉兴
认证卖家担保交易快速发货售后保障
作者[美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri)|译者:徐坚 甘健侯 孟祥栋 刘付依萍 欧阳昭相
出版社机械工业
ISBN9787111691815
出版时间2021-10
装帧平装
开本其他
定价79元
货号31275846
上书时间2024-10-23
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
目录
译者序<br/>前言<br/>第一部分 逻辑编程的介绍<br/>第1章 概述3<br/>1.1 逻辑编程3<br/>1.2 逻辑程序作为可运行规范3<br/>1.3 逻辑编程的优点4<br/>1.4 逻辑编程的应用5<br/>1.5 基本逻辑编程6<br/>1.6 历史笔记7<br/>第2章 数据集9<br/>2.1 引言9<br/>2.2 概念化9<br/>2.3 数据集的定义10<br/>2.4 示例—女生联谊会12<br/>2.5 示例—亲属关系13<br/>2.6 示例—积木世界14<br/>2.7 示例—食物世界16<br/>2.8 重组16<br/>2.9 习题18<br/>第二部分 查询的更新<br/>第3章 查询23<br/>3.1 引言23<br/>3.2 查询语法24<br/>3.3 查询语义25<br/>3.4 安全性26<br/>3.5 预定义概念27<br/>3.6 示例—亲属关系28<br/>3.7 示例—地图着色29<br/>3.8 习题30<br/>第4章 更新33<br/>4.1 引言33<br/>4.2 更新语法33<br/>4.3 更新语义34<br/>4.4 同步更新35<br/>4.5 示例—亲属关系36<br/>4.6 示例—颜色37<br/>4.7 习题40<br/>第5章 查询评估43<br/>5.1 引言43<br/>5.2 评估真值查询43<br/>5.3 匹配44<br/>5.4 用变量评估查询47<br/>5.5 计算分析48<br/>5.6 习题49<br/>第6章 视图优化51<br/>6.1 引言51<br/>6.2 子目标排序51<br/>6.3 子目标移除53<br/>6.4 规则移除55<br/>6.5 示例—密码算术55<br/>6.6 习题57<br/>第三部分 视图的定义<br/>第7章 视图定义61<br/>7.1 引言61<br/>7.2 语法62<br/>7.3 语义63<br/>7.4 半正程序66<br/>7.5 分层程序68<br/>7.6 习题71<br/>第8章 视图评估73<br/>8.1 引言73<br/>8.2 基础目标和规则的自顶向下处理74<br/>8.3 合一75<br/>8.4 非基础查询和规则的自顶向下处理79<br/>8.5 习题81<br/>第9章 示例83<br/>9.1 引言83<br/>9.2 示例—亲属关系83<br/>9.3 示例—积木世界84<br/>9.4 示例—模运算86<br/>9.5 示例—有向图87<br/>9.6 习题88<br/>第10章 列表、集合、树91<br/>10.1 引言91<br/>10.2 示例—皮亚诺公理91<br/>10.3 列表93<br/>10.4 示例—排序列表94<br/>10.5 示例—集合95<br/>10.6 示例—树96<br/>10.7 习题96<br/>第11章 动态系统99<br/>11.1 引言99<br/>11.2 表示100<br/>11.3 仿真101<br/>11.4 计划103<br/>11.5 习题104<br/>第12章 元知识105<br/>12.1 引言105<br/>12.2 自然语言处理105<br/>12.3 布尔逻辑107<br/>12.4 习题108<br/>第四部分 操作的定义<br/>第13章 操作113<br/>13.1 引言113<br/>13.2 语法113<br/>13.3 语义115<br/>13.4 习题118<br/>第14章 动态逻辑程序121<br/>14.1 引言121<br/>14.2 响应式系统121<br/>14.3 封闭系统122<br/>14.4 混合主动124<br/>14.5 同时动作124<br/>14.6 习题126<br/>第15章 数据库管理127<br/>15.1 引言127<br/>15.2 约束更新127<br/>15.3 物化视图维护128<br/>15.4 通过视图更新129<br/>15.5 习题130<br/>第16章 交互式工作表131<br/>16.1 交互式工作表简介131<br/>16.2 示例132<br/>16.3 网页数据133<br/>16.4 手势134<br/>16.5 操作定义135<br/>16.6 视图定义136<br/>16.7 语义建模137<br/>第五部分 结论<br/>第17章 其他类型的逻辑程序设计143<br/>17.1 引言143<br/>17.2 逻辑生产系统143<br/>17.3 约束逻辑编程144<br/>17.4 析取逻辑编程145<br/>17.5 存在逻辑编程146<br/>17.6 回答集编程147<br/>17.7 归纳逻辑编程149<br/>附录A EpilogJS中的预定义概念151<br/>附录B Sierra161<br/>参考文献182
内容摘要
本书采用一种创新的模型论进行逻辑编程，从数据集的基本概念(即闭原子集)开始。沿着这一基本概念，我们引入视图(即虚拟关系)；我们将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作，如“添加”和“删除。
— 没有更多了 —
以下为对购买帮助不大的评价