＜ＭＩＳの純粋理論からの修正点＞

ページは、E.Y.Shapiro「知識の帰納的推論」の本のページである。

１．ｈ（ｉ）不要、つまりｈ従順なモデルのｈはホーン節仮説には不要。
　　導出回数に制限を設ける必要が無い。
　　８２ページに明記あり。
２．最汎アトムの採用は頭部のみ。（条件の項のサイズが結論の項のサイズを超えない）
　　体部に採用するとホーン節の制限を破ってしまい、導出部が拡大してしまう。
　　そのため拡大節の生成をしないこととした。これにより仮説数減少。
　　６１，８２ページに明記あり。
３．本の後部にあげてある事例は全て最汎精密化演算子によらないもの。
　　８７ページに明記あり。
４．Ｓｔｒｕｅに用いられた仮説からのみＳｆａｌｓｅチェックで偽なる仮説を
　　摘出すれば十分である。
５．言語Ｌ記述にタイプ記述能力や入出力記述能力を与え、生成仮説のチェックに供し
　　た。これにより仮説数減少。
６．比較的単純なループの原因除去を行う能力を矛盾点追跡アルゴリズムに付加した。
７．精密化ロジックとして定文型節（再帰節，迂回節）の自動生成機能、節の体部
　　追加に自由変項アトムを使用するばかりでなく、さらに節が閉論理式になる
　　体部を生成する機能を付与。
８．精密化を制御するため、同一述語名を持つアトムを追加可能か否かの指定や、
　　アトム・関数の節内個数制限の指定ができる。
９．Ｓｆａｌｓｅの全てを再び証明することを避けた。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　以　　上