抄録
遺伝的プログラミング(GP)において探索途中に個体のサイズが指数関数的に大きくなっていくブロートと呼ばれる問題がある. この問題を解決するために, 同値でよりサイズの小さい木構造に変換する簡約化が提案されている. 簡約化の目的として, 探索中の個体のサイズを抑えることや, 解析の際, Building Block の発見につながることなどがある. 従来, 森らの論文により算術型の木構造における簡約化手法は提案されているが, 今回は新たに論理関数を表す論理式型の木構造における簡約化手法を提案する.