Simply Logical——通过实例进行智能推理（完全交互式在线版）
人工智能
2022-08-16 v1 计算机科学中的逻辑
摘要
Peter Flach 所著的《Simply Logical——通过实例进行智能推理》于 1994 年由 John Wiley 首次出版。当时可单独购书，或购买附带含书中印刷的 SWI-Prolog 程序（适用于多种操作系统）的 3.5 英寸软盘。2007 年版权回归作者，此后该书与程序免费在线提供；印刷版不再经 John Wiley 发行。2015 年，作为试点，我们将原书大部分内容移植到使用 SWI-Prolog 的 SWISH 平台构建的在线交互式网站。自那时起，我们启动了 Simply Logical 开源组织，致力于维护一套关于人工智能与 Prolog 逻辑编程的免费交互式在线教育资源。随着新教育技术的出现，我们受启发使用 Jupyter Book 平台从头重建该书，并增强了一系列定制插件，其中实现了可直接在网页浏览器中执行的交互式 SWI-Prolog 代码块等功能。这一新版本更模块化、更易维护，并可拆分为自定义教学模块，此外还具有现代外观、视觉吸引力，并兼容多种不同屏幕尺寸的（移动）设备。
引用
@article{arxiv.2208.06823,
title = {Simply Logical -- Intelligent Reasoning by Example (Fully Interactive Online Edition)},
author = {Peter Flach and Kacper Sokol},
journal= {arXiv preprint arXiv:2208.06823},
year = {2022}
}
备注
The online edition is available at https://book.simply-logical.space/