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

機械学習技術による高速な演繹的推論エンジンの開発

利用机器学习技术开发高速演绎推理引擎

基本信息

批准号：
22H03564
负责人：
塚田武志
金额：
$ 11.07万
依托单位：
Chiba University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2022
资助国家：
日本
起止时间：
2022-04-01 至 2027-03-31
项目状态：
未结题

项目摘要

SyGuS という競技会における Inv トラックで優勝できるレベルの高性能なソルバを作成することができた。これは当初の計画における最初のステップであり、これが目論見通り達成できたことになる。機械学習としては強化学習を用いており、素朴なアルゴリズムでも専門家が与えたヒューリスティクスや他の SyGuS の参加ソルバよりも高性能なソルバを作成することができ、さらに進んだアルゴリズムを使うことでさらに高性能なソルバを作ることができた。しかしながら SyGuS 競技会の内容が変更されたため、実際に競技会に参加して優勝することは叶わなかった。この成果の意義は不変条件の発見というタスクにおいても機械学習技術が効果を発揮することを明らかにしたことにある。機械学習の演繹的推論への応用例は多いが、それらは不変条件の発見のような適切な論理式を発見するタスクを対象外または苦手とするか、あるいは適切な論理式の発見タスクを扱うが既存ソルバに比べて実行効率の面で劣っていた。不変条件の発見のようなタスクにおいても機械学習技術を援用することでソルバの効率を挙げられるということは、重要な発見である。SyGuS に優勝するレベルのソルバができたことは重要な進展だが、一方でプログラム検証などへの応用を考えると、作成したソルバが完全に満足の行くものとまでは言えない。その理由は (1) SyGuS 競技会に参加していない非常に優秀なあるソルバと比べると必ずしも勝っているとは言えないこと、(2) SyGuS の Inv トラックの問題はある側面では比較的簡単な（正確にいうと未定述語が１つ）ものであり、応用法はこのクラスから外れる問題も多いこと、が挙げられる。

The game will be held in the middle of the game. This is the first time I've seen you. Machine learning and reinforcement learning are used to create high-performance solutions that are simple and easy to use. The content of the Syracuse Games has been changed, and the competition has been won. The significance of this achievement is not only the development of mechanical learning technology, but also the development of mechanical learning technology. The deduction of machine learning is based on the following: the deduction of machine learning is based on the deduction of machine learning. The deduction of machine learning is based on the deduction of machine learning. No condition for discovery. No condition for discovery. In addition to the above, it is important to make progress in the development of the system, and it is necessary to make progress in the development of the system. The reasons for this are: (1) participation in the SyguS Games is very excellent;(2) the SyguS Games are very good;(3) the SyguS Games are very good;(4) the SyguS Games are very good;(5) the SyguS Games are very good;(6) the SyguS Games are very good;(7) the SyguS Games are very good;(8) the SyguS Games are very good;(9) the SyguS Games are very good;(10) the SyguS Games are very good;(11) the SyguS Games are very good;(12) the SyguS Games are very good;(13) the SyguS Games are very good;(14) the SyguS Games are very good;(15) the SyguS Games are very good;(16) the SyguS Games are very good;(17) the SyguS Games are very good;(18) the SyguS Games are very good;(17) the SyguS Games are very good;(18)