問題タブ [golog]

Prologについて助けが必要です。コードを投稿しましたが、問題は期待した結果が得られないことです。可能になるまで、すべてのブロックをテーブル上で移動するためのアクションを計画したいと考えています。これを行うには、次のプロンプトを表示します。

次のような応答が表示されることを期待しています。

ただし、Prolog は「false」のみを返します。誰かが私を助けることができますか??

ありがとうございました！！！

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

こんにちは、私は Golog を使用して検索計画を確立しようとしています。必要な基本的なアクションを書き出しましたが、golog で複雑なアクションを記述する際のギャップを埋めることに固執しています。

たとえば、エージェントが行わなければならない一連の動きを書き出せるようにしたいと考えています。

現在、これらの動きを次のようにハードコーディングしています。

設計者として、私はこれらの動きが有効であり、do(goToLoc(dest),s0,S)合格することを知っています。私がやりたいのは、この複雑なアクションを書き直して、任意の変数を受け入れることができるようにすることです。試してみましたが、何らかの方法で再帰的である必要があると思いますが、再帰呼び出しから値を割り当てる方法に行き詰まっています?

私はかなり外れている可能性がありますが、procを再帰的に呼び出しても状態は変化していないようで、十分な情報を提供したかどうかさえわかりません...公理がたくさんあるのでstart next1...間の関係を確立するために使用しますdestが、基本的には、Golog 内で一連のアクションを表現する方法について概念的なものを探しています。