| 研究課題/領域番号 |
23K21869
|
|---|
| 補助金の研究課題番号 |
22H00597 (2022-2023)
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 基金 (2024)
補助金 (2022-2023) |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分01010:哲学および倫理学関連
|
|---|
| 研究機関 | 北海道大学 |
|---|
研究代表者 |
山田 友幸 北海道大学, 文学研究院, 名誉教授 (40166723)
|
|---|
| 研究分担者 |
佐野 勝彦 北海道大学, 文学研究院, 教授 (20456809)
金子 守 筑波大学, システム情報系, 名誉教授 (40114061)
東条 敏 亜細亜大学, 経営学部, 教授 (90272989)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2027-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
7,280千円 (直接経費: 5,600千円、間接経費: 1,680千円)
2026年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
2025年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2024年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2023年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2022年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | 言語行為 / 動的様相論理 / ゲーム理論 / 人工知能 / エージェントコミュニケーション / 動的様相述語論理 / 証明論 / 動的義務論理 / 項列様相論理 / 様相述語論理 |
|---|
| 研究開始時の研究の概要 |
一般に発話は何らかの社会的文脈において行われ、当事者たちの関係や考えを様々に変化させる。こうした変化は、義務、権利、許可、禁止のような状況の義務論的構造にも、当事者たちの心的態度（知識、信念、願望、選好、意図など）にも及ぶ。これらの義務論的構造や心的態度は様相論理により特徴づけることが可能であり、近年発展しつつある動的様相論理により、その動的変化の分析が可能になる。本研究は、動的様相論理をインターフェイスとして、言語哲学、論理学（証明論）、人工知能、経済学、ゲーム理論からの多視点的・学際的なアプローチを総合し、状況（社会的文脈）を様々に変化せる発話のダイナミクスを解明しようとするものである。
|
| 研究実績の概要 |
山田と佐野は、項列様相述語論理に等号を追加し、さらに指令と約束の言語行為を表現する動的様相演算子を導入した動的項列義務論理を定式化し、その静的基盤論理に相対的な完全性を証明した。その際、各可能世界に存在する個体の範囲が変化しうる可変個体領域を導入し、個体の存在の偶然性を反映する自然な体系のもとで言語行為の効果の特徴づけを実現した。
佐野はこれに加え、直観主義認識論理に拡張を施した様々な体系に関して、ヒルベルト流公理化の完全性、ゲンツェン流式計算の完全性、カット除去定理などを証明したほか、van Benthem と Liu の関係変化の動的論理を直観主義論理へ一般化し、再帰公理に基づく書き換え戦略による完全性証明、再帰公理の意味を考慮した代替意味論に基づく完全性証明、再帰公理の発想を生かした推件計算の定義を行い、再帰公理の三つの有益な側面を明らかにした。また述語論理のレベルで直観主義論理と古典論理を組み合わせた体系に対してヒルベルト流公理化とゲンツェン流式計算を定義し、健全性と完全性を示した。
東条は、意味論において可能世界間に同値分類を導入し、エージェントの関心外の命題は真偽に差異があろうとも同じパーティションの中におさめることで、アクセスできる可能世界(の同値類)の数を縮小させ、他のエージェントの信念変化が自動的に察知されてしまう現象を回避できる信念論理の定式化に成功した。
金子は、ゲーム理論におけるプレーヤーを理想的数学者とみなすことを避け、他人の状況に自分を挿入して、他人がどのように考えるかを考える行為を取り上げて、社会的文脈の中での信念・知識の発生を論理学の立場から分析することを提案した。また、社会学での ”Symbolic Interactionism” による研究を考慮に入れ、証明論とモデル理論それぞれのアプローチの役割に関する方法論的な視点を提案した。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
研究代表者も各分担者もそれぞれの分担課題の研究を順調に進めており、扱える現象の範囲の拡大と扱いの洗練が進んでいるだけでなく、2022年度の成果が2023年度以降の新たな研究の自然な出発点を示しているため、今後も研究を計画通り進めていくことができる。
具体的には山田と佐野は、常識的様相述語算と項列様相義務論理を融合させたシステムを動的に拡張した常識的動的項列義務論理を2022年度末に論文として発表している。このシステムには、新たな様々な拡張が可能であり、2023年度以降はその作業に着手する予定である。
また東条は2022年度に、各エージェントが顧慮している命題に基づいて可能世界をパーティションに分け、信念修正の手続きを最適化する手法を導入した。2023年度はこの手法に、可能世界を点、パーティションを開近傍と見立てることにより、近傍意味論の視点を取り入れてさらに洗練する研究に着手することができる。
金子は、人の状況に自分を挿入して、他人がどのように考えるかを考える行為を取り上げて、社会的文脈の中での信念・知識の発生を論理学の立場から分析す研究を2022年度に開始した。2023年度はこの研究をさらに進める。
|
| 今後の研究の推進方策 |
2022年度の成果が2023年度以降の新たな研究の自然な出発点を示しているため、今後も研究を計画通り進めていくことができる。
具体的には、山田は、常識的様相述語算と項列義務論理を融合させ、指令と約束を表す動的演算子を組み込んで動的に拡張した常識的動的項列義務論理のシステムに、個体定項の導入や依頼と主張の言語行為を表す動的演算子の導入を行う研究を開始する。また山田は2023年度以降、発話の理解の分析に2022年度の東条の成果を活用する可能性を探る作業も開始する。
佐野は、項列義務論理に、プログラムの構築と関係変更の論理を組み込む拡張の研究や基盤となる等号を持つ静的な常識的項列義務論理の公理化の研究を開始する。
東条は、2022年度に導入した各エージェントが顧慮している命題に基づいて可能世界をパーティションに分け、信念修正の手続きを最適化する手法に、可能世界を点、パーティションを開近傍と見立てることにより、近傍意味論の視点を取り入れて、さらなる洗練を加える。
金子は、人の状況に自分を挿入して、他人がどのように考えるかを考える行為を取り上げて、社会的文脈の中での信念・知識の発生を論理学の立場から分析す研究をさらに進める。
|
