cDMN-solver

Description:

The cDMN solver is an execution engine for the cDMN notation, based on a knowledge-based reasoning engine. 

cDMN is an extension of the Decision Model and Notation (DMN) standard, a modelling standard for (straightforward) decision logic that aims to be user-friendly, and easily readable. We extended this notation by adding constraints and other related concepts, increasing the expressivity of the language while staying true to its original goal of user-friendliness. 

The cDMN solver translates cDMN models into specifications for the IDP system – a state-of-the-art reasoning engine – which then executes the models. The IDP system is powerful enough to solve any cDMN model in reasonable amount of time. 

More Information:

• Originates from the AI-Driven Data Science research challenge (FAIR 2019–2023).

• Responsible Research Lead: Joost Vennekens

• Authors: Simon Vandevelde

• Programming Language: Python

• Link to the website

• Link to the repository

• Categories: Symbolic AI

Publications:

• B. Aerts, S. Vandevelde, J. Vennekens,  "Tackling the DMN challenges with cDMN: A tight integration of DMN and constraint reasoning", in. Springer International Publishing (Proceedings of RuleML+RR 2020), pp. 23–38, 2020