* 本研究会は、JST CREST「信頼されるAIシステム」研究領域「記号推論に接続する機械学習」プロジェクト（グラント番号：JPMJCR22D3）の研究活動・成果展開の一環として開催されます。
2025年08月26日(火) 13:30 ~ 17:30
2025年08月27日(水) 10:30 ~ 17:00
こちらの人工知能学会参加申込フォームより参加申込を行ってください。
当研究会の聴講は無料です。
ハイブリッド開催
オンライン会場はZoom、現地会場は富山県民会館 704会議室（富山県富山市）です。
富山駅からは徒歩10分です。富山駅から富山地方鉄道バスをご利用の場合は、「富山市役所前」が最寄りのバス停です。
特集「認知と推論」および一般
近年、人工知能の活用が進む一方で、人間のような柔軟な「認知」や「推論」を実現するには、知識や文脈、意味づけなどを扱う新たな仕組みが求められています。本研究会では、「認知と推論、一般AI」をテーマとした企画セッションを開催するとともに、計算論的認知モデル、記号推論と機械学習の統合、ニューロシンボリックAIなどに関連する研究発表を募集します。また、これらに限らず、人工知能の基本的な問題に関する理論や応用の研究発表も幅広く募集します。
言語の統語と意味をつなぐn-gramの幾何代数
In natural language processing, it has been empirically known that skip-grams, co-occurrence statistics of two words with some number of words in between them, is an effective form of data to learn semantic nature of the words. In this study, we propose a new theoretical framework, called n-gram algebra, that accounts for why a set of skip-grams is effective to capture the “geometric shape” of word vectors. This approach bridges the syntactic aspects of n-gram languages to its semantic one, geometric symmetry in the word vector space. Through this theoretical observation, we discuss its implication on how large language models process linguistic inputs.
分布意味論と形式意味論の合流
近年、大量のテキストを事前学習した大規模言語モデルが目覚ましい進歩を遂げている中で、人のようにことばの意味を計算処理する人工知能を実現できる日は近いのだろうか？ ことばの意味を統計的にとらえる「分布意味論」と、ことばの意味を形式的にとらえる「形式意味論」は、いずれもことばの意味を計算可能な表現で表し分析する枠組みであり、それぞれ自然言語処理と理論言語学の一分野として研究が進められてきた。本講演では、分布意味論と形式意味論の考え方を概観し、二つの考え方の実証的な合流の可能性について、(1) 形式意味論に基づく言語モデルの分析と、(2) 形式意味論に基づく意味解析・推論システムの開発に焦点を当て、最近の関連研究を交えて紹介する。
ニューロシンボリック AI における記号論理の不変性の応用
近年、深層機械学習の応用が普及する中、解釈可能性の欠如や複雑な推論ができない点が課題となっている。一方、記号推論や知識ベースなどいわゆる古き良き AI は、ノイズに対する頑健性の低さや知識獲得の困難から実世界での応用が難しい。そのため、両者の長所を融合するニューロシンボリック AI の研究が注目を集めている。しかし、深層機械学習モデルと記号を合わせると組み合わせ爆発があり、実用的な大規模な問題への応用が難しい。本研究では、記号論理における不変性に着目し、深層機械学習モデルにもその不変性を応用することでより大規模な問題への応用につなげる。
ニューロシンボリックエージェント：複雑な世界における忠実な推論・学習・行動
発表時間の目安は、一般発表は25分（20分発表+5分質疑）、招待講演は60分（50分発表+10分質疑）です。
グラフアテンションに基づく微分可能なMaxSAT解法
森山 総太 (総合研究大学院大学)、井上 克巳 (国立情報学研究所)
時系列CDCLに基づく成分分割型投射モデル計数手法の形式化と実装
伊藤 健太 (名古屋大学)、橋本 健二 (香川大学)、酒井 正彦 (名古屋大学)
Counterfactual Explanations for Dynamic Multi-valued Logic Programs
Tony Ribeiro (Centrale Nantes France)、Maxime Folschette (Centrale Lille France)、Morgan Magnin (Centrale Nantes France)、Katsumi Inoue (National Institute of Informatics Japan)、Tuan Nguyen (Hanoi University of Science Vietnam)、Kotaro Okazaki (Steelous Protocol Japan)、Kuo-Yen Lo (Steelous Protocol Japan)、Jérémie Poschmann (INSERM Nantes Université CHU Nantes France)、Antoine Roquilly (Nantes Université CHU Nantes INSERM France)
（30分休憩 15:00 ~ 15:30）
招待講演：ニューロシンボリックエージェント：複雑な世界における忠実な推論・学習・行動
新藤 光 (TU Darmstadt)
招待講演：分布意味論と形式意味論の合流
谷中 瞳 (東京大学 / 理化学研究所)
AIに独創的思考を行わせる方法とその他～矛盾を学習規則とした無限進化と知識体系の必要性～
三浦 圭人 (日本航空高校)
大規模言語モデルによるアブダクション推論ベンチマークの適切性の検討
近藤 拓未 (京都大学)、西野 正彬 (NTT)、山本 章博 (京都大学)
生物模倣型自己注意機構を備えたスパイキングニューラルネットワークに基づく樹状突起選択機構の数理的検証
岡本 晃朋 (同志社大学)、杉山 麿人 (国立情報学研究所)
（昼休み 12:00 ~ 13:30）
招待講演：言語の統語と意味をつなぐn-gramの幾何代数
日髙 昇平 (北陸先端科学技術大学院大学)
招待講演：ニューロシンボリック AI における記号論理の不変性の応用
ポア インジュン (東京科学大学)
（30分休憩 15:30 ~ 16:00）
深層強化学習によって学習されるソートアルゴリズムの特徴
尾澤 貫太 (東京電機大学)、志賀 紘樹 (東京電機大学)、山﨑 浩一(東京電機大学)
機械学習モデルを用いた新規化合物発見におけるNested MCSの性能評価
石井 健太 (九州大学)、美添 一樹 (九州大学)
クロージング (16:50 ~ 17:00)
研究会資料は発表の有無に関わらず stores にて電子版を購入頂けます。
なお、人工知能学会の学生会員は無料です。
また、それ以外の会員の方は研究会登録による年間購読割引があります。
主査: 杉山 麿人
幹事: 西野 正彬、中畑 裕、竹村 彰浩、原田 崇司、金森 憲太朗
担当幹事: 竹村 彰浩、原田 崇司
連絡先アドレス：fpai_kanji[at]sig-fpai.org
人工知能学会第一種研究会に投稿された研究会資料は紙冊子として発行されると同時に、
学会事務局で資料ID（※１）を付与した上で学会文献提供サイト「J-STAGE」上のPDFファイルとして掲載されます。
SIG-FPAI はこちらからご覧いただけます。
発行日(※２)から一年間（エンバーゴ期間）は、PDF閲覧時に認証を求められますが、研究会登録メンバーは無料で閲覧可能です。
認証のための購読者番号やパスワードはオンライン会員情報管理システムにログインし、「学会からのお知らせ」にてご確認下さい。
なお、エンバーゴ期間中、研究会登録メンバー以外の方は、stores にて購入いただけます。
(※１)研究会資料ID付与規則の変更(2021年4月）
研究会資料ID（論文ID）の付与ルールを下記のように統一しました。
(※２)紙媒体の奥付に記載された発行日