遺伝的プログラミングを用いた項書換え系の自動合成に関する研究
利用遗传编程自动合成术语重写系统的研究
基本信息
- 批准号:13780189
- 负责人:
- 金额:$ 1.41万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Young Scientists (B)
- 财政年份:2001
- 资助国家:日本
- 起止时间:2001 至 2002
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究の目的は、GP手法により、停止性と合流性を満たす完備なTRSを自動合成することである。この目的を達成するために、平成13年度は、(1)適切な遺伝的操作の検討、(2)初期集団への制約の検討、(3)適合度(評価)関数の検討、について行い簡単な関数を表現するTRSの合成に成功した。特に、適合度関数の実現に際してTRSの停止性検証を行うことによって、これまでGPが不得意であった再帰的な関数の合成に成功している。しかし、実験を繰り返すことによって新たな問題点を発見した。実現したGPシステムでは関数記号や終端記号にデータ型による制限を行っていなかったため構文的には正しくとも、意味的に正しくないTRSを合成してしまう場合があった。平成14本年度は、この問題点を解決するため、データ型による項の構成と遺伝的操作を組合せ正しいTRSを合成するシステムを実現した、具体的には、予め、GPシステムに与える関数記号と終端記号にデータ型を付与し、このデータ型に違反する遺伝的操作を行わないように交差と突然変異オペレータを改良した。例えば、2つのリストの連結を行うappendをTRSで実現する場合、その第一、第2引数ともリスト型のデータ(項)を取る必要がある。平成13年度までのシステムでは、引数として任意のデータ型を取ってしまい、その結果、解へ結びつく個体数が減少し、期待する解を得るために、多くの世代を必要とした。平成14年度での改良の結果、構文的にも意味的にも正しいTRSの合成に成功した。ただし、現在は非常に簡単なTRSの合成のみが可能であり、今後の課題として、従来の帰納推論および完備化手続きとの連携により、より大規模なTRSの合成を行うシステムの実現があげられる。なお、これまでの成果をまとめた論文を執筆中である。
The purpose of this study is to integrate TRS automatically and efficiently. This goal was achieved in 2013,(1) the operation of the appropriate genetic analysis,(2) the initial set of constraints,(3) the suitability (evaluation) related to the number of discussions, the selection of the middle line of simple related to the performance of TRS synthesis success. Special, suitable for the implementation of the relevant number of TRS to stop the test, the GP is not satisfied with the relevant number of synthesis success The new problem is not solved. The number of symbols, the type of terminal symbols, the limit of the structure, the meaning of the TRS, and the number of symbols. This year, the problem points are solved, and the composition of the problem points is improved. For example, if TRS is implemented, the first and second arguments of TRS are necessary. In 2013, the number of people in the family was reduced, and the number of people in the family was reduced. The number of people in the family was reduced, and the number of people in the family was reduced. In 2014, TRS was successfully synthesized as a result of the improvement and the structure of the text. The synthesis of TRS is now very simple and possible, and future problems are discussed in detail. The synthesis of TRS on a large scale is now possible.なお、これまでの成果をまとめた论文を执笔中である。
项目成果
期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
近藤久: "遺伝的プログラミングを用いた項書換え系の合成"情報処理学会第61回全国大会講演論文集. 分冊2. 241-242 (2001)
Hisashi Kondo:“使用遗传编程的术语重写系统的综合”第 61 届日本信息处理学会全国会议论文集第 2 卷 241-242(2001 年)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Shugen Ma: "Dynamic Control of Curve-constrained Hyper-Redundant Manipulators"Proc.of 2001 IEEE International Symposium on Computational Intelligence in Robotics and Automation. (2001)
马树根:“曲线约束超冗余机械臂的动态控制”2001年IEEE机器人与自动化计算智能国际研讨会论文集。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
近藤 久其他文献
近藤 久的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('近藤 久', 18)}}的其他基金
二分決定グラフを利用した完備化手続きの自動化とその統合環境構築に関する研究
二元决策图完成流程自动化研究及其集成环境构建
- 批准号:
11780184 - 财政年份:1999
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
二分決定グラフを用いたプログラム検証の自動化に関する研究
基于二元决策图的程序验证自动化研究
- 批准号:
09780231 - 财政年份:1997
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
戦略を導入した項書換え系における到達可能性の研究
引入策略的术语重写系统可达性研究
- 批准号:
10J08166 - 财政年份:2010
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for JSPS Fellows
型付き項書換え系の変換に基づく関数型プログラムの自動検証
基于类型化术语重写系统改造的功能程序自动验证
- 批准号:
18700007 - 财政年份:2006
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
項書換え系を対象としたモデル検査手法に関する研究
术语重写系统模型检验方法研究
- 批准号:
15700015 - 财政年份:2003
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
宣言型プログラムを対象とする高階項書換え系の計算理論
声明性程序的高阶项重写系统的计算理论
- 批准号:
12878047 - 财政年份:2000
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Exploratory Research
高階項書換え系の停止性に関する研究
高阶重写系统终止性研究
- 批准号:
12780229 - 财政年份:2000
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
項書換え系における決定可能な必須呼び計算
术语重写系统中可确定的基本调用计算
- 批准号:
09780235 - 财政年份:1997
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
項書換え系における必須呼び計算機構に関する研究
术语重写系统中必要调用计算机制的研究
- 批准号:
08780238 - 财政年份:1996
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
項書換え系の単一化手法に関する研究
术语重写系统统一方法研究
- 批准号:
07780267 - 财政年份:1995
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
条件付き項書換え系におけるナロ-イングおよび簡約の研究
条件术语重写系统的缩小和缩减研究
- 批准号:
06780229 - 财政年份:1994
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
項書換え系によるプログラム変換に関する基礎的研究
使用术语重写系统进行程序转换的基础研究
- 批准号:
02750260 - 财政年份:1990
- 资助金额:
$ 1.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)