Logical Robots：Logica における宣言的マルチエージェントプログラミング

Abstract

我々は、論理プログラミング言語Logicaにおいて自律ロボットの挙動を宣言的に記述する、インタラクティブなマルチエージェントシミュレーション・プラットフォーム「Logical Robots」を提示します。ロボットの挙動は、論理述語によって定義され、シミュレートしたレーダアレイと共有メモリからの観測を、所望のモータ出力へと対応付けます。このアプローチにより、低レベルのリアクティブ制御と高レベルの計画を、単一のプログラミング環境の中で共存させることが可能になり、マルチエージェント・ロボット挙動を探究するための一貫した枠組みを提供します。