SATソルバを活用した決定表作成·検証方式

摘要

条件の組合せパターンの考慮漏れを防止する方法の1つとして、決定表の活用が有効である。しかし、決定表は、条件項目の数が多くなると決定表の規模が指数関数的に大きくなり、その作成やレビューが困難となる。本稿では、決定表の作成やレビューの効率化を目的に、SATソルバを活用して、IF-THEN形式のルールから決定表を作成する方法、および、ルール間の矛盾を検証する方式について報告する。