「発見・創発できる人工知能OTTER - 論理パズルからのアプローチ」 掲載プログラム
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
15puzzle
picture
Makefile.lined
README.md
balance.in
bonus.in
ex1.in
gdb-memo.txt.lined
gmon-two_inv.log
gmon.out
linenumber.py
mission.in
patch-balancer
patch.txt.lined
prg0-1.in
prg0-1.in.lined
prg0-1.out.lined
prg0-2.in
prg0-2.in.lined
prg0-2.out
prg0-2.out.lined
prg0.in
prg0.in.lined
prg0.out
prg0.out.lined
prg1-1.in
prg1-1.in.lined
prg1-1.out
prg1-1.out.lined
prg1-2.in
prg1-2.in.lined
prg1-2.out
prg1-2.out.lined
prg1-3.in
prg1-3.in.lined
prg1-3.out.lined
prg1-4.in
prg1-4.in.lined
prg1-4.out.lined
prg1-5.in
prg1-5.in.lined
prg1-6.in
prg1-6.in.lined
prg1-6.out
prg1-6.out.lined
prg1-7.in
prg1-7.in.lined
prg1-7.out
prg1-7.out.lined
prg1-8.in
prg1-8.in.lined
prg1-8.out
prg1-8.out.lined
prg2-1.in
prg2-1.in.lined
prg2-1.out.lined
prg2-10.in
prg2-10.in.lined
prg2-10.out
prg2-10.out.lined
prg2-11.in
prg2-11.in.lined
prg2-11.out
prg2-11.out.lined
prg2-12.in
prg2-12.in.lined
prg2-12.out
prg2-12.out.lined
prg2-13.in
prg2-13.in.lined
prg2-13.out
prg2-13.out.lined
prg2-14.in
prg2-14.in.lined
prg2-14.out
prg2-14.out.lined
prg2-2.in
prg2-2.in.lined
prg2-2.out
prg2-2.out.lined
prg2-3.in
prg2-3.in.lined
prg2-3.out
prg2-3.out.lined
prg2-4.in
prg2-4.in.lined
prg2-4.out
prg2-4.out.lined
prg2-5.in
prg2-5.in.lined
prg2-5.out.lined
prg2-6.in
prg2-6.in.lined
prg2-6.out
prg2-6.out.lined
prg2-7.in
prg2-7.in.lined
prg2-7.out
prg2-7.out.lined
prg2-8.in
prg2-8.in.lined
prg2-8.out
prg2-8.out.lined
prg2-9.in
prg2-9.in.lined
prg2-9.out
prg2-9.out.lined
prg3-1.in
prg3-1.in.lined
prg3-1.out
prg3-1.out.lined
prg3-2.in
prg3-2.in.lined
prg3-2.out
prg3-2.out.lined
prg3-3-2.in
prg3-3-2.in.lined
prg3-3-2.out
prg3-3-2.out.lined
prg3-3.in
prg3-3.in.lined
prg3-3.out
prg3-3.out.lined
prg3-4-2.in
prg3-4.in
prg3-4.in.lined
prg3-4.out
prg3-4.out.lined
prg3-5.in
prg3-5.in.lined
prg3-5.out
prg3-5.out.lined
prg3-6.in
prg3-6.in.lined
prg3-6.out
prg3-6.out.lined
prg3-7.in
prg3-7.in.lined
prg3-7.out
prg3-7.out.lined
prg3-8.in
prg3-8.in.lined
prg3-8.out
prg3-8.out.lined
prg3-9.in
prg3-9.in.lined
prg3-9.out
prg3-9.out.lined
prg4-1.in
prg4-1.in.lined
prg4-1.out
prg4-1.out.lined
prg4-10.in
prg4-10.in.lined
prg4-10.out
prg4-10.out.lined
prg4-2.in
prg4-2.in.lined
prg4-2.out
prg4-2.out.lined
prg4-3.in
prg4-3.in.lined
prg4-3.out
prg4-3.out.lined
prg4-4.in
prg4-4.in.lined
prg4-4.out
prg4-4.out.lined
prg4-5.in
prg4-5.in.lined
prg4-5.out
prg4-5.out.lined
prg4-6.in
prg4-6.in.lined
prg4-6.out
prg4-6.out.lined
prg4-7-2.in
prg4-7.in
prg4-7.in.lined
prg4-7.out
prg4-7.out.lined
prg4-8.in
prg4-8.in.lined
prg4-8.out
prg4-8.out.lined
prg4-9.in
prg4-9.in.lined
prg4-9.out
prg4-9.out.lined

README.md

「発見・創発できる人工知能OTTER - 論理パズルからのアプローチ」 掲載プログラム

拡張子が.inのファイルは入力ファイルです。このファイルを実行してください。
# otter < prg0-1.in
拡張子が.outのファイルは出力ファイル(実行結果)です。
拡張子が.linedのファイルは、書籍内での参照用に、行番号が振ってあるファイルです(実行はできません)。

第0章 創発する自動推論エンジン

プログラム0-1:秤とコインのパズル(prg0-1.in)
プログラム0-2:2インバータパズル(prg0-2.in)

第1章 OTTERの基本

プログラム1-1:三段論法:はじめてのOTTERプログラム(prg1-1.in)
プログラム1-2:ソクラテスの四段論法? その1(prg1-2.in)
プログラム1-3:ソクラテスの四段論法? その2(prg1-3.in)
プログラム1-4:3つの箱の中身を当てる(prg1-4.in)
プログラム1-5:節集合と矛盾(prg1-5.in)
プログラム1-6:「河渡りパズル」その1(prg1-6.in)
プログラム1-7:河渡りパズルその2(prg1-7.in)

第2章 正直者と嘘つきのパズル 1階述語論理

プログラム2-1:全称限量子を使ったプログラム(prg2-1.in)
プログラム2-2:私達はどちらかが嘘つき その1(prg2-2.in)
プログラム2-3:私達はどちらかが嘘つき その2(prg2-3.in)
プログラム2-4:私は嘘つき (prg2-4.in)
プログラム2-5:私は嘘つきです 少し変えたバージョン(prg2-5.in)
プログラム2-6:2つの空節(prg2-6.in)
プログラム2-7:AかBかどちらかが正直者です(prg2-6.in)
プログラム2-8:自分のことを嘘つきという2人組(prg2-8.in)
プログラム2-9:嘘も本当の事も言う人 その1(prg2-9.in)
プログラム2-10:嘘も本当の事も言う人 その2(prg2-10.in)
プログラム2-11:仮定の話をする2人組その1(prg2-11.in)
プログラム2-12:仮定の話をする2人組その2(prg2-12.in)
プログラム2-13:太陽と惑星(prg2-13.in)
プログラム2-14:吸血鬼の村(prg2-14.in)

第3章 自己増殖するロボットのパズル

プログラム3-1:リストの要素を反転させる(prg3-1.in)
プログラム3-2:リストの各要素を掛け合わせる(prg3-2.in)
プログラム3-3:GNATが作るロボットは?(prg3-3.in)
プログラム3-3-2:プログラム3-3のdemodulation版(prg3-3-2.in)
プログラム3-4:GNGRNATGNが作るロボットの名前(prg3-4.in)
プログラム3-5:自分自身を作成するロボット(prg3-5.in)
プログラム3-6:お互いを生成するロボット」(prg3-6.in)
プログラム3-7:自分自身を破壊するロボット(prg3-7.in)
プログラム3-8:恩知らずなロボット(prg3-8.in)
プログラム3-9:ハノイの塔(prg3-9.in)

第4章 等価推論

プログラム4-1:paramodulationその1(prg4-1.in)
プログラム4-2:paramodulationその2(prg4-2.in)
プログラム4-3:祖母の名は? demodulationその1(prg4-3.in)
プログラム4-4:祖母の名は?demodulationその2(prg4-4.in)
プログラム4-5:群の性質を調べる(prg4-5.in)
プログラム4-6:すべての冪等性のある環は可換である(prg4-6.in)
プログラム4-7:分配束における双対原理(prg4-7.in)
プログラム4-8:15パズル(prg4-8.in)
プログラム4-9:モーファングループ問題(prg4-9.in)
プログラム4-10:hot listを無効化したプログラム(prg4-10.in)

第7章 付録:本書でのOTTERの修正方法

天秤とコインのパズルのためのパッチ当て
https://sites.google.com/site/ottershujinopeji/home
上記のページを参考にしてください。