Normal forms for Differentiable Logic Machines

From FMS-wiki
Jump to: navigation, search

Differentiable Logic Machines (DLMs) extract a logic program from sample data.

  • develop a simplification procedure for these logic programs
  • apdapt DLMs in a way that they directly learn logical formals in some normal form, e.g. prenex form