Simply logical - intelligent reasoning by example

Peter A. Flach
{"title":"Simply logical - intelligent reasoning by example","authors":"Peter A. Flach","doi":"10.5281/zenodo.1156977","DOIUrl":null,"url":null,"abstract":"\"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.","PeriodicalId":302214,"journal":{"name":"Wiley professional computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"78","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Wiley professional computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5281/zenodo.1156977","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 78

Abstract

"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.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
简单的逻辑-通过例子进行智能推理
彼得·弗拉赫的《简单逻辑——智能推理实例》于1994年由约翰·威利首次出版。它可以以纯书籍的形式购买,也可以附带一个3.5英寸的软盘,其中包含书中打印的sw - prolog程序(适用于各种操作系统)。2007年,版权回到了作者的手中,在这一点上,这本书和节目在网上免费提供;印刷版不再通过约翰威利出版社发行。2015年,作为试点,我们使用SWI-Prolog的SWISH平台,将大部分原著移植到一个在线互动网站上。从那时起,我们推出了简单的逻辑开源组织,致力于维护一套免费提供的关于人工智能和逻辑编程的交互式在线教育资源。随着新的教育技术的出现,我们受到启发,使用Jupyter book平台从头开始重建这本书,其中包括一系列定制的插件,这些插件实现了可直接在web浏览器中执行的交互式wi - prolog代码块。这个新版本更加模块化,更容易维护,可以分成自定义教学模块,除了具有现代外观,视觉吸引力,并与一系列不同屏幕尺寸的(移动)设备兼容。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Simply logical - intelligent reasoning by example Object-oriented requirements analysis and logical design - a software engineering approach Real-time object-oriented modeling
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1