Inducing Declarative Logic-Based Models from Labeled Traces

  title={Inducing Declarative Logic-Based Models from Labeled Traces},
  author={Evelina Lamma and Paola Mello and Marco Montali and Fabrizio Riguzzi and Sergio Storari},
In this work we propose an approach for the automatic discovery of logic-based models starting from a set of process execution traces. The approach is based on a modified Inductive Logic Programming algorithm, capable of learning a set of declarative rules. The advantage of using a declarative description is twofold. First, the process is represented in an intuitive and easily readable way; second, a family of proof procedures associated to the chosen language can be used to support the… CONTINUE READING