DriftScript：非公理的推論エージェントのためのドメイン固有言語

要旨: 非公理的推論システム（NARS）は、不十分な知識と資源のもとで動作する適応的エージェントを構築するための枠組みを提供する。しかし、標準の入力言語であるNarseseは、ユーザビリティ上の障壁となっている。密な記号表記、過剰に使われた句読点、そして暗黙の慣例により、プログラムの読み書きや保守が困難になる。私たちは、NarseseへコンパイルされるLispのようなドメイン固有言語であるDriftScriptを提示する。DriftScriptは、非公理的論理（NAL）レベル1から8で用いられる主要な文および項の形式をカバーするソースレベルの構文要素を提供する。これには、継承、時間的含意、変数の量化、逐次的な連言、そして操作呼び出しが含まれる。さらに、記号的な構文を読みやすいキーワードベースのS式に置き換える。コンパイラは、依存関係ゼロの4段パイプラインとして実装されており、C99で1,941行である。DriftNARSエンジンとともに用いると、DriftScriptプログラムは4種類の構造化されたコールバック型とHTTPの操作レジストリを通じて外部システムと接続でき、自律エージェントのための「考え→推論→行動」のループの感覚を可能にする。本稿では言語設計と形式文法を述べ、コンパイラのアーキテクチャを詳述し、106ケースのテストスイートによる評価、手書きのNarseseとの同値性テスト、NALのカバレッジ分析、構造的な可読性指標、そしてコンパイルのベンチマークを行う。ソースコードは https://github.com/seamus-brady/DriftNARS で公開されている。本論文は、NARS自体の新たな推論アルゴリズムではなく、DriftScript言語の設計と実装、およびそれをDriftNARSへ組み込むことに焦点を当てる。