科技 类型
可以朗读 语音朗读
185千字 字数
2023-11-01 发行日期
展开全部

主编推荐语

详解用于构建人工智能应用的核心程序的有效技术。

内容简介

本书主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件，并利用依赖系统跟踪、解释和控制回溯。

第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配，首先启用术语重写系统，然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统，并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。

目录

  • 版权信息
  • 译者序
  • 推荐序
  • 前言
  • 致谢
  • 第1章 自然和设计中的灵活性
  • 1.1 计算体系结构
  • 1.2 灵活的智能组件
  • 1.3 冗余和简并
  • 1.4 探索行为
  • 1.5 灵活性的成本
  • 第2章 领域专用语言
  • 2.1 组合器
  • 2.1.1 函数组合器
  • 2.1.2 组合器和形体构造
  • 2.2 正则表达式
  • 2.2.1 一种正则表达式组合语言
  • 2.2.2 翻译器的实现
  • 2.3 包装器
  • 2.3.1 定制化包装器
  • 2.3.2 实现定制器
  • 2.3.3 适配器
  • 2.4 抽象领域模型
  • 2.4.1 单一化实现
  • 2.4.2 领域模型分解
  • 2.5 小结
  • 第3章 算术主题
  • 3.1 组合算术
  • 3.1.1 一个简单的ODE积分器
  • 3.1.2 调整算术运算符
  • 3.1.3 组合运算
  • 3.1.4 算术函数
  • 3.1.5 组合器问题
  • 3.2 可扩展的通用程序
  • 3.2.1 通用运算
  • 3.2.2 构建取决于顺序
  • 3.2.3 实现通用程序
  • 3.3 示例：自动微分
  • 3.3.1 自动微分的工作原理
  • 3.3.2 n元函数的导数
  • 3.3.3 一些技术细节
  • 3.3.4 微分参数的文字函数
  • 3.4 高效的通用程序
  • 3.4.1 trie
  • 3.4.2 缓存
  • 3.5 高效的用户自定义类型
  • 3.5.1 谓词的类型
  • 3.5.2 谓词之间的关系
  • 3.5.3 谓词调度关键字
  • 3.5.4 示例：冒险游戏
  • 3.6 小结
  • 第4章 模式匹配
  • 4.1 模式
  • 4.2 项重写
  • 4.2.1 代数中的段变量
  • 4.2.2 规则系统的实现
  • 4.2.3 旁白：魔术宏
  • 4.2.4 有向模式调用
  • 4.3 匹配器设计
  • 4.3.1 编译模式
  • 4.3.2 匹配变量限制
  • 4.4 合一匹配
  • 4.4.1 合一的工作原理
  • 4.4.2 应用：类型推断
  • 4.4.3 类型推断的工作原理
  • 4.4.4 添加段变量——一个实验
  • 4.5 图上的模式匹配
  • 4.5.1 将列表表示为图
  • 4.5.2 实现图
  • 4.5.3 图上的匹配
  • 4.5.4 棋盘和可交换图形视图
  • 4.5.5 棋步
  • 4.5.6 实现图形匹配
  • 4.6 小结
  • 第5章 评估
  • 5.1 通用eval/apply解释器
  • 5.1.1 eval
  • 5.1.2 apply
  • 5.2 具有非严格参数的程序
  • 5.3 编译为可执行程序
  • 5.4 探索行为
  • 5.4.1 amb
  • 5.4.2 实现amb
  • 5.5 探索潜在连续
  • 5.5.1 作为非本地出口的连续
  • 5.5.2 控制权的非本地转移
  • 5.5.3 从连续到amb
  • 5.6 能力与责任
  • 第6章 分层
  • 6.1 使用分层
  • 6.2 分层的实现
  • 6.2.1 分层数据
  • 6.2.2 分层程序
  • 6.3 分层算法
  • 6.3.1 单位运算
  • 6.4 使用依赖项注释值
  • 6.4.1 支持层
  • 6.4.2 提供正当性
  • 6.5 分层的前景
  • 第7章 传播
  • 7.1 示例：到恒星的距离
  • 7.2 传播机制
  • 7.2.1 单元
  • 7.2.2 传播器
  • 7.3 多种不同的世界观
  • 7.4 合并值
  • 7.4.1 合并基值
  • 7.4.2 合并支持值
  • 7.4.3 合并值集
  • 7.5 搜索可能的世界
  • 7.5.1 依赖定向回溯
  • 7.5.2 解决组合问题
  • 7.6 传播导致简并
  • 后记
  • 附录A 支持软件
  • 附录B Scheme编程语言
  • B.1 Scheme基础
  • B.2 高级主题
  • 参考文献
展开全部

评分及书评

评分不足
1个评分

出版方

机械工业出版社

机械工业出版社是全国优秀出版社，自1952年成立以来，坚持为科技、为教育服务，以向行业、向学校提供优质、权威的精神产品为宗旨，以“服务社会和人民群众需求，传播社会主义先进文化”为己任，产业结构不断完善，已由传统的图书出版向着图书、期刊、电子出版物、音像制品、电子商务一体化延伸，现已发展为多领域、多学科的大型综合性出版社，涉及机械、电工电子、汽车、计算机、经济管理、建筑、ELT、科普以及教材、教辅等领域。