NormCode: コンテキスト分離されたAI計画のための半形式言語

この研究は、AIの信頼性を向上させるための重要なステップである、コンテキスト分離された環境でのAI計画のための新しい半形式言語であるNormCodeを探求しています。 この論文の貢献は、計画プロセスを分離することによって、AIエージェントの予測可能性と安全性を高める可能性にあります。