权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

非公理的論理と潜在空間表象に基づく創造的記号処理モデル

基于非公理逻辑和潜在空间表示的创意符号处理模型

基本信息

批准号：
20K21812
负责人：
船越孝太郎
金额：
$ 4.08万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
财政年份：
2020
资助国家：
日本
起止时间：
2020-07-30 至 2024-03-31
项目状态：
已结题

项目摘要

本研究の目的は，アリストテレスの項論理を拡張した非公理的論理という枠組みの上で，アナロジーやアブダクションといった推論能力を基盤とした人間の認知的・創造的な記号処理モデルを構築することである．ベクトル意味表現による意味的関連性モデルと訓練可能な推論制御アルゴリズムを与えることで，非公理的論理に基づく有用な推論システムを実現することを狙う．前年度までに，項表示言語として形式化した独自の構文論の上で，非公理的項論理（Non-Axiomatic Term Logic）として，本研究の着想点である非公理的論理（Non-Axiomatic Logic）を大きく発展させた．本年度はまず，前年度までの理論的研究成果の論文化を第一に進め，人工知能学会論文誌に論文を採録されるに至ったことが大きな成果である．非公理的論理では数学的考察に基づいて先見的に与えられた意味論をベースにタスク非依存のアルゴリズムとして推論エンジンが先験的に与えられていたが，非公理的項論理では意味論部分をタスク依存性のある暗黙知として機械学習によって獲得する必要があると共に，その獲得された意味論に基づき推論を行う推論エンジンも学習する必要である．本年度は，前述の論文執筆・査読対応と並行して，簡単な記号推論課題を用いたデータセットを人工的に作成し，深層学習を用いて，項表示言語の意味論であるベクトル意味表現と，それに基づく推論エンジンの実証を進めた．しかしながら，期待した性能を確認できるまでには至らなかった．

The purpose of this study is to construct a framework for human cognition and creation of symbolic processing. The relationship between the meaning of expression and the meaning of training may be inferred from the non-axiomatic logic basis. In the past year, the term expression speech was formalized independently, and the non-axiomatic Term logic was developed. This year's theoretical research results of the previous year are the first progress in the discussion of culture, and the papers of the artificial intelligence society are collected and recorded. Non-axiomatic logic is the basis of mathematical investigation. It is the basis of presupposition. It is the basis of non-dependence. It is the basis of inference. It is the basis of presupposition. It is the basis of non-axiomatic logic. It is the basis of non-dependence. It is the basis of mechanical learning. To obtain the basic inference of the theory, to conduct the inference, to learn the necessary information. This year, the author of the above papers, the examination and the parallel study, the simple notation inference topic, the use of the middle ground, the artificial creation, the deep learning, the expression of the speech meaning theory, the expression of the meaning, the basic inference, the realization of the progress. I'm looking forward to seeing you again.