Concurrent MetateM とは

Concurrent MetateMは、マルチエージェント言語であり、各エージェントは、提示すべき動作の(拡張された)時間的論理仕様のセットを使用してプログラムされる。これらの仕様は、エージェントの動作を生成するために直接実行されます。結果として、論理仕様を最初に低レベルの実装に変換する必要があるシステムのように、論理を無効にするリスクはありません。
MetateMの概念の根源はギャベイの分離定理です。論理的に等価な過去→未来の形で任意の時間論理式を書き換えることができる。実行は、ルールと履歴を継続的に照合し、前提条件が満たされたときにルールを実行するプロセスによって処理されます。すべてのインスタンス化された将来の結果は、プログラムルールで構成された数式のモデルを反復的に生成し、その後に満たす必要があるコミットメントになります。