論文の概要: Simply Logical -- Intelligent Reasoning by Example (Fully Interactive
Online Edition)
- arxiv url: http://arxiv.org/abs/2208.06823v1
- Date: Sun, 14 Aug 2022 10:32:13 GMT
- ステータス: 処理完了
- システム内更新日: 2022-08-16 14:26:39.067649
- Title: Simply Logical -- Intelligent Reasoning by Example (Fully Interactive
Online Edition)
- Title(参考訳): 単純な論理 -- 例によるインテリジェント推論(完全にインタラクティブなオンライン版)
- Authors: Peter Flach and Kacper Sokol
- Abstract要約: Simply Logical - Intelligent Reasoning by Example"は、1994年にジョン・ワイリーによって初めて出版された。
2007年、著作権は作家に返還された。
2015年には、SWI-PrologのSWISHプラットフォームを使用して、オリジナルの書籍のほとんどをオンラインでインタラクティブなウェブサイトに移植しました。
新バージョンはよりモジュール化され、メンテナンスが容易で、カスタムのインストラクションモジュールに分割できる。
- 参考スコア(独自算出の注目度): 21.58324172085553
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- 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.
- Abstract(参考訳): Peter Flach の "Simply Logical -- Intelligent Reasoning by Example" は、1994年に John Wiley によって初めて出版された。
書籍専用または3.5インチのディスクレットで購入でき、本書に印刷されたSWI-Prologプログラム(様々なオペレーティングシステム向け)が組み込まれている。
2007年、著作権は著者に戻され、その時点で書籍とプログラムはオンラインで無料で入手できるようになり、印刷版はジョン・ワイリーの出版社によって配布されることはなかった。
2015年、パイロットとして、SWI-PrologのSWISHプラットフォームを使用して、オリジナルの書籍のほとんどをオンラインでインタラクティブなウェブサイトに移植しました。
それ以来、私たちはSimply Logicalオープンソース組織を立ち上げ、人工知能とPrologを使った論理プログラミングに関するインタラクティブなオンライン教育リソースのスイートのメンテナンスを約束しました。
新しい教育技術の出現により、私たちはJupyter Bookプラットフォームを使用して、Webブラウザで直接実行できるインタラクティブなSWI-Prologコードブロックを実装した、一連のbespokeプラグインによって拡張された本をゼロから再構築することにインスピレーションを得ました。
この新しいバージョンはよりモジュール化され、メンテナンスが容易で、モダンで視覚的に魅力的で、様々なスクリーンサイズの(モバイル)デバイスと互換性があるだけでなく、カスタムの教育モジュールに分割できる。
関連論文リスト
- pyvene: A Library for Understanding and Improving PyTorch Models via
Interventions [79.72930339711478]
$textbfpyvene$は、さまざまなPyTorchモジュールに対するカスタマイズ可能な介入をサポートするオープンソースライブラリである。
私たちは、$textbfpyvene$が、ニューラルモデルへの介入を実行し、他のモデルとインターバルされたモデルを共有するための統一されたフレームワークを提供する方法を示します。
論文 参考訳(メタデータ) (2024-03-12T16:46:54Z) - Discovering and exploring cases of educational source code plagiarism
with Dolos [0.0]
Dolosは、教育ソースコードの盗作行為を検出し予防するためのツールのエコシステムである。
教育者は、ブラウザで新しいWebアプリから、プラジャリズムパイプライン全体を実行できる。
新しいダッシュボードは、ソースファイルのコレクションが盗作の疑いのあるケースを含んでいるかどうかを即座に評価する。
論文 参考訳(メタデータ) (2024-02-16T17:47:11Z) - LILO: Learning Interpretable Libraries by Compressing and Documenting Code [71.55208585024198]
LILOは、反復的に合成、圧縮、文書化を行う、ニューロシンボリックなフレームワークである。
LILOは、LLM誘導プログラム合成と、Stitchから自動化された最近のアルゴリズムの進歩を組み合わせたものである。
LILOのシンセサイザーが学習した抽象化を解釈し、デプロイするのを手助けすることで、AutoDocがパフォーマンスを向上させることが分かりました。
論文 参考訳(メタデータ) (2023-10-30T17:55:02Z) - What's Left? Concept Grounding with Logic-Enhanced Foundation Models [76.74146485832125]
本稿では,ドメインに依存しない一階述語論理型プログラムを用いて,ドメイン間の概念を基礎と推論するために学習する統一フレームワークを提案する。
LEFTは,2次元画像,3次元シーン,人間の動き,ロボット操作という4つの領域で,柔軟に概念を学習する。
論文 参考訳(メタデータ) (2023-10-24T17:50:20Z) - CodeTF: One-stop Transformer Library for State-of-the-art Code LLM [72.1638273937025]
我々は、最先端のCode LLMとコードインテリジェンスのためのオープンソースのTransformerベースのライブラリであるCodeTFを紹介する。
我々のライブラリは、事前訓練されたコードLLMモデルと人気のあるコードベンチマークのコレクションをサポートします。
CodeTFが機械学習/生成AIとソフトウェア工学のギャップを埋められることを願っている。
論文 参考訳(メタデータ) (2023-05-31T05:24:48Z) - Late-Binding Scholarship in the Age of AI: Navigating Legal and
Normative Challenges of a New Form of Knowledge Production [8.497410878853309]
人工知能(AI)は、学術コンテンツの作成において、新たな飛躍を可能にする。
この記事では、これらのアーティファクトを書き、配布し、読み、整理し、保存する方法について述べます。
論文 参考訳(メタデータ) (2023-05-04T04:14:28Z) - LOA: Logical Optimal Actions for Text-based Interaction Games [63.003353499732434]
本稿では、強化学習アプリケーションの行動決定アーキテクチャである論理的最適行動(LOA)を提案する。
LOAは、自然言語インタラクションゲームのためのニューラルネットワークとシンボリック知識獲得アプローチの組み合わせである。
論文 参考訳(メタデータ) (2021-10-21T08:36:11Z) - You Only Write Thrice: Creating Documents, Computational Notebooks and
Presentations From a Single Source [11.472707084860875]
学術的な取引では、異なるフォーマットで発行された同じコンテンツの複数の変種をジャグリングする必要がある。
本稿では,バージョン管理環境における単一ソース文書の維持により,この負担を大幅に軽減することを提案する。
私たちは、Jupyter Book(オンラインドキュメント)、Jupyter Notebook(計算物語)を構成する概念実証ワークフローを提供し、単一のマークダウンソースファイルから.jsスライドを明らかにする。
論文 参考訳(メタデータ) (2021-07-02T21:02:09Z) - Dive into Deep Learning [119.30375933463156]
この本はJupyterのノートブックでドラフトされており、説明図、数学、インタラクティブな例を自己完結型コードとシームレスに統合している。
私たちのゴールは、(i)誰でも自由に利用できるリソースを提供すること、(ii)応用機械学習科学者になるための出発点を提供するのに十分な技術的な深さを提供すること、(iii)実行可能なコードを含み、実際にどのように問題を解決するかを読者に示すこと、(iv)私たちとコミュニティの両方による迅速なアップデートを可能にすることです。
論文 参考訳(メタデータ) (2021-06-21T18:19:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。