NL2STL:CCG解析・意味合成を用いた確率付き信号時相論理仕様候補の生成

自然言語（NL）から信号時相論理（STL）仕様を生成するNL-to-STLでは，意味曖昧性により複数の妥当な解釈が成立し得る場合に，複数の妥当な仕様候補を生成する必要がある．これは，解釈の違いが仕様の違いに直結するためである．本研究では，CCGに基づく𝑛-best構文木とccg2lambdaによる意味合成を用いて，複数の解釈候補に対応するSTL仕様候補を生成し，各STL仕様候補にスコア由来の確率を付与する枠組みを提案する．