同型性に基づく抽象化問題解決

基于同构的抽象问题求解

• 批准号: 06750420
• 负责人: 山口 智浩
• 金额: $ 0.58万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06750420/
• 关键词: 人工知能; 機械学習; 問題解決; 抽象化; 同型性; 抽象空間の階層化; プランニング; 抽象化階層

本研究では、数学の組み合わせ論の基本概念である同型性を、問題解決における状態表現の抽象化に適用して、問題解決を効率化する手法を確立する。この目的に対し、本年度は以下の研究を行った。(1)同型性に基づく抽象化の理論構築数学の同型性の性質を、状態空間での問題解決に拡張するための理論を構築した。具体的には、対称性の高い組合せ問題に対し、同型性に基づく抽象化を行うと、状態空間で同型な状態が規則的に分布する。この時、互いに同型でない状態の集合からなる局所的な部分空間をとると、状態空間全体が同型な部分空間でおおわれ、かつこの同型な部分空間を1点に縮約した抽象化を行うと、良い抽象空間を生成できることを理論的に明らかにした。(2)状態空間の同型な部分構造の解析手法提案した理論に基づき、状態空間中の1状態から探索を行い、同型でない状態を全て求めるという、局所的な探索で同型部分空間を効率よく求める方法を提案し、プログラムでその有効性を確認した。(3)再帰的な同型性を用いた抽象空間の階層化同型性は、数学的には同型状態間の置換で表される。置換の集合がいくつかの群をなすことに着目し、抽象化を群の数だけ繰り返し再帰的に行うと、抽象空間が階層的に解析できることを発見し、プログラムでその有効性を確認し、従来は解析されていなかった、状態空間の再帰的な構造を視覚化することができた。(4)抽象化階層を利用した抽象化問題解決上位の抽象空間でラフな抽象プランを作成し、下位の抽象空間に移って抽象プランの詳細化を行う。この操作が単調に行えることを理論的に示し、効率の良い問題解決ができる手続きを明らかにした。(5)同型性を利用した集団における協調行動学習本手法の今後の応用分野として、複数ロボットの協調行動学習のシミュレーションを行い、実験用のロボットを製作した。実ロボットによる学習実験は今後の課題である.

The purpose of this study is to establish the homogeneity of basic concepts in the combination of mathematics and theory, the abstraction and application of state expression in problem solving, and the establishment of efficiency techniques in problem solving. The purpose of the research is the following, and the following research is carried out this year. (1) Isotyping is based on the theory of abstraction, and the theory of isotyping of mathematics and state space problem solving is constructed. Concrete problems, high symmetry, combination problems, isotypicity, abstraction, and distribution of state space rules.この时, mutual いに Same type でないState のSET からなる bureau な part space を とると, state space whole が same type な part space でおおわれ, かつこの Same type な part space を 1 point に reduction した abstraction を row うと, good い abstract space を generation できることを theory に明らかにした. (2) Analytical techniques proposed for the structure of the same type in the state space, the theory of the base, the exploration of the 1 state in the state space, and the state of the same typeを全てquest めるという, bureau's なexploration でpartial space をefficiency よくquest めるmethod をproposal し, プログラムでそのeffectiveness をconfirmation した. (3) Again, the isomorphism is represented by the hierarchical homology of abstract space and the representation of substitution between homogeneous states in mathematics. Replacement of the collection of objects, abstraction of groups of numbersだけ粲り returned to the に行うと of the しけ缲り returned, にanalytic of the abstract space がlevel, できることを発见し、プログラムでそのValidity confirmationを、従来はANALYSISされていなかった, なななかった, state space ののできた. (4) The level of abstraction is to use the abstraction problem to solve the problem of abstract space at the upper level and the abstract space at the lower level to move the abstract space into detail.このoperation, 単単に行, えることを Theory, に Demonstration, efficiency, のgood, problem solving, ができる手続きを明らかにした. (5) Use of the same type of grouping and coordination of actions to learn this technique will be used in the future to divide the fields and repeat them.のシミュレーションを行い, 実験用のロボットを 成した.実ロボットによるStudy 実験はFuture projectsである.

项目成果

三浦正宏: "自己主張と模倣に基づく行動の学習-集団における協調行動の生成-" 情報処理学会研究報告. AI95-2. 11-20 (1994)

Masahiro Miura：“基于自我主张和模仿的学习行为 - 群体合作行为的生成”日本信息处理学会研究报告 AI95-2 11-20 (1994)。

Tomohiro Yamaguchi: "Cooperative Reinforcement Learning with Spontaneous Mimetism" Proc.Sixth Int.Fuzzy Systems Association World Congress,(July,1995),. (in press). (1995)

Tomohiro Yamaguchi：“协作强化学习与自发模仿”，第六届国际模糊系统协会世界大会，（1995 年 7 月）。