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

Visual of interaction
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:
Publications:
  • P. Carbonnelle, B. Aerts, M. Deryck, J. Vennekens, M. Denecker, "An Interactive Consultant", BNAIC/BENELEARN 2019.