基於契約的行為樹合成：透過編碼智慧體

在機器人行為樹（Behavior Tree, BT）合成領域，從自然語言直接生成可執行的行為樹一直是一項關鍵挑戰。傳統的基於大語言模型（LLM）的方法通常將“接地”（grounding）責任完全交給提示編寫者，要求他們必須準確瞭解機器人能夠執行的技能、這些技能如何引數化，以及機器人執行時軟體對行為樹結構的約束。這種依賴使得部署過程極其脆弱，因為提示編寫者往往不具備這些專業知識，從而導致生成的行為樹可能無法實際執行。為了解決這一難題，最新研究提出了一種基於契約（contract-grounded）的行為樹合成架構。該架構引入了一個編碼智慧體（coding agent），它在合成行為樹之前，會主動查詢機器人端的模型上下文協議（Model Context Protocol, MCP）伺服器，以獲取一份明確的契約。這份契約包含三個關鍵部分：技能庫（skill library）、允許的行為樹運算子（permitted BT operators）以及可選的行為樹組合模板（BT composition templates）。基於這份契約，編碼智慧體能夠確保所生成的行為樹中的每一個節點都對應機器人實際可執行的技能，從而從根本上保證了合成結果的可靠性和可部署性。

該框架的另一大創新在於，它將接地責任從使用者轉移到了系統架構中。非專家操作員只需使用日常自然語言下達命令，而無需理解機器人的底層實現細節——例如感測器配置、電機控制引數或導航堆疊的具體內容。編碼智慧體在接收到命令後，自動完成契約獲取和行為樹合成工作。合成後的行為樹還需要透過機器人執行時驗證門控（runtime validation gate）的嚴格檢查，確保其符合所有約束條件，然後才能被髮送給機器人執行。這種雙重驗證機制極大地降低了錯誤執行的風險。

為了驗證該方法的有效性，研究團隊選取了兩個具有代表性的LLM：閉源模型Sonnet 4.6和開源的小型模型Gemma4:31b，並在110個PyRoboSim模擬任務以及14個實體Husarion Panther機器人任務上進行了全面評估。實驗結果表明，基於契約的接地方法使得行為樹的驗證近乎完美，任務成功率顯著優於傳統方法。特別值得一提的是，對於反應式控制流任務，當使用行為樹組合模板時，即使是較小的Gemma4:31b模型也能取得與大型閉源模型相當的成功率，這表明模板有效補償了小模型在複雜度上的不足。此外，該架構成功遷移到了執行Nav2堆疊的物理硬體上，整個過程對於操作員和智慧體來說都是透明的——他們無需瞭解Nav2的內部工作機制。這項研究為機器人行為樹合成提供了一種更魯棒、更易用的解決方案，有望推動自然語言程式設計在機器人領域的實際應用，降低機器人部署的門檻。