論理プログラミングで何度も更新を処理する必要がありますか？

Question

特に私は、次のタイプの問題を解決するための最良の方法を決定しようとしています。

私が興味を持っている例は、Mitchell's Machine Learningの4つのトレーニング例に適用されたfind-sアルゴリズムです。

基本的な考え方は、各訓練例xと仮説hについて、hをより一般的にすることによってxを組み入れたかどうかを決定することです。トレーニングセットの各xについてhをh 'に写像する必要があります。私が抱えている問題は、これを論理プログラミング言語で最善の方法に接近させる方法です。私は、計画に埋め込まれた大まかにプロローグであるミニカンレンを使用しています。

各h 'を計算した後、私は設定する必要があります！それをグローバル変数hに変換し、次のトレーニング例xに進みます。以下のコードは、プログラムの主要部分です。

(define h '(0 0 0 0 0 0)) 

(define seto 
    (lambda (x) 
    (project (x) 
      (lambda (s) (set! h x) (succeed s))))) 

(run* (q) 
    (fresh (x h0 h1) 
      (trainingo x) 
      (== h h0) 
      (find-so h0 x h1) 
      (seto h1) 
      (== h1 q))) 

hはグローバル変数であり、瀬戸は（見つける-SO）のfind-Sアルゴリズムを使用してH0及びXトレーニング例から次の計算であるという仮説H1と時間を変異します。それはアサート（「仮説」（H））に（と思う）と同等になりプロローグで

各トレーニング例の後にXが（以前のものを上書き）と（「仮説」（H））後退を呼び出しますがすべてのトレーニングの例が適用された後。

もう一度私の質問は、これらの問題を解決するための最良のアプローチ（副作用による）かどうかです。

編集： 私は彼のcommentと一緒に@mat答えを受け入れました。要約すると、私は訓練の例をリストとして扱い、空リストに入るまでそのリストの前方再帰を使用する必要がありました。私が立ち往生していたのは、バックトラックの一環としてトレーニングの例を持つことでしたが、次の仮説を見つけるのではなく、空になるまで繰り返すことができます。

Answer 1

あなたの意見はと思われるかもしれません：assertz/0とretract/1でグローバルアップデートをシミュレートしてください。あなたがそれを行う場合

しかし、主要 があるがを欠点この 方法：

• グローバル状態を使用するには、あなたの述語分離でをテストとを使用してからあなたを防ぐことができます。
• 破壊的な更新を使用すると、という方向で述語を使用できなくなります。
• グローバル状態の微妙で暗黙的な依存関係により、述語の変更が非常にエラー になり易いになります。これらの状態の変化をシミュレートする

---

宣言型ソリューションは 状態間関係の観点で考えることです。もし次仮説H1を計算するH0を使用する場合、例えば

、その後、H0と  H1、およびおそらく他のパラメータとの関係として、これを表現することができます。そのような述語ががすべての方向にと—理想的— 実行を読むことができることを

• hypothesis_next(H0, H1)
• algorithm_hypothesis_next(A, H0, H1)
• parameters_hypothesis_next(Ps, H0, H1)
• など

注：のような述語について考えてみて！合計で

、溶液全体はあなたのケースで 仮説のシーケンスとしてモデル化される：

H0＆RIGHTARROW。 H1; H2; ＆hellip; ＆rightarrow; H

より多くの情報とポインタについては、密接に関連して質問を参照してください。

How to avoid using assert and retractall in Prolog to implement global (or state) variables