Interactive Consultant

A decision support tool using knowledge expressed in the FO(.) language.

Description:

FO(.) is First-Order logic extended with types, arithmetic, aggregates, inductive definitions and intensional objects. Experts use this expressive language to represent knowledge in their domain, be it engineering, law or commerce. Our Interactive Consultant allows them to interactively find solutions to particular problems.

More Information:

Originates from the AI-Driven Data Science research challenge (FAIR 2019–2023).
Responsible Research Lead: Marc Denecker
Authors: Pierre Carbonnelle
Programming Language: Python, Javascript
Link to the website
Link to the repository
Categories: Symbolic AI

Publications:

P. Carbonnelle, B. Aerts, M. Deryck, J. Vennekens, M. Denecker, "An Interactive Consultant", BNAIC/BENELEARN 2019.