パリとロンドンでの推論研究
Reasoning Studies in Paris and London

第＊＊回 高橋 達二（東京電機大学, University of London, Birkbeck）
Tatsuji Takahashi

はじめにそのような考え方を進めたときにエ一緒くたにするのに近く思える。チージェントと環境、学習と適用、探ューリングマシンやラムダ計算を考

報告者は東京電機大学の理工学

索と活用、最適化と満足化、主観とえても、カバーしづらいところは多部、情報システムデザイン学系で内客観、といった区分がどう変容するい。ある計算は文脈に依存し、他の部観測研究室を主宰している。情報か、にも強い関心がある。このよう計算に文脈を提供する。合理性はさ

システムデザイン学系は、教員が 20な考え方の内部観測論はこれまで生らに明らかに文脈に依存する。認知人以上いる、いわゆる文理複合型の命システムの数理、量子、タンパク科学では合理性の概念が 1990 年代か組織である。2018 年度からは知能情質、脳、経済系、などを扱ってきたら大きく転回した。環境の構造と不報デザインコースを 4 つ目の専門が、報告者は学習と、特に人間にみ確実性を考慮した上で、そこにおけ（英語で言う major）として新設し、られるいわゆる高次認知、とくに推る個別的かつ深いゴールについて議報告者もそこに所属する。プログラ論、因果判断、意志決定を主なフィ論しない古典的な合理性は動物の理ミングと統計学を軸に、自然知能ールドとみなしている。

解に役立たないからである。新しい（認知科学・心理学）と人工知能を人工知能との関連では、深層学習あわせて学ぶもので、恐らく世界的が牽引している今回のブームを、自にもコンセプトとしては先進的であ

然知能の理解に繋げることには関心

論理についても同様で、論理を古る。

合理性は適応的合理性とか生態学的合理性と呼ばれる。

がある。繋げる、というのは、人工典論理と同一視し、真理値として真2008 年度から同学系で働き始め、知能の研究成果を自然知能の分析にと偽のみ考えて、その非現実性を言2010 年度から自分の研究室を立ち上役立てることと、自然知能の研究のいつつ、論理に則っている人工知能

げ、2015 年度で一度学生を全員送り知見を人工知能の発展に役立てるとは論理的だが融通が利かない、とい出せた。研究室からは通算で 62 人のいうのの二方向を考えたい。

うのも、古い（古典的な）論理のと学部生、14 人の修士、2 人の博士学

たとえば、計算、合理性、論理とらえ方であると思う。ここでもビッ生が卒業した。2016 年度の一年間はいった言葉の人工知能関連のメディ

ト計算がそのまま参照点になってい研究室を休止し、本学の海外研修員

ア記事や論文での使われ方に違和感るように思われる。認知科学では、として、ヨーロッパで研究を行っがある。一言で言うと、関係概念が論理主義が一度席巻した関係で、ベた。滞在先は、パリのパリ高等研究実体概念のように使われてしまってイズ派を中心とした確率主義が論理実習院(EPHE)とロンドンのロンドンいる。「コンピュータは計算が得意を否定したが、その後 2000 年代か大学バークベック校の二つとした。

で、合理的で、論理的であり、そのら、哲学（Ramsey ら）や確率論

パリでは数年来の友人の Jean

上に実装された人工知能も、人間と（de Finetti ら）が心理学の実験的知

Baratgin 教授、ロンドンでは一緒に比較してそのような性質を持ってい見と合流し始め、二値論理の一般化多国間共同研究グラントを申請した

る」、とされやすい。そういった言いとしての確率論理が、理論的にも、ことのある Mike Oaksford 教授にホ方は同語反復に近く、あまり意味がまた人間の推論の記述理論としてストをお願いした。

ないと思う。ビット演算のイメージも、ヨーロッパを中心に整備されつ研究としては、世界に内在し、観を計算機の振る舞いのレベルまで拡つある。

測もまた行為であるしかないエージ

張するのは、個別のニューロンの振確率統計に基づいた機械学習が一

ェントの認識と存在に興味がある。

る舞いと動物の振る舞いのレベルを般的になってからは、計算の概念が多様化し、ある意味では曖昧になり、合理性は統計学的推論の妥当性となり、論理は狭いものとして否定されがちである。このような状況で、新しい計算、合理性、論理などの道具立てを用いて、自然・人工両知能の分析や人間の特異性を明らかにするのは喫緊の課題の一つであると考えている。

Jean Baratgin 教授

Mike Oaksford 教授

このあたりはイギリスと西ヨーロッパを中心とした推論心理学が中心されるのは実質含意「p⊃q」で、こ作用などについても大学院生と研究となって知見を蓄えてきたところ

れは「p でないかまたは q である」にしており、親日家でもある。彼にで、地味だし実験設定で思想を表現同値として定義される。それに対しは、大阪市立大学の山祐嗣先生が日するところがあって慣れないと論文て de Finetti は、条件文「p ならば本側の研究代表者であった二国間交も本も読みづらいが、今後いわゆるq」が全体として、前件 p が真のとき

流日仏共同研究 CHORUS プログラ

高次認知の機能の実現といった段階

は q と同じ真理値を持ち、前件が p

ム「真と偽を超えて―確信の度合にさしかかった際には本質的な重要が真でないときは真でも偽でもない」(2011–2014 年)におけるフランス性を持つ分野だと思う。

い、とし、これが条件付きの賭けと側研究代表者として出会い、共同研究を始めた。

さて、本稿は以下、自分のホスト考えられると主張した。賭けで言うをしてくれた二人を紹介し、自分がと、条件文を主張する者の勝ち、負彼らと行った推論心理学における研け、賭けの無効、という三つのケー究について触れ、少しヨーロッパでスが、それぞれ、真 (true)、偽の生活のことも書く。

(false)、真でも偽でもない (void)、とOaksford 教授は、ロンドン大学バーいう値に対応する。そして事象 p, q

クベック校の心理学部学部長であパリでの研究
パリでホストしてくれた Baratginに対して q|p を条件付事象と呼び、条件文の確率が条件付き確率 P(q|p)

ロンドンでの研究
ロンドン側のホストである

り、また Ulrike Hahn 教授とReasoning and Argumentation Labで与えられるとした。これを支持す(ReAL) を共同主宰している。

属し、ある種の質的なベイジアンのるデータが推論心理学でもかなり蓄

Oaksford は 1990 年代から、推論の立場を取り、確率判断や、不確実な積されてきているが、この重要性は心理学を牽引してきた。最初期は論前提からの推論の研究を行ってい確率論との整合性にある。また、こ理主義・記号主義的な認知の理論をる。また、パリを中心とした推論ののような三値論理は conditional

批判し、確率的アプローチを具体化

event algebra という名前で研究されしていった。また記号主義への批判(Probability, Assessment, Reasoningており、広い意味での人工知能の研の関係で、コネクショニストアプロ

and Inferences Studies) を率いてい究の範囲に入っている。条件付事象ーチにも深い関心を持ち、2016 年にる。最近は、 de Finetti の主観確率も事象であり、条件文も文である、は 15 回目がフィラデルフィアで行わ理論が人間の推論をどのくらい適切というのは、関数型プログラミングれ、報告者も聴講した The Neuralに記述するか、という問いにフォー言語のように、関数を値として扱え

Computation and Psychologyカスしている。不確実性の下での、るというのに近く、概念的にも面白

Workshop (NCPW) Series の第一回

確率論と整合的な論理として、deいと思う。

は、イギリスのウェールズにおいて教授は、パリ第 8 大学と EPHE に所研究グループである PARIS

Finetti は三値論理を提案している

このような背景の下、 Baratgin

Oaksford の主催で行われている。こが、そこでは標準的な真と偽の他教授は自然言語の基本的な結合子、のように当初から計算論的レベルだに、真でも偽でもない、あるいは真すなわち「かつ」「または」「でなけでなくアルゴリズムレベルにも関偽が分からないという認識論的な第い」「ならば」などの確率な論理的な心を払っており、また一貫してフレ三の値を認める。これにより、ある性質を、報告者と共同で実験的に調ーム問題などへの理解も深い。

対象がある属性を持つかどうかに関査している。特に、双条件文、「p なするデータの欠損などを扱える他、特に「p ならば q」のような条件文らば q、かつ q ならば p」という、二Oaksford は長年の共同研究者である Nick Chater とともに 2000 年代前

つの条件文の連言の真理値表やその半までは 4 枚カード問題や三段論を適切に扱うことができるとされ確率形式について興味深い結果を得法、条件推論などのタスクを主に扱る。古典論理の範囲では自然言語のている。

い、論理的な推論形式とそこに見ら条件文「p ならば q」に最も近いとBaratgin 教授はロボットとの相互れる人間のエラー・不合理性を確率論や情報理論を用いてモデリングし、人間が環境からの獲得情報量を最大化するといった行動をしていることを明らかにし、それが不確実性の下で合理的であることを示した。
これは、実験者が論理課題として与えた実験タスクが、実験参加者には確率的なタスクとして解釈されてきたこと、そして Oaksford & Chater

ロンドン大学バークベック校心理学

MERLiN ラボの壁に貼られていたの前にはそれが気づかれてこなかっ部の集合写真。反 Brexit の意味合いが国旗。あるメンバーによれば日本たことを意味する。ある意味では、あったようである。報告者は自宅の掃の国旗は上下が逆で、地球外のも「普通の人々」である実験参加者の除のため機会を逸した。のも混じっているらしい。

方が実験者よりも合理的であったことになるのが興味深い。彼らは、こを行う作業を進めており、これによのは夏を過ぎてからで、その後もずのようなモデリングと実験、そしてってなぜ人間の因果関係に関する直っと昔より少なかったという感覚が丁寧でフェアな議論により、推論の感が時に対称的であるのかの合理的ある。パリで住んだのは 3 区のマレ分野での人間観を書き換えることにな説明を行い、かつ人間がなぜごく地区で、テロの現場は 6 つとも近か成功している。その後 2000 年代後半

少数のデータから因果関係を、時にった。ロンドンでの 3 月のテロの時からは本人の言う「心理言語学的転適切に判断でき、また時に固有の傾も住居から歩いてすぐの距離だった回」を経て、実際の言語使用、特に向の間違い方をするのか、についてので、その時に既に家族が帰国して議論 argumentation における合理性答えることができると考えている。

いるのは安心であった。

を再考し、議論において通常は誤謬

また、pARIs の値をカイ 2 乗の代わ

その他、労働法改正のデモとストや詭弁とされる、例えば「無知に訴りに用いることで、それなりに自然で物騒だったり、CDG を飛び立ったえる論証」をベイズ的に分析し、そな前提の元で、PC アルゴリズムなどエジプト航空の飛行機の墜落もあっの限定的な合理性を示すなどの仕事の初期の手続きにおいて より迅速なたし、4 月後半から 5 月いっぱいは悪を精力的に行っている。

独立性検定を実施できると思われ天候でセーヌ川も洪水になり、パリ人間の推論が因果モデルに基づいる。pARIs モデルは前節で述べた de

では噂通りの滞在手続きの面倒。県ており、またベイズネットが適切なFinetti の体系での双条件文の確率に庁に 7 回行って、妻と娘がアメリカ枠組みを与えることもごく早くから相当し、また類似性の尺度として良に里帰りできない危険性が 8 月の出主張しており、論理から確率を経てく用いられる Jaccard 係数と等価な発直前まであった。妻も大学教員な因果へ、という流れを作った一人で他、三角ノルムの性質も持っておので、今思えば、何とか研究者ビザもある。この流れにおいて、り、かつ心理学の実験でも様々なタを取った方が良かった。Brexit のあOaksford の多数の論文の中での異色スクでそのパターンを現すので、よった 6 月下旬はブレターニュ地方での仕事として、立命館大学の服部雅り豊かな含意を持っているものと期研究をしており、ホストである史教授との 2007 年の因果帰納に関す待している。

CNRS の Hugo Mercier 氏と家族ぐるみの付き合いができた。Brexit につる論文があり、これは人間の因果推論が、観察と介入の二段階に分かれヨーロッパでの生活いて、アイルランド出身の奥さんのているという理論を与えた上で、観ご存じの通り、結構色々あった時視点も含め、色々と話ができて興味察段階の新しいモデル（二要因ヒュ期にヨーロッパに滞在した。海外研深かった。7 月にはニースで痛ましいーリスティクス）を与えるものであ修の申請を出しているところだったテロがあった。8 月には私は ICTる。報告者の最近の研究の一つはこ2015 年 11 月のパリのテロで、国家(International Conference ofの議論に深く関連しており、より単緊急事態宣言が出され、所属先で恒Thinking) でプロヴィデンスのブラ純かつデータフィットが良く、また例となっているフランスの提携先研

ウン大学、NCPW15 と CogSci 2016

シミュレーションでも小サンプルか究機関への訪問も中止になっていでフィラデルフィアに行ったが、帰らのより優れた推測を行う pARIsた。来てみたら街中に警備の兵隊がりの JFK 空港では発砲騒ぎ(後に誤報(proportion of assumed-to-be rare多く、日本人観光客はかなり少なかと判明)があり、3 時間の足止めを食instances) モデルを提案するものでった。同じ建物に住んでいたマダムった。その後 11 月にはアメリカの大ある。これを元に Oaksford との共同がオーナーだった日本人に人気の商統領選挙もあったが、アメリカ人の研究として、観察段階・介入段階を店が潰れていったりした。パリの街

妻は今でも参っている。

包括する理論とアルゴリズムの提案中で日本語を良く聞くようになった

パリでは最初は EPHE の一室で仕事をしていた。筑波大に留学し、旧MERLiN (Mace Experimental

フランステレコムの日本法人のトッResearch Laboratories inッパ滞在中であるのを活かして各国プだった人と長話をしたり、なかなNeuroscience) lab というところに机の制度について時々聞いてみたが、か面白い職場だったのだが、研究所をもらって落ち着いて研究ができどこと比較しても、日本の先生が働内の研究組織に大きい変化があり、た。認知神経科学の研究室なので、き過ぎなのは確かである。日本の大その後は必要があって街中のコワー

学生の卒研の実験に参加したりし学の良さについては言うまでもなキングスペース（シェアオフィス）た。学生もスタッフも全員が揃いもい、として、しかし環境の落差を肝を多用した。これは、お金はかかる揃って英語が流暢なのは、まあ当たに銘じた上で、仕事の仕方を良く考ものの、とても良かった。報告者はり前であるが、大きなアドバンテーえ直すきっかけになった。また、一フランス語が得意でないので、コワジである。

年間で三つほど、全て違う国の研究

こういった話については、ヨーローキングスペースでスタッフや他の自分の仕事時間は年で平均して、者との行き違いとその修復のプロセ

客と英語でおしゃべりができたのがせいぜい週に 30 時間くらいだっただ

スを経験し、自分の基本的なポリシ良かった。ちなみに知らない人としろうか。子どもが 1 歳になったばかーに関しても考える良い機会になっょっちゅうおしゃべりするのはパリりで、また保育園も現地でほとんどた。

でもロンドンでも、普通のカフェで使えなかったからである。これではも電車でも同じで、近所のスーパー

あまりに足りないと、結構フラストの店員に映画を薦めらるといったこレーションもあったのだが、今年 4研究に関し Jean と Mike に、諸手とも頻繁にあって楽しかった。フラ

月の帰国後は教育や雑用で、全く集続きとサポートについて EPHE のアンスに行った後も、日本に帰国後中して研究のできない週すらあるわ

ジア・アフリカ地域担当のも、通説通り 6 週間後にカルチャー

けで、ヨーロッパでは、特に日本でChristophe Valia-Kollery 准教授とショックがあったように思うが、帰の学期中の 2 倍以上のアウトプット

バークベックの院生の Nicole Cruz国時のそれは通りすがりの人と話ががあったし、研究費の申請書などにに、大変お世話になりました。パリできないのを少し息苦しく思う。大もそれなりの時間を費やせたのはあで EPHE のオフィスを使いづらくな体、現地で深くお世話になった人達りがたかった。

ってからは Hubsy Café &Coworking の Rebecca, Anthonyとは、公園やカフェで出会ったし、子ども連れだとさらに話が弾んだ。

謝辞

日本の研究

Jérémy が面倒をみてくれました。最Mike はバークベック校の心理学部

初は Arts & Métiers 店で、オープン多様性の尊重なり、こちらを「外の学部長を長くやっているので、打後は保育園に近い新 République 店人」扱いしない人々のオープンさのち合わせ時に色々面白い話を聞けで、のびのび仕事をさせてもらいま恩恵は最大限に受けた。有り難いこた。印象に残っている話の一つはした。近所の Fragments や Fringeとである。

「心理学部の教員については研究にでも相当長居させてもらいました。

パリは何度か研究出張でも行って支障が出ず、共同研究や交流の時間同じくらいの子どものいる夫婦でいて、プリンタなど使いやすくないも取れるよう、年間 40 時間以上教えある Thérèse と Hugo、リエさんとような印象があったので、A4 サイズさせないように守っている。そうしオリヴィエ、ミユキさんとセバスチのソニーの電子ペーパーの DPT–S1

ないとアカデミックな機関として存ャン、アイコさんとザックに本当にと iPad Pro + Apple Pencil を中心続できないから。」というもので、最色々な面で深く助けられました。に、完全にペーパーレスにして行っ初は 40 コマか授業か時間か、単位を日本で自分の不在をカバーしてくた。なぜかパリに電子ペーパー端末聞き返してしまった。ただ確かに、れた同僚の上浦さん、柴山さん、我が大好きな人に良く声を掛けられ、北米でも、研究費を沢山とる研究教妻さん、佐藤先生、会いに来てくれ

それは何なのか、どう使うのか、ど員の教育負担も大体同様であり、週 2た山川さん、一郎さん、秋田の両

このメーカーの何という型番なのコマの授業を一セメスター行うとい親、 会いに来ようとしてくれた寺島か、と 10 回くらい聞かれたので、こう場合が多いように見える。欧米のさん、浅川さん、沼尻さん、そしてっちも説明に慣れてやたら流暢にな研究大学の教員の仕事の速さを想起

同時期にパリにいた武藤さん、あまり、型番などスマホで写真を撮るよし、納得した。また、最近良く話題りお会いできませんでしたが大変心う勧めるなど、手順がすぐ固まっになるように、日本の大学に比べて強かったです。

た。ロンドンでもフランス出身の研スタッフが数倍多く、大学教員が試皆さんなしには今回の在外研究は究者に同様に尋ねられた。何かあ験監督を行うと言ったことは決して不可能でした。どうもありがとうごる。

ないそうである。大学院生に聞いた

ざいました！

ら、時々時給 20 ポンド程度で監督をねがいいたします。

また、パリにせよロンドンにせよ、ロンドンでは一ヶ月間、ロンドン大学バークベック校の地下にあるするのだと言っていた。

今後ともよろしくお