言語モデルLMNtalの操作的意味論の設計

抄録

LMNtalは無方向リンクと膜機能を特徴とする並行言語モデルであるが、諸機能の相互作用を考慮した操作的意味論の設計は、多くの議論と多角的検討を要する作業であった。本発表ではLMNtalの最新機能を紹介するとともに、意味論の設計過程で直面したいくつかの問題点について考察する。