MaxSATソルバを用いた帰納論理プログラミング

抄録

Inductive Logic Programming is a method of inductive learning based predicate logic. In this work, we propose the method that after converting a problem of inductive logic programming to MaxSAT problem, which solve the MaxSAT problem using a MaxSAT solver. MaxSAT is an optimization version of SAT which consists in finding an assignment that maximizes the number of satisfied clauses.