長尾　真：知識と推論

概要

まえがきから、本書は人工知能学と情報学との融合を目ざしたものであるが，書き終えてみると， まだまだこの二つの分野の間の間に横たわる溝は深いという感を禁じ得ない．

感想

俺にもとけそうなパズル

p.108 に俺でもとけそうなパズルがある。

80 kg の父と 40 kg の 2 人の娘がいる．80 kg まで乗せられる舟をつかって 3 人とも川を渡る方法を考えよ．

次のように考えてみた

1. 娘 2 人で川をわたる
2. 娘 1 人が対岸に残り、1 人がもどる
3. 父が対岸にわたる
4. 対岸にいる娘1人がもどる
5. 娘 2 人で川をわたる

これでめでたしめでたしであるが、推論としてはかんたんである。言い換えれば、ほかの推論ができない。 まず最初に父あるいは娘が1人で行ったら、もどってくるときに舟は1人でこがなければならないからもとに戻るので意味はない。 したがって、最初は2人ででかけていき、1人が戻ってこないと始まらない。 以下、もとに戻ってしまう場合を除くと自動的に上の答となる。でも、これでは計画的ではないため、 趣旨から外れる、ということになるのだろうな。

数式

数式表示には、ASCIIMathMLを使っている。

まりんきょ学問所 ＞ コンピュータの部屋 ＞ コンピュータの本 ＞ 長尾　真：知識と推論