Learning from interpretation transition

We propose a novel framework for learning normal logic programs from transitions of interpretations. Given a set of pairs of interpretations ( I , J ) such that J = T P ( I ), where T P is the immediate consequence operator, we infer the program  P . The learning framework can be repeatedly applied...

Full description