2

Eclipse (バージョン: Kepler Service Release 1) と、Eclipse での Prolog 開発用のProlog Development Tool (PDT) プラグインを使用しています。次のインストール手順を使用しました: http://sewiki.iai.uni-bonn.de/research/pdt/docs/v0.x/download .

私はMulti-Agent IndiGolog (MIndiGolog) 0 (MIndiGolog の暫定プロローグ バージョン) を使用しています。ここからダウンロード: http://www.rfk.id.au/ramblings/research/thesis/ . MIndiGolog を使用したいのは、アクションの時間と期間を非常にうまく表現し (一時的な計画を実行したい)、複数のエージェントの計画 (同時実行を含む) をサポートするためです。

MIndiGologは、状況計算に基づく高水準プログラミング言語です。言語のすべては、状況計算に正確に従っています。ただし、これは私が取り組んでいるプロジェクトには適合しません。

この他の高水準プログラミング言語、Incremental Deterministic (Con) Golog (IndiGolog) (ここからダウンロード: http://sourceforge.net/p/indigolog/code/ci/master/tree/ ) (これも Prolog で作成)、も（大まかに）状況計算に基づいていますが、流暢さを非常に異なる方法で使用しています。それは、どのアクションがどの流暢にどのように変化するかを示すためにcauses_val-predicatesを使用し、流暢に状況を含めません!

ただし、これはチームの他のメンバーが実際に望んでいることです。MIndiGolog を書き直して、アクションの時間と期間の適切な表現を備えたオフライン プランナーのままにする必要があります。

プロローグと状況計算に関する私の知識は基本しかカバーしていないため、これを行うのは非常に難しいと思いますが、彼らは私を専門家と見なしています。私は頭がいっぱいで、私が得ることができるすべての助けやアドバイスを使うことができると感じています.

私はすでに流暢さからシチュエーションを削除し、causes_val 述語を使用して計画ドメインを作成し、IndiGolog コードを MIndiGolog に追加しようとしました。しかし、運が悪い。プランナーを実行すると、単に「false」が返されます。また、SWI-Prolog デバッガーの GUI トレーサ バージョンを使用したり、できるだけ戦略的にスパイ ポイントを配置しようとしても、トレースの意味をほとんど理解できません。

前もって感謝します、

ベスト、PJ

4

1 に答える 1

1

まだ興味がある場合 (そうではないかもしれません): これは実際にはそれほど難しいことではありません。

Reiter の本を見ると、causes_vals は単なる結果の公理であることがわかりますが、状況に言及する流暢な人は通常、後継者の状態の公理です。前者から後者に変換する決定論的な方法があり、causes_vals の正しい解釈は回帰の実装で行われます。これは常に同じで、Prolog コードのその部分を indiGolog からフレーバーにコピーするだけです。

于 2013-12-18T01:11:27.783 に答える