オントロジーを用いた型理論的な語彙意味論の試み

抄録

本研究では、製品の仕様書を例に、文や談話を分析するために用いられてきた依存型意味論の枠組みを語彙意味論に拡張することを試みる。製品の仕様書に基づく推論を行う際は、仕様書に現れる「故障する」、「正常である」といった語彙の意味の分析と、オントロジーで記述された知識を使いながら推論を行う必要がある。そのため、オントロジーについても依存型意味論で記述し、語彙の意味と知識を組み合わせて推論することを試みる。