証明論的アプローチを用いた整合性判定による照応解析手法の提案

近年の意味解析における照応解析では，語の間の意味的類似度を用いて照応表現(apaphoricexpression)の先行詞を同定するといった深層学習・機械学習によるアプローチが主流となっている．一方，依存型意味論(DependentTypeSemantics,DTS)は，依存型理論による自然言語の意味論の一つであり，特に照応(anaphora)と前提(presupposition)はDTSが説明できる意味現象の中枢となっている．この論文では，DTSの未指定型(underspeciﬁedtypes)を用いて照応表現の可能な先行詞を全て探索し，その前後の文脈から照応が可能な先行詞のうちどの対象が整合性が取れているかを判定する手法を提案する．また，提案する手法が，どれだけの照応解析の問題を解くことができるかを評価する．