• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2015 年度 実績報告書

予測・判断・意思決定の論理と計算

計画研究

研究領域予測と意思決定の脳内計算機構の解明による人間理解と応用
研究課題/領域番号 23120002
研究機関慶應義塾大学

研究代表者

岡田 光弘  慶應義塾大学, 文学部(三田), 教授 (30224025)

研究分担者 敷島 千鶴  帝京大学, 文学部, 准教授 (00572116)
金子 守  早稲田大学, 政治経済学術院, 特任教授 (40114061)
山田 友幸  北海道大学, 文学研究科, 教授 (40166723)
下嶋 篤  同志社大学, 文化情報学部, 教授 (40303341)
研究期間 (年度) 2011-04-01 – 2016-03-31
キーワード論理推論 / 意思決定 / 論理の哲学 / 数学の哲学 / 図形論理 / 証明論 / 行動遺伝学 / アレパラドクス
研究実績の概要

論理推論課題、認知課題を用いて、単に集団レベルだけでなく、個人レベルの認知・論理推論能力と意思決定方略との関連性を調べ、その成果を国際学術誌で報告した。論理推論能力を含む認知能力と、意思決定方略の選び方との関係を双生児法行動遺伝学データも含めて分析したことが本研究の独自成果となった。特に、アレ課題調査を組み合わせることにより、意思決定方略と認知・論理推論能力の関係を遺伝要因の観点から分析し成果を上げた。
選択肢のグラフィック表示が論理判断や意思決定に与える影響について、学際研究成果をまとめた。特に多属性選択肢のグラフィック表示が意思決定や論理判断を容易にすることが先行研究で指摘されてきたが、本研究ではアイトラッカーなどによる認知科学的手法と組み合わせながら、グラフィック表現の使われ方が意思決定・判断のプロセスや方略にどのような影響を与えるかという新しい視点から、分野横断的な成果を与えた。図の意味論的特性と統語論的特性が意思決定にどのような効果を与えるかついて欧文専門書の形にまとめた。また、「プロセス=証明対応」というよく知られたソフトウエア科学の観点を取り入れて、図的証明、証明網の観点から判断プロセスを考察した。
論理判断・判断・決定においては蓋然的判断やデフォルト推論が重要である。確率的可能世界意味論と古典論理推論との関係性を計算論的に明らかにし、それを定式化した。その情報学的応用を具体的に与えた。これまで動的論理の枠組みを用いて言語行為について分析を行ってきたが、その成果をチャネル理論的コミュニケーションモデルを用いてまとめた。20世紀初頭以来の論理判断と論理計算モデルの見方を前年度から再吟味してきたが、この成果をまとめ、理論的な側面から我々の研究に取り入れた。ゲーム理論と認識論理の関係についてのこれまでの我々独自の分析等を通じて、意思決定のゲーム論的側面の研究をまとめた。

現在までの達成度 (段落)

27年度が最終年度であるため、記入しない。

今後の研究の推進方策

27年度が最終年度であるため、記入しない。

  • 研究成果

    (47件)

すべて 2017 2016 2015 その他

すべて 国際共同研究 (6件) 雑誌論文 (6件) (うち国際共著 4件、 査読あり 5件、 オープンアクセス 2件、 謝辞記載あり 4件) 学会発表 (27件) (うち国際学会 21件、 招待講演 7件) 図書 (3件) 学会・シンポジウム開催 (5件)

  • [国際共同研究] CNRS (国立科学研究センター)/パリ第1大学/INRIA(フランス)

    • 国名
      フランス
    • 外国機関名
      CNRS (国立科学研究センター)/パリ第1大学/INRIA
    • 他の機関数
      4
  • [国際共同研究] ケベック大学モントリオール校(カナダ)

    • 国名
      カナダ
    • 外国機関名
      ケベック大学モントリオール校
  • [国際共同研究] ローマ第3大学(イタリア)

    • 国名
      イタリア
    • 外国機関名
      ローマ第3大学
  • [国際共同研究] ヘルシンキ大学(フィンランド)

    • 国名
      フィンランド
    • 外国機関名
      ヘルシンキ大学
  • [国際共同研究] ルクセンブルグ大学(ルクセンブルク)

    • 国名
      ルクセンブルク
    • 外国機関名
      ルクセンブルグ大学
  • [国際共同研究]

    • 他の国数
      1
  • [雑誌論文] Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4, Computer science Logic 20162017

    • 著者名/発表者名
      Gergei Bana and Mitsuhiro Okada
    • 雑誌名

      Leibniz International Proceeding Series, Proceedings of Computer Science Logic 2016Article No. 23;

      巻: 23 ページ: 1-17

    • DOI

      10.4230/LIPIcs.CSL.2016.34

    • 査読あり / オープンアクセス / 国際共著 / 謝辞記載あり
  • [雑誌論文] Syntactic reduction in Husserl's early phenomenology of arithmetic.2016

    • 著者名/発表者名
      Mirja Hartimo and Mitsuhiro Okada
    • 雑誌名

      Synthese

      巻: 193 ページ: 937-969

    • DOI

      10.1007/s11229-015-0779-0

    • 査読あり / 国際共著 / 謝辞記載あり
  • [雑誌論文] Genetic factors of individual differences in decision making in economic behavior: A Japanese twin study using the allais problemJournal of Neuro-decision science, Frontiers in Psychology2015

    • 著者名/発表者名
      Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Juko Ando, and Mitsuhiro Okada.
    • 雑誌名

      Frontiers in Psychology, Journal of Neuro-Decision Science,

      巻: 6(1712) ページ: 1-20

    • DOI

      10.3389/fpsyg.2015.01712

    • 査読あり / オープンアクセス / 謝辞記載あり
  • [雑誌論文] フッサール初期の普遍算術と確定多様体2015

    • 著者名/発表者名
      岡田光弘
    • 雑誌名

      現象学年報

      巻: 31 ページ: 1-12

    • 謝辞記載あり
  • [雑誌論文] Understanding the Other through Social Roles2015

    • 著者名/発表者名
      Mamoru Kaneko and Jeffrey J. Kline
    • 雑誌名

      International Game Theory Review,

      巻: 17-1 ページ: 11-31

    • DOI

      10.1142/S0219198915400058.

    • 査読あり / 国際共著
  • [雑誌論文] Elimination of Dominated Strategies and Inessential Players2015

    • 著者名/発表者名
      Mamoru Kaneko and Shuige Liu
    • 雑誌名

      Operations Research and Decisions

      巻: 25 ページ: 35-56

    • DOI

      10.5277/ord150153.

    • 査読あり / 国際共著
  • [学会発表] On introduction rules of generalized connectives with proof-nets and substructural logics2017

    • 著者名/発表者名
      Yuki Nishimuta and Mitsuhiro Okada
    • 学会等名
      French-Japanese Meeting on Philosophy of Logic and Mathematics: Towards Philosophy of Proofs
    • 発表場所
      Keio University (東京都港区)
    • 年月日
      2017-01-12 – 2017-01-13
    • 国際学会
  • [学会発表] Normativity, Normality and Normalization of Proofs2017

    • 著者名/発表者名
      Mitsuhiro Okada
    • 学会等名
      Philosophy of Logic and Mathematics
    • 発表場所
      Keio University (東京都港区)
    • 年月日
      2017-01-12 – 2017-01-13
    • 国際学会
  • [学会発表] Philosophy of Arithmetic in Wittgenstein2016

    • 著者名/発表者名
      Mitsuhiro Okada
    • 学会等名
      Wittgenstein Symposium
    • 発表場所
      Keio University (神奈川県横浜市)
    • 年月日
      2016-12-20 – 2016-12-21
    • 招待講演
  • [学会発表] Some remarks on introduction rules of generalized connectives of multiple linear logic2016

    • 著者名/発表者名
      Yuki Nishimuta and Mitsuhiro Okada
    • 学会等名
      Univ-Paris 1- Keio U Collaborative Meeting on Philosophy of Logic
    • 発表場所
      University of Paris 1 IHPST パリ (フランス)
    • 年月日
      2016-11-11 – 2016-11-12
    • 国際学会
  • [学会発表] Formal proof vs proof form2016

    • 著者名/発表者名
      Mitsuhiro Okada
    • 学会等名
      Univ-Paris 1- Keio U Collaborative Meeting on Philosophy of Logic
    • 発表場所
      University of Paris 1 (IHPST) パリ(フランス)
    • 年月日
      2016-11-11 – 2016-11-12
    • 国際学会
  • [学会発表] Linear logic and philosophy2016

    • 著者名/発表者名
      Mitsuhiro Okada
    • 学会等名
      Philosophy of Linear Logic
    • 発表場所
      University of Lyon リヨン市(フランス)
    • 年月日
      2016-11-10 – 2016-11-10
    • 国際学会 / 招待講演
  • [学会発表] Proof-forms vs. formal-proofs: Towards reconsideration of "formal proofs" and related notions2016

    • 著者名/発表者名
      Mitsuhiro Okada
    • 学会等名
      Workshop of Philosophy of Logic; Kant, Husserl and Linear Logic
    • 発表場所
      Waseda University, Advanced Research Institute (東京都新宿区)
    • 年月日
      2016-10-21
    • 招待講演
  • [学会発表] Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S42016

    • 著者名/発表者名
      Gergei Bana and Mitsuhiro Okada
    • 学会等名
      Computer science Logic 2016
    • 発表場所
      University of Marseille マルセイユ(フランス)
    • 年月日
      2016-08-29 – 2016-09-01
    • 国際学会
  • [学会発表] A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems2016

    • 著者名/発表者名
      Atsushi Shimojima and Dave Barker-Plummer
    • 学会等名
      Ninth International Conference on the Theory and Application of Diagrams
    • 発表場所
      University of Pemsyivania, フィラデルフィア(米国)
    • 年月日
      2016-08-07 – 2016-08-10
    • 国際学会
  • [学会発表] Effective Representation of Information: Generalizing Free Rides2016

    • 著者名/発表者名
      Gem Stapleton, Mateja Jamnik, and Atsushi Shimojima
    • 学会等名
      Ninth International Conference on the Theory and Application of Diagrams
    • 発表場所
      University of Pemsyivania, フィラデルフィア(米国)
    • 年月日
      2016-08-07 – 2016-08-10
    • 国際学会
  • [学会発表] Determinants of individual differences in subjective well-being: Genetic and environmental analyses using Japanese adult samples2016

    • 著者名/発表者名
      Chizuru Shikishima, Shinji Yamagata, Juko Ando, Michio Naoi, & Hideo Akabayashi
    • 学会等名
      The 23rd Congress of the International Association for Cross-Cultural Psychology
    • 発表場所
      名古屋大学 (愛知県名古屋市)
    • 年月日
      2016-07-30 – 2016-08-03
    • 国際学会
  • [学会発表] A study of multi-attribute decision making and reasoning2016

    • 著者名/発表者名
      Takashi Ideno, Masahiro Morii, Mitsuhiro Okada, & KazuhisaTakemura .
    • 学会等名
      The 31st International Conference of Psychology
    • 発表場所
      Pacifico Yokohama (神奈川県横浜市)
    • 年月日
      2016-07-24 – 2016-07-29
    • 国際学会
  • [学会発表] Effects of graphical representation in multi-attribute tables:2016

    • 著者名/発表者名
      Takashi Ideno, Masahiro Morii, Mitsuhiro Okada, & Kazuhisa Takemura
    • 学会等名
      The 31st International Conference of Psychology
    • 発表場所
      Pacifico Yokohama (神奈川県横浜市)
    • 年月日
      2016-07-24 – 2016-07-29
    • 国際学会
  • [学会発表] 眼球運動測定による多属性意思決定過程の検討:属性値の図的表現の影響2016

    • 著者名/発表者名
      森井真広・井出野尚・竹村和久・岡田光弘
    • 学会等名
      第52回消費者行動研究コンファレンス
    • 発表場所
      関西学院大学 (大阪府大阪市)
    • 年月日
      2016-06-18 – 2016-06-19
  • [学会発表] 図表現の意味特性とその認知ポテンシャル2016

    • 著者名/発表者名
      下嶋篤
    • 学会等名
      応用哲学会ワークショップ「現代科学における視覚表象の認識論に向けて 」
    • 発表場所
      東京大学(東京都目黒区)
    • 年月日
      2016-05-07 – 2016-05-07
  • [学会発表] Multiplicative logics and introduction of generalized logical connectives2016

    • 著者名/発表者名
      Mitsuhiro Okada
    • 学会等名
      Philosophy of Logic; Towards Philosophy of Proofs
    • 発表場所
      Keio University (東京都港区)
    • 年月日
      2016-01-14 – 2016-01-15
    • 国際学会
  • [学会発表] The Barwise-Seligman Model of Representation Systems: A Philosophical Explication2015

    • 著者名/発表者名
      下嶋篤
    • 学会等名
      2015年度科学基礎論学会秋の研究例会
    • 発表場所
      東京大学(東京都目黒区)
    • 年月日
      2015-11-07 – 2015-11-08
  • [学会発表] Parametric Constraits in Channel Theory2015

    • 著者名/発表者名
      山田 友幸
    • 学会等名
      科学基礎論学会2015年度秋の研究例会(招待講演)
    • 発表場所
      東京大(東京都目黒区)
    • 年月日
      2015-11-07 – 2015-11-07
    • 招待講演
  • [学会発表] Formal Verification of Cryptographic Protocols and French-Japanese Collaboration2015

    • 著者名/発表者名
      Gergei Bana and Mitsuhiro Okada
    • 学会等名
      Shonan-Village Workshop on Formal verification for Security and Privacy
    • 発表場所
      Shonan-Villadge, NII (神奈川県葉山町)
    • 年月日
      2015-10-23 – 2015-10-26
    • 国際学会
  • [学会発表] Channel Theoretic Reflections on Dynamic Logics of Speech Acts2015

    • 著者名/発表者名
      Tomoyuki Yamada
    • 学会等名
      Structural Analysis of Non-Classical Logics:The Second Taiwan Philosophical Logic Colloquium
    • 発表場所
      台北大学 台北(台湾)
    • 年月日
      2015-10-20 – 2015-10-21
    • 国際学会
  • [学会発表] Assertions and Commitments2015

    • 著者名/発表者名
      Tomoyuki Yamada
    • 学会等名
      International Conference on Williamson, Logic and Philosophy
    • 発表場所
      北京大学 中華人民共和国(北京市)
    • 年月日
      2015-10-16 – 2015-10-16
    • 国際学会
  • [学会発表] Husserlian Notion of Manifold as Proof-Rewrite Networks and its Extension2015

    • 著者名/発表者名
      Mitsuhiro Okada
    • 学会等名
      Workshop "Trends in Proof Theory", Mathematical Society of Germany
    • 発表場所
      Hamburg University ハンブルグ(ドイツ)
    • 年月日
      2015-09-20 – 2015-09-21
    • 国際学会 / 招待講演
  • [学会発表] Husserl’s universal arithmatic and his proof theoretical view of formal mathematics”2015

    • 著者名/発表者名
      Mitsuhiro Okada
    • 学会等名
      Workshop "Philosophy of Mathematics and Proof Theory"
    • 発表場所
      Keio University (東京都港区)
    • 年月日
      2015-09-10 – 2015-09-11
    • 国際学会
  • [学会発表] Product Update for Dynamified Deontic Logic of Speech Acts2015

    • 著者名/発表者名
      Tomoyuki Yamada
    • 学会等名
      15th Congress of Logic, Methodology and Philosophy of Science
    • 発表場所
      ヘルシンキ大学 ヘルシンキ(フィンランド)
    • 年月日
      2015-08-07 – 2015-08-07
    • 国際学会
  • [学会発表] Decision making with multi-attribute tables2015

    • 著者名/発表者名
      Mitsuhiro Okada
    • 学会等名
      the 5th Symposium on Biology of Decision Making
    • 発表場所
      Ecole Normale Superieure (ENS) and ICM パリ(フランス})
    • 年月日
      2015-05-11 – 2015-05-13
    • 国際学会 / 招待講演
  • [学会発表] A Lockean Perspective on What Thinks Cartesian ``cogito2015

    • 著者名/発表者名
      山田 友幸
    • 学会等名
      Self and (its) Realization(s) (招待講演)
    • 発表場所
      北海道大学(北海道札幌市)
    • 年月日
      2015-05-09 – 2015-05-09
    • 国際学会 / 招待講演
  • [学会発表] Formal Verification of Security Properties Against Arbitrary Attackers”,2015

    • 著者名/発表者名
      Gergei Bana and Mitsuhiro Okada
    • 学会等名
      Franco-Japanese Workshop on Computer Security, April 2015
    • 発表場所
      駐日フランス大使館及び慶應義塾大学(東京都港区)
    • 年月日
      2015-04-01 – 2015-04-03
    • 国際学会
  • [図書] Wittgenstein’s Return to Cambridge2017

    • 著者名/発表者名
      Mathieu Marion and Mitsuhiro Okada (Chaptet authir), D.Stern(edit.)
    • 総ページ数
      32
    • 出版者
      Cambridge University Press
  • [図書] Semantic Properties of Diagrams and Their Cognitive Potentials2015

    • 著者名/発表者名
      Atsushi Shimojima
    • 総ページ数
      186
    • 出版者
      CSLI Publications
  • [図書] Emerging Trends in the Social and Behavioral Sciences: An Interdisciplinary, Searchable, and Linkable Resource2015

    • 著者名/発表者名
      Christian Kandler, Edward Bell, Chizuru Shikishima, Shinji Yamagata, & Rainer Riemann
    • 総ページ数
      21
    • 出版者
      Wiley & Sons
  • [学会・シンポジウム開催] 証明の哲学日仏ワークショップ2017

    • 発表場所
      慶應義塾大学三田キャンパス(東京都港区)
    • 年月日
      2017-01-11 – 2017-01-12
  • [学会・シンポジウム開催] 「論理の哲学」日仏ワークショップー証明の哲学に向けて2016

    • 発表場所
      慶應義塾大学三田キャンパス(東京都港区)
    • 年月日
      2016-01-13 – 2016-01-14
  • [学会・シンポジウム開催] Proofs, Computation and Philosophy2015

    • 発表場所
      慶應義塾大学三田キャンパス(東京都港区)
    • 年月日
      2015-11-28 – 2015-11-29
  • [学会・シンポジウム開催] Workshop on Philosophy of arithmetic2015

    • 発表場所
      慶應義塾大学三田キャンパス(東京都港区)
    • 年月日
      2015-09-10 – 2015-09-10
  • [学会・シンポジウム開催] 日仏サイバーセキュリティ会議(形式手法分科会)2015

    • 発表場所
      慶應義塾大学三田キャンパス及び駐日フランス大使館(東京都港区)
    • 年月日
      2015-04-01 – 2015-04-03

URL: 

公開日: 2018-01-16   更新日: 2022-02-01  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi