Towards the integration of inductive and nonmonotonic logic programming
pp. 178-188
in: Setsuo Arikawa, Ayumi Shinohara (eds), Progress in discovery science, Berlin, Springer, 2002Abstract
Commonsense reasoning and machine learning are two important topics in AI. These techniques are realized in logic programming as nonmonotonic logic programming (NMLP) and inductive logic programming (ILP), respectively. NMLP and ILP have seemingly different motivations and goals, but they have much in common in the background of problems. This article overviews the author's recent research results for realizing induction from nonmonotonic logic programs.