主催: 社団法人 人工知能学会
会議名: 2008年度人工知能学会全国大会(第22回)
回次: 22
開催地: 北海道旭川市 ときわ市民ホール等
開催日: 2008/06/11 - 2008/06/13
等式に基づく推論は計算機科学の幅広い分野で重要となる。項書換え系の完備化手続きは、等式推論における基本的な問題である語問題を解くための手続きであるが、実行に必要なパラメータの設定が困難であった。本発表では、完備化手続きの並列実行を効率化する多重完備化手続きと自動停止性証明技術を用いて、効率が良くパラメータの入力が不要な完備化手続きを提案する。