「2.1.1 エンスト問題」の編集履歴（バックアップ）一覧はこちら
2.1.1 エンスト問題 - (2011/03/24 (木) 16:24:14) の１つ前との変更点
追加された行は緑色になります。
削除された行は赤色になります。
エンスト問題
「エンジンかからねぇ。スターターの音はするけどかからん。ここで原因を考えよう。スターターが回る音はするからバッテリーからパワーはきてるにちがいない。ということは、もっともありうる原因は燃料が夜中に盗られたか、点火プラグが汚れているか。もちろん、キャブに汚れが詰まっているせいかもしれないし、点火系がどこか緩んでるのか、それとももっとシリアスな問題かもしれない。とにかく、原因をみつけるのにまず燃料メータをみてみよう。半分入っている。そんじゃとりあえずプラグをきれいにしてみようか。」
-コンピュータにこの手の同じ推論をさせようとするなら、まず次のような問題に対する回答が必要である。
「なんで私は、いろんな原因が考えられるなかで、燃料盗難とプラグ汚れの二つを最もありそうと結論づけたのか」
「なんで私は、燃料メータをみてみようと決めたのか、そして私はそれをみた結果、どうして点火プラグのゆるみが原因でありそうと結論づけたのか」
-もっとストレートにいうと（要するに）、我々にはこの問題を表現する方法が必要なんだ、つまり、コンピュータがこの手の推論をシミュレートできて、しかも人間よりもうまく早く推論できるような表現でもって推論を行う必要があるというわけだ。
-
エンスト問題
「エンジンかからねぇ。スターターの音はするけどかからん。ここで原因を考えよう。スターターが回る音はするからバッテリーからパワーはきてるにちがいない。ということは、もっともありうる原因は燃料が夜中に盗られたか、点火プラグが汚れているか。もちろん、キャブに汚れが詰まっているせいかもしれないし、点火系がどこか緩んでるのか、それとももっとシリアスな問題かもしれない。とにかく、原因をみつけるのにまず燃料メータをみてみよう。半分入っている。そんじゃとりあえずプラグをきれいにしてみようか。」
-コンピュータにこの手の同じ推論をさせようとするなら、まず次のような問題に対する回答が必要である。
「なんで私は、いろんな原因が考えられるなかで、燃料盗難とプラグ汚れの二つを最もありそうと結論づけたのか」
「なんで私は、燃料メータをみてみようと決めたのか、そして私はそれをみた結果、どうして点火プラグのゆるみが原因でありそうと結論づけたのか」
-もっとストレートにいうと（要するに）、我々にはこの問題を表現する方法が必要なんだ、つまり、コンピュータがこの手の推論をシミュレートできて、しかも人間よりもうまく早く推論できるような表現でもって推論を行う必要があるというわけだ。
-いわゆる命題論理の場合、ブール論理はそういった表現の枠組みからなっており、様々な派生構造、たとえば真理値表だとか、二分決定図だとかが推論のための効率的なアルゴリズムと一緒に発明されてきた。
-論理的な推論では、４つの論理結合子をつかう。
