2

象徴的な計画の問題を解決するために、私たちは行動理論を書きます。行動理論を書くための一般的な言語は、STRIPS と ADL です。

アクションを説明するために、以下を提供する必要があります。

  • 前提条件
  • 効果

たとえば、ロボット ドメインには、RobotandObjectクラスとcloseToandholdingプロパティがあります。

ホールドすればアクションpickUp(?robot, ?object)が可能closeTo(?robot, ?object)で、さらにforall ?o in Object . not holding(?robot, ?o).

OWLおよび/またはSWRLで前提条件をどのように表現しますか?

アクションエフェクトはどうですか？

4

1 に答える 1

1

Knowrob プロジェクトは、アクションを実装するために OWL マークアップ言語と組み合わせて質的プロセス理論 (QPT) を使用できることを示唆しています。考えられる前提条件は[1]です:

rdf_triple(knowrob:'thermicallyConnectedTo', Dough, HeatSource),

しかし、このプロローグ スパゲッティ コードが機能することは実証されていません。OWL は実際のプログラミング言語ではなく、json のようなマークアップ言語に似ています。宣言型の形式でプロセスを形式化することは学術的なクイズですが、ゲームコーディングや実際のロボットプログラミングとは関係ありません。

于 2016-10-06T16:20:14.903 に答える