PIER: ロボットマニピュレーションのための証拠ゲート付き実行インターフェース

- ロボットマニピュレーション向けの実行認可インターフェース PIER を提案。 - 高信頼度の視覚出力が重度のオクルージョン下で生じる探索的観察に動機付け。 - 証拠チェック、決定の来歴、ステージ単位の再観察をハードウェア制御から分離。 - 決定論的ゲートが宣言された視覚・触覚入力を評価し、呼び出し側が各ステージ最大1回の再観察予算を管理。

- 従来の行動生成の妥当性と実行正当性の混同に対し、実行認可を独立に扱う点が新しい。 - 有限グリッドで不変条件違反ゼロを達成し、同等の Boolean ベースラインが非回復決定を再現。 - 合成スコアノイズ下で再観察により有効状態の拒否を 57/120 から 18/120 に削減。 - ただし同等のルールロジックに対する優位性、校正された触覚精度、認証された物理的安全性は主張しない。

- 決定論的ゲートが宣言された視覚・触覚入力を評価し、実行可否を判定。 - 呼び出し側がステージごとに最大1回の再観察予算を維持。 - 証拠チェック、決定の来歴、ステージスコープの再観察を分離。 - 閾値グリッドと合成トレースで評価。

- 1,600 の閾値グリッドケースと 1,200 のペア合成トレースで実装を評価。 - スコアノイズ、触覚入力欠落、古い観察、誤って安心させるスコアを網羅。 - 有限グリッドで宣言された不変条件違反はゼロ。 - 合成スコアノイズ下で再観察が有効状態の拒否を 57/120 から 18/120 に削減する一方、無効状態の続行を 5/120 から 7/120 に増加。 - 古い入力と誤って安心させる入力は閾値チェックだけでは解決できない限界を露呈。 - 探索的な視覚・触覚・ロボット設定記録は文脈を提供するが、物理タスク性能を確立しない。

- 古い観察と誤って安心させる入力は閾値チェックだけでは解決できない限界を露呈。 - 探索的記録は物理タスク性能を確立しない。 - 同等のルールロジックに対する優位性、校正された触覚精度、認証された物理的安全性は主張しない。 - 検査可能な認可インターフェースとその入力契約の限界を特徴付ける。

- 要旨で参照/比較されている研究は明示されていない。 - 同分野の定番として、ロボットマニピュレーションにおける安全認可、触覚校正、視覚オクルージョン下の認識、実行監視に関する研究が考えられる。