论文标题

简单地逻辑 - 智能推理以身作用(完全互动的在线版)

Simply Logical -- Intelligent Reasoning by Example (Fully Interactive Online Edition)

论文作者

Flach, Peter, Sokol, Kacper

论文摘要

彼得·弗拉奇(Peter Flach)于1994年首次出版了彼得·弗拉奇(Peter Flach)的“简单逻辑 - 智能推理”。可以以仅书籍或3.5英寸的磁盘购买,其中包含书中印刷的SWI-Prolog程序(用于各种操作系统)。在2007年,版权恢复了作者,此时本书和节目在网上免费提供。印刷版不再通过John Wiley Publishers分发。在2015年,作为一名飞行员,我们使用Swi-Prolog的Swish平台将大部分原始书籍移植到了在线交互式网站中。从那时起,我们启动了简单的逻辑开源组织,致力于与Prolog一起维护有关人工智能和逻辑编程的一套免费可用的交互式在线教育资源。随着新的教育技术的出现,我们启发了使用Jupyter Book Platform从头开始重建这本书,并通过一系列定制插件来增强,这些插件的集合除其他外,还可以直接在网络浏览器中执行交互式SWI-Prolog代码块。此新版本更模块化,更易于维护,并且可以分为自定义的教学模块,除了具有现代外观,视觉上吸引人,并且与一系列不同屏幕尺寸的(移动)设备兼容。

"Simply Logical -- Intelligent Reasoning by Example" by Peter Flach was first published by John Wiley in 1994. It could be purchased as book-only or with a 3.5 inch diskette containing the SWI-Prolog programmes printed in the book (for various operating systems). In 2007 the copyright reverted back to the author at which point the book and programmes were made freely available online; the print version is no longer distributed through John Wiley publishers. In 2015, as a pilot, we ported most of the original book into an online, interactive website using SWI-Prolog's SWISH platform. Since then, we launched the Simply Logical open source organisation committed to maintaining a suite of freely available interactive online educational resources about Artificial Intelligence and Logic Programming with Prolog. With the advent of new educational technologies we were inspired to rebuild the book from the ground up using the Jupyter Book platform enhanced with a collection of bespoke plugins that implement, among other things, interactive SWI-Prolog code blocks that can be executed directly in a web browser. This new version is more modular, easier to maintain, and can be split into custom teaching modules, in addition to being modern-looking, visually appealing, and compatible with a range of (mobile) devices of varying screen sizes.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源