ニューラル記号推論における推論過程の教示方法

ニューラルモデルを用いた記号推論能力は推論過程を生成することで向上する．しかし，推論過程の性質や形式がどのような影響を与えるかは分かっていない．本研究では，推論過程について出力戦略と推論戦略という2つの軸から，ニューラルモデルで形式的な推論を行う際の適切な推論過程の教示方法を探る．我々は多段数値推論問題（A=1，B=3，C=A+3，C?）を用いた統制的実験を行い，各形式の選択が性能に大きな影響を与える事が分かった．加えて，少なくとも本実験設定範囲内では，ニューラルモデルによってほぼ完璧な推論が達成され，適切な戦略の選択が重要である事を示す．