# 思考連鎖指示における大規模言語モデルの否定表現理解

葉夢宇 1 栗林樹生 1,2 舟山弘晃 1,3 鈴木潤 1,3
1 東北大学 ${ }^{2}$ Langsmith 株式会社 ${ }^{3}$ 理化学研究所
\{ye.mengyu.s1, h.funa\}@dc.tohoku.ac.jp
\{kuribayashi, jun.suzuki\}@tohoku.ac.jp

## 概要

近年，推論過程の出力を指示することで大規模言語モデルの性能が向上することが示された. しかし 既存研究では，推論過程を経て生成された結論のみ が評価されており，モデルがどのような推論過程を 生成し, また過程から導かれる妥当な結論を下して いるのかといった推論内容の大規模な分析は行われ ていない. 本研究では，言語モデルについて，推論過程を踏まえて結論を生成する能力を評価し，特に 言語モデルが苦手としてきた否定表現の扱いに焦点 を当てる. 実験を通して，最先端の 175B 言語モデ ルですら，推論過程に not が存在する場合，結論と して noを生成するといった浅い理解に基づいた処理が行われている可能性を示す.

## 1 はじめに

近年，大規模言語モデルに少数事例を提示する ことで様々な言語タスクを解く, 少数事例指示 （few-shot prompting）[1]が注目を集めている. 特 に最近では，推論過程を生成するようモデルに指示する思考連鎖指示 (chain of thought prompting) [2] の有効性が示された. 例えば，「大谷翔平選手が 硬式ボールを投げた可能性はあるか」といった質問 に対して，思考連鎖指示に基づく推論では，モデ ルはまず「大谷選手は野球選手であり, 硬式ボー ルは野球で投げるので...」といった推論過程を生成 し, 続いて「はい」といった結論を導く. 既存研究 では，思考連鎖指示のもと最終的に得られる結論の 質が向上することは示されたものの，モデルが妥当 な過推論程を生成しているのか, モデルの結論が過程と一貫しているのかといった推論過程の妥当性に ついては十分に分析されていない.

本研究では，一連の思考指示を (i) 推論仮定を生成する段階と (ii) 与えられた過程から結論を出す段階に分解し, 評価の容易さから，まずは後者の与え問題：「大谷翔平選手が硬式ボールを投 げた」はあり得そうか？推論過程を明示して答えよ。

推論過程 : 大谷選手は野球選手であり,硬式ボールは野球のみで投げるので,

図1 思考連鎖指示を元に，大規模言語モデルを用いて，否定表現が含まれる推論過程から論理的に適切な結論を 導くことができるかを調査する

られた過程から結論を導く能力について統制的に調査を行う．特に，言語モデルが苦手としてきた否定表現の処理に焦点を当て，only やnot といった否定表現が含まれる推論過程から論理的に適切な結論を 導くことができるかを調査する（図 1).

GPT-3（text-davinci-002，パラメータサイズ 175B） $[3,1]$ と OPT-66B (Open Pre-trained Transformer Language Models）[4]を含む大規模言語モデルを対象 とした実験の結果，only，not，implausible といった 表現に誤誘導 (mispriming) され，否定的な表現が 推論過程に含まれるだけで，論理的な帰結に反して モデルの下す結果は大きく noに偏ることが観察さ れた.

この結果から，依然として深い言語理解に基づく 論理的な推論が行われていないことが示唆された.

## 2 実験設定

評価したい能力: 思考連鎖指示では，少なくとも (i) 推論過程を生成し (ii) 推論過程を踏まえて結論を

$
\begin{aligned}
& \text { Determine whether an artificially constructed sentence } \\
& \text { relating to sports is plausible or not. } \\
& \text { Q: Is the following sentence plausible? "Bam Adebayo } \\
& \text { scored a reverse layup in the Western Conference Finals." } \\
& \text { A: Let's think step by step. } \\
& \text { Bam Adebayo is an American basketball player. Scoring a } \\
& \text { reverse layup only happens in basketball. So the answer is } \\
& \text { yes. } \\
& \text { Q: Is the following sentence plausible? "Santi Cazorla } \\
& \text { scored a touchdown." } \\
& \text { A: Let's think step by step. } \\
& \text { Santi Cazorla is a soccer player. Touchdowns are only } \\
& \text { happen in football. So the answer is no. } \\
& \text { Q: Is the following sentence plausible? "DeMar DeRozan } \\
& \text { was called for the goaltend." } \\
& \text { A: Let's think step by step. } \\
& \text { DeMar DeRozan is an American basketball player. } \\
& \text { Goaltending only happens in basketball. So the answer is } \\
& \text { yes. }
\end{aligned}
$

図 2 少数事例指示文の例，緑色は推論過程の部分を表す

出力するという 2 つの能力が求められる. 本研究で は，後者に焦点を当てて評価を行う，後者に焦点を 当てる理由としては，yes/no の答えのみを出力する 段階は分類問題であるため評価が比較的簡単である ことと，この能力は思考連鎖指示が達成されるため の必要条件であるため，最低限の要請として達成で きることを期待したいという点があげられる.

問題設定: 例題として，「Pが A をした」という文 の尤もらしさをモデルに自然言語で問う設定を採用 した1）。ここでPは人名(player，スポーツ選手名）, A は行動（action，ボールを踣るなど）を表し，推論過程ではPが何のスポーツ S の選手であるか，また A がそのスポーツS で行われているかを段階的に推論するシナリオを採用した。図 2 に示す通り，実際 の問題は英語で書かれている.

実験では，問題と推論過程（So the answer is まで） をモデルに入力し，モデルが yes/no のどちらを回答 するか分析することで，推論過程を踏まえて適切な 結論を出力する能力を評価する．結論を導くステッ プでは「PはSの選手である，SではAしない. よっ てPはAしない」といった簡単な論理推論が求めら れている。この段階において，例えば推論過程に


$n o t$ のような否定表現が出現したら結論を no とす るといった表層的な処理が行われているかを調査 する.

なお，推論過程はあらかじめ準備した適当なもの を入力しており，ある人名があるスポーツの選手で ありそうか，ある行動がそのスポーツで行われるか といった常識的知識をモデルに問わない。この点は 3.1 節でも更に対処する。

少数事例指示: 先行研究 [6] に倣い，タスクに関 する説明と，問題文・模範的な推論過程・結論を合計 3 問をモデルに入力したのち，実際に解かせたい 問題の問題文と推論過程を入力する．以降導入する 否定語を挿入した設定などにおいても，指示文は共通のものを用いている。

モデル： 実験では，GPT-3（text-davinci-002，パラ メータサイズ 175B） [3,1] と OPT(Open Pre-trained Transformer Language Models) [4] を用いた. OPT に ついては Huggingface ${ }^{2)}$ 上に公開されているパラ メータサイズの異なる 7 モデル (350M, 1.3B, 2.7B, 6.7B, 13B, 30B, 66B）を評価対象とした。

## 3 実験

まず初めに，推論過程を踏まえて正しく回答でき るかを精緻に問うため，常識知識ではなく推論過程 を見なければ解けない問題設定を導入する (3.1 節).次に，否定表現の有無とモデルの振る舞いについて 調査を行う (3.2 節).

## 3.1 事前実験: FICTION 設定の導入

設定 BIG-Bench の Sports understanding 問題 [5] か ら収集したデータセット (REAL) に加え，架空の選手名・スポーツ名から構成したデータセット（FICTION） を用意した (付録 A). 既存の REAL セットは実世界 の常識に即した問題になっているが，本研究の関心 のもとでは，モデルが正解した時に推論過程の内容 を理解して結論を導いたのか，モデルが持つ常識知識に基づいて回答できたのかの切り分けが難しい.従って，推論過程を踏まえないと答えることのでき ない FICTION 設定を導入した。なお，正解ラベルの 分布は $1: 1$ であることが期待されるが，乱数シード の都合上，REAL 設定では正解ラベルが yes の問題 が 496 問，正解ラベルが no の問題が 504 問であり， FICTION 設定では正解ラベルが yes の問題が 495 問，
 opt
表 1 結果（yes: yes の割合，no: no の割合）

正解ラベルが no の問題が 505 問である.

結果 表 1 に各設定での正解率と, モデルが yes/no と回答した割合を示す.また前述の通り， データセット中の yes/no が回答である問題の比はお よそ $1: 1$ である。事前学習の知識が使えない FICTION 設定では全体的に正解率が下がり，特に OPT-30B お よび OPT-2.7B においては, 出力が yes か no のどち らかに大きく偏ることになった. このことから思考連鎖指示中には生成した推論過程のみでなく，モデ ルが有する知識も活用されていることが示唆され，推論過程の分析をする上で，事前知識が使えない設定を導入することの意義が確認された. 以降の実験 では，FICTION 設定に編集を加えていく。

## 3.2 実験: 否定語の影響

設定： 否定表現に関する 4 つの設定を導入す る. ONLY 設定において，元の問題設定 [5] では，「P は $\mathrm{S}_{1}$ の選手である. A $\mathrm{S}_{2}$ で行われる. よって no」 というシナリオで問題が設計されているが，「Aが $\mathrm{S}_{2}$ で行われる」ことは「Aが $\mathrm{S}_{1}$ で行われない」こ とを含意しないため, 厳密には曖昧性のある問題で あった. そこで「Aが $\mathrm{S}_{2}$ のみで行われる」といっ た制限を導入することで，問題を解きやすくする。 Not 設定は，否定表現の意味合いを強まることの影響を調べるために導入する． Implausible+（Not）は FICTION 設定と同じ問題構成で，質問文や推論過程内の機能語を変えた場合でも，モデルがその変化に 応じて正しい出力をするかを調査する. 各設定の概略を以下に示す. モデルには質問と，回答における \{はいいいえ $\}$ の直前までが入力される。また図 3 の例のように，実際はこれらの問題は英語で記述さ れている.

## ONLY

質問:「Pが A した.」という文はあり得そうか？回答: $P$ は $S_{1}$ 選手であり, $A$ は $\left.\{S_{1} / S_{2}\right.\}$ のみで行

Q: Is the following sentence plausible? "Judy Hogan
set the pick and roll."
A: Let's think step by step.
Judy Hogan is a fileball player. Set the pick and roll
only happens in caseball. So the answer is
Q: Is the following sentence plausible? "Judy Hogan
set the pick and roll."
A: Let's think step by step.
Judy Hogan is a fileball player. Set the pick and roll
did not happen in fileball. So the answer is

Q: Is the following sentence implausible? "Judy
Hogan set the pick and roll."
A: Let's think step by step.
Judy Hogan is a fileball player. Set the pick and roll
only happen in caseball. So the answer is

Not+Implausible設定
Qogan set the pick and roll."
A: Let's think step by step.
Judy Hogan is a fileball player. Set the pick and roll
did not happen in fileball. So the answer is

図 3 ONLy, Not, Implausible および Not+ImPlaUSIBLE の設定における入力文の例.

われるので，\{はい/いえ\}

## Not

質問: 「PがALた.」という文はあり得そうか？

回答: $\mathrm{P}$ は $\mathrm{S}_{1}$ 選手であり，A $\left.\{\mathrm{S}_{1}\right.$ のみで行わ れる/ $S_{1}$ で行われない $\}$ ので，\{はい/いえ\}

## IMPLAUSIBLE

質問:「Pが A Lた.」という文はあり得ないか？

回答: $\mathrm{P}$ は $\mathrm{S}_{1}$ 選手であり, $A$ は $\left.\{\mathrm{S}_{1} / \mathrm{S}_{2}\right.\}$ のみで行 われるので，\{いいえ/いい\}\})

## IMPLAUSIBLE+NOT

質問: 「PがALた.」という文はあり得ないか？

回答: $\mathrm{P}$ は $\mathrm{S}_{1}$ 選手であり, $\mathrm{A}$ は $\left.\{\mathrm{S}_{1}\right.$ のみで行わ れる/ $S_{1}$ で行われない $\}$ ので，\{いいえ/はい\} $\}$

## 3.3 結果・考察

表 2 に結果を示す. 全てのタスクにおいて, noが 出力された問題の割合の大幅な上昇を観測した.こ の結果から, 出力が否定的な意味合いを持つ単語に 誤誘導されていることが示唆される.

ONLY 設定: この設定では，問題が明確化されたに も関わらず，FicTION 設定と比較すると no の生成率 が高まることから，言語モデルは onlyによって誤誘

表 2 結果（yes: yes の割合， no: no の割合）

導されたことが確認された. この点からも，言語モ デルが論理的な推論といった深い言語理解に基づい て思考連鎖指示をできているとは考えづらい.

Noт 設定：この設定では，yes の問題は onlyを用 いた ONLY 設定と同様のものを，noの問題は not を 用いた推論過程に書き換えたものである. この設定 でも FICTION 設定と比較すると no の生成率が高くな り，依然として否定語の扱いに苦戦していることが 観察された。

ImPLAUSIble (+Not) 設定 : ImplAUSIBLE 設定と ImPLAUSIBLE+NOT 設定の共通点は, 少数事例指示文の 部分に変更を加えずに, implausible かという質問に 変更したことである。この 2 つの設定でも，FICTION 設定より多くの no が生成され, 否定表現に誤誘導 され，GPT-3，そしてどんなパラメータ数の OPT に 関しても，implausible という単語に誤誘導され，ほ ぼ noしか答えない現象が観察された。

以上の観察より，単なる否定的な単語の出現によ り，論理的に妥当な帰結に反して，言語モデルの 回答は no に誤誘導されていくことが確認された.従って，思考連鎖指示では生成された推論過程に含 まれる浅い特徴によって，結論を導いている可能性 が示唆された。

## 4 関連研究

思考連鎖指示による性能向上 これまでの思考連鎖指示に関する研究では，主に最終的な結論の 正当性が評価され，推論過程の妥当性に関して の大規模な評価は行われていなかった. 例えば， BIG-Bench [5] を代表とした横断的評価において，思考連鎖指示を用いることによって，多数のタスク において人間の正解率を上回ったことが報告され た [6].

本研究は，結論の正当性と共に，推論の過程の妥当性や，モデルの推論におけるある種の癖を分析し
たものであり，本研究の結果から，思考連鎖指示の 評価の解像度を上げ，近年の言語モデルの能力につ いて知見を深めることも期待される。

言語モデルにおける誤誘導効果と否定表現 事前学習済み言語モデルでは，例えば Talk? Birds can [MASK] と入力すると Birds can talk と生成してしま うように，質問に直接関係のない単語に出力が誘導 される誤誘導効果が報告されている [7].

アリストテレスの「命題論」では，全ての宣言文 は肯定と否定のいずれかに分類されている [8], 否定表現は自然言語を扱うための重要な概念であると されている。．否定表現に焦点を絞ったデータセット が多数存在している $[9,10,11,12]$. それらのデータ セットを用いた評価結果から，否定表現を理解する ことは事前学習済みモデルにとって挑戦的なタスク であることが確認されている [13]. 本研究の結果で は，推論過程や問題文に否定表現が含まれる際，最近の大規模言語モデルでも，no と結論を下してしま うような誤誘導効果が生じることを確認した。

## 5 おわりに

本稿では，大規模言語モデルの推論能力の向上に 寄与する思考連鎖指示を対象に，推論過程から結論 を導く部分，特に否定表現に注目し，大規模言語モ デルは妥当な推論過程を行なっているかどうかを検証した. GPT-3 とOPTを対象とした実験では，論理関係ではなく，否定表現が存在するからnoを生成 するというような浅い推論を行なっている可能性を 明らかにした。

今後はより多くの思考連鎖指示が有効とされるタ スクに検証対象を拡張しさらに深堀りしていく.ま た，これまでに BERT [14] などを対象とした内部解析手法を用い，大規模言語モデルの内部挙動を分析 する方向性も興味深い。

## 謝辞

本研究は，JSPS 科研費 JP21H04901，JST ムーン ショット型研究開発事業 JPMJMS2011 (fundamental research), JST 次世代研究者挑戦的研究プログラム JPMJSP2114 の助成を受けて実施されたものである.

## 参考文献

[1] Tom B. Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, and et al. Language models are few-shot learners. In Hugo Larochelle, Marc'Aurelio Ranzato, Raia Hadsell, Maria-Florina Balcan, and Hsuan-Tien Lin, editors, Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual, 2020.

[2] Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Ed H. Chi, Quoc Le, and Denny Zhou. Chain of thought prompting elicits reasoning in large language models. CoRR, Vol. abs/2201.11903, , 2022.

[3] Long Ouyang, Jeff Wu, Xu Jiang, Diogo Almeida, Carroll L. Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, Alex Ray, John Schulman, Jacob Hilton, Fraser Kelton, Luke Miller, Maddie Simens, Amanda Askell, Peter Welinder, Paul F. Christiano, Jan Leike, and Ryan Lowe. Training language models to follow instructions with human feedback. CoRR, Vol. abs/2203.02155, , 2022.

[4] Susan Zhang, Stephen Roller, Naman Goyal, Mikel Artetxe, Moya Chen, Shuohui Chen, Christopher Dewan, Mona T. Diab, Xian Li, Xi Victoria Lin, Todor Mihaylov, Myle Ott, Sam Shleifer, Kurt Shuster, Daniel Simig, Punit Singh Koura, Anjali Sridhar, Tianlu Wang, and Luke Zettlemoyer. OPT: open pre-trained transformer language models. CoRR, Vol. abs/2205.01068, , 2022.

[5] Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao, Abu Awal Md Shoeb, Abubakar Abid, Adam Fisch, Adam R. Brown, Adam Santoro, Aditya Gupta, Adrià Garriga-Alonso, and et al. Beyond the imitation game: Quantifying and extrapolating the capabilities of language models. CoRR, Vol. abs/2206.04615, , 2022.

[6] Mirac Suzgun, Nathan Scales, Nathanael Schärli, Sebastian Gehrmann, Yi Tay, Hyung Won Chung, Aakanksha Chowdhery, Quoc V. Le, Ed H. Chi, Denny Zhou, and Jason Wei. Challenging big-bench tasks and whether chain-of-thought can solve them. CoRR, Vol. abs/2210.09261, , 2022.

[7] Nora Kassner and Hinrich Schütze. Negated and misprimed probes for pretrained language models: Birds can talk, but cannot fly. In Dan Jurafsky, Joyce Chai, Natalie Schluter, and Joel R. Tetreault, editors, Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, ACL 2020, Online, July 5-10, 2020, pp. 7811-7818. Association for Computational Linguistics, 2020.

[8] John L Ackrill and et al. Categories and De interpretatione. Clarendon Press, 1975.

[9] Atticus Geiger, Kyle Richardson, and Christopher Potts. Neural natural language inference models partially embed theories of lexical entailment and negation. In Afra Alishahi, Yonatan Belinkov, Grzegorz Chrupala, Dieuwke Hupkes, Yuval Pinter, and Hassan Sajjad, editors, Proceedings of the Third BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP, BlackboxNLP@EMNLP 2020, Online, November 2020, pp. 163-173. Association for Computational Linguistics, 2020.

[10] Abhilasha Ravichander, Matt Gardner, and Ana Marasovic. CONDAQA: A contrastive reading comprehension dataset for reasoning about negation. CoRR, Vol. abs/2211.00295, , 2022.

[11] Roser Morante and Eduardo Blanco. *sem 2012 shared task: Resolving the scope and focus of negation. In Eneko Agirre, Johan Bos, and Mona T. Diab, editors, Proceedings of the First Joint Conference on Lexical and Computational Semantics, * SEM 2012, June 7-8, 2012, Montréal, Canada, pp. 265-274. Association for Computational Linguistics, 2012.

[12] Johan Reitan, Jørgen Faret, Björn Gambäck, and Lars Bungum. Negation scope detection for twitter sentiment analysis. In Alexandra Balahur, Erik Van der Goot, Piek Vossen, and Andrés Montoyo, editors, Proceedings of the 6th Workshop on Computational Approaches to Subjectivity, Sentiment and Social Media Analysis, WASSA@EMNLP 2015, 17 September 2015, Lisbon, Portugal, pp. 99-108. The Association for Computer Linguistics, 2015.

[13] Md Mosharaf Hossain, Venelin Kovatchev, Pranoy Dutta, Tiffany Kao, Elizabeth Wei, and Eduardo Blanco. An analysis of natural language inference benchmarks through the lens of negation. In Bonnie Webber, Trevor Cohn, Yulan He, and Yang Liu, editors, Proceedings of the $\mathbf{2 0 2 0}$ Conference on Empirical Methods in Natural Language Processing, EMNLP 2020, Online, November 16-20, 2020, pp. 9106-9118. Association for Computational Linguistics, 2020.

[14] Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. BERT: pre-training of deep bidirectional transformers for language understanding. In Jill Burstein, Christy Doran, and Thamar Solorio, editors, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL-HLT 2019, Minneapolis, MN, USA, June 2-7, 2019, Volume 1 (Long and Short Papers), pp. 4171-4186. Association for Computational Linguistics, 2019.

## A Fiction データセット

FICTION 設定では，架空のスポーツ名を 5 個，そして一種目につき 100 個の架空の選手名，合計 500 個の選手名を作った.ここで架空スポーツ名の全部および架空選手名の一部（50 個）を表 3 に示す.

表 3 FICTIONデータセットの一部詳細


 葉夢宇 1 栗林樹生 1,2 舟山弘晃 1,3 鈴木潤 1,3 1 東北大学 ${ }^{2}$ Langsmith 株式会社 ${ }^{3}$ 理化学研究所 \{ye.mengyu.s1, h.funa\}@dc.tohoku.ac.jp \{kuribayashi, jun.suzuki\}@tohoku.ac.jp  