アクション言語

コンピュータサイエンスにおいて、アクション言語は状態遷移システムを指定するための言語であり、アクションが世界に与える影響の形式モデルを作成するためによく使用されます。 ^{[1]アクション言語は}人工知能やロボット工学の分野でよく使用され、アクションが時間の経過とともにシステムの状態にどのような影響を与えるかを記述し、自動計画に使用されることがあります。

アクション言語は、アクション記述言語とアクションクエリ言語の2つのクラスに分類されます。前者の例としては、STRIPS、PDDL 、言語A（STRIPSの一般化、ペドノーのADLの命題部分）、言語B（間接効果を追加し、静的法則と動的法則を区別するAの拡張）、言語C（これも間接効果を追加し、すべての流暢性が自動的に「慣性」であるとは想定しない）などがあります。アクションクエリ言語P、Q、Rもあります。アクション言語、特にアクション言語Cを回答セットプログラムに変換するためのさまざまなアルゴリズムが存在します。^[2]^{[3]現代の回答セットソルバーは}ブールSATアルゴリズムを使用して非常に迅速に満足度を確認するため、アクション言語もブールSAT解決の分野でなされている進歩を享受できることを意味します。

正式な定義

すべてのアクション言語は、状態遷移システムの定義を、フルーエントのセットF、フルーエントが取る値のセットV 、およびS × F をVにマッピングする関数で補完します。ここで、Sは状態遷移システムの状態のセットです。

参照

参考文献

^ Michael Gelfond、Vladimir Lifschitz (1998)「アクション言語」、Linköping Electronic Articles in Computer and Information Science、第3巻、第16号。
^ Vladimir Lifschitz と Hudson Turner (1998)「論理プログラムによる遷移システムの表現」
^ マーティン・ゲブサー;グローテ、トルステン。 Schaub、Torsten (2010)、Coala: アクション言語から ASP へのコンパイラー、CiteSeerX 10.1.1.185.4622

[1] Michael Gelfond、Vladimir Lifschitz (1998)「アクション言語」、Linköping Electronic Articles in Computer and Information Science、第3巻、第16号。

[2] Vladimir Lifschitz と Hudson Turner (1998)「論理プログラムによる遷移システムの表現」

[3] マーティン・ゲブサー;グローテ、トルステン。 Schaub、Torsten (2010)、Coala: アクション言語から ASP へのコンパイラー、CiteSeerX 10.1.1.185.4622