第33回 (2019)
セッションID: 1E2-OS-3a-02
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2019年度人工知能学会全国大会（第33回）
回次: 33
開催地: 新潟県新潟市 朱鷺メッセ
開催日: 2019/06/04 - 2019/06/07
SATソルバーGlucoseを用いたMCS列挙
詳細
主催: 一般社団法人 人工知能学会
会議名: 2019年度人工知能学会全国大会（第33回）
回次: 33
開催地: 新潟県新潟市 朱鷺メッセ
開催日: 2019/06/04 - 2019/06/07
解を一つも持たない制約集合のMSS（Maximal Satisfiable Subset）あるいは MCS（Minimal Correction Subset）を求めることは，人工知能の様々な分野で 重要とされている．本稿では，SATソルバーを利用したMCSの列挙を論ずる． 同様の研究は多くあるが，我々は，効率性の点でそれらを上回る 列挙手続きの提案と実装を目的としている． 本稿ではその基本手続きを示し，その実装の性能を現時点で最高性能を示していると思われ るEnum-ELS-RMR-Cacheと比較した． この結果，提案手法はPMSに対しては優位であったが，MSに対しては劣っていることが分かった．
