2022 Fiscal Year Research-status Report
非公理的論理と潜在空間表象に基づく創造的記号処理モデル
| Project/Area Number |
20K21812
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
船越 孝太郎 東京工業大学, 科学技術創成研究院, 准教授 (30839311)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
森 信介 京都大学, 学術情報メディアセンター, 教授 (90456773)
岩橋 直人 岡山県立大学, 情報工学部, 教授 (90394999)
|
|---|
| Project Period (FY) |
2020-07-30 – 2024-03-31
|
| Keywords | 創造的推論 / 非公理的項論理 / アブダクション / 議論 / メタファー / アナロジー |
|---|
| Outline of Annual Research Achievements |
本研究の目的は，アリストテレスの項論理を拡張した非公理的論理という枠組みの上で，アナロジーやアブダクションといった推論能力を基盤とした人間の認知的・創造的な記号処理モデルを構築することである．ベクトル意味表現による意味的関連性モデルと訓練可能な推論制御アルゴリズムを与えることで，非公理的論理に基づく有用な推論システムを実現することを狙う．
前年度までに，項表示言語として形式化した独自の構文論の上で，非公理的項論理（Non-Axiomatic Term Logic）として，本研究の着想点である非公理的論理（Non-Axiomatic Logic）を大きく発展させた．
本年度はまず，前年度までの理論的研究成果の論文化を第一に進め，人工知能学会論文誌に論文を採録されるに至ったことが大きな成果である．
非公理的論理では数学的考察に基づいて先見的に与えられた意味論をベースにタスク非依存のアルゴリズムとして推論エンジンが先験的に与えられていたが， 非公理的項論理では意味論部分をタスク依存性のある暗黙知として機械学習によって獲得する必要があると共に，その獲得された意味論に基づき推論を行う推論エンジンも学習する必要である．本年度は，前述の論文執筆・査読対応と並行して，簡単な記号推論課題を用いたデータセットを人工的に作成し，深層学習を用いて，項表示言語の意味論であるベクトル意味表現と，それに基づく推論エンジンの実証を進めた．しかしながら，期待した性能を確認できるまでには至らなかった．
|
| Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
本年度は，昨年度進めた構文論を主体とした研究成果が論文誌に採択された．並行して，意味論的側面を具体化し，計算モデルとして実証を行う計算機実験を進めた．しかしながら，期待した結果を得られるところまで至らなかった．リサーチアシスタントの稼働が期待通りに確保できなかったことも影響したと思われる．
|
| Strategy for Future Research Activity |
本年度中盤に，だれも予想できなかったレベルの高い性能を持つ大規模言語モデルが登場し，当初の研究計画の想定と現在の研究環境とに大きなずれが生じた．これまでは独自の推論エンジンを強化学習によって構築する計画でいたが，今後は大規模言語モデルを推論エンジンとして活用する方法を検討する計画である．
|
| Causes of Carryover |
リサーチアシスタントの稼働を期待通りに確保できなかったため人件費が浮いたほか，研究の遅れもあって対外発表にかかる費用の支出が少なかった．また，遅れに伴い，実験に必要なデータ作成に使用する計画で確保していた費用を，次年度に先送りすることになった．
今後の方針で述べたように，本年度中盤に，だれも予想できなかったレベルの高い性能を持つ大規模言語モデルが登場し，当初の研究計画の想定と現在の研究環境とに大きなずれが生じた．次年度はそのずれに対応する形で，大規模言語モデルを推論エンジンとして活用する方法を検討する計画である．そのため，大規模言語モデルの利用に関して必要となる経費やリサーチアシスタントの人権費などを中心に研究費を使用する計画である
|
