述語論理に基づくデータベース照合による厳密かつ高精度・高速な事実検証システム

• Project/Area Number: 24K15066
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 61030:Intelligent informatics-related
• Research Institution: Hitotsubashi University
• Principal Investigator: 欅 惇志 一橋大学, 大学院ソーシャル・データサイエンス研究科, 准教授 (00733958)
• Co-Investigator(Kenkyū-buntansha): 欅 リベカ (田中リベカ) 東京工科大学, コンピュータサイエンス学部, 助教 (30973903)
• Project Period (FY): 2024-04-01 – 2027-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2026: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2025: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2024: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
• Keywords: 事実検証 / 述語論理 / データベース照合

Outline of Research at the Start

本研究では，主張の事実性を検証し，真偽の判定とその根拠を提示する事実検証に取り組む．既存研究では情報検索手法により主張と類似した文を根拠文として取得するが，根拠文の再現率の低さが課題である．また，深層学習手法による真偽の判定では，主張と根拠候補の整合性は厳密に考慮されていない．本研究では，述語論理に基づく含意関係認識により，文単位より細かい粒度での根拠の抽出と厳密な真偽判定を行う．また，既存の述語論理に基づく含意関係認識は大規模コーパスへの適用は想定されていないため，本研究では，データベース照合による含意関係認識を行い，述語論理に基づく厳密かつ高精度・高速な事実検証を実現する．