A decision support tool using knowledge expressed in the FO(.) language.
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.
P. Carbonnelle, B. Aerts, M. Deryck, J. Vennekens, M. Denecker, "An Interactive Consultant", BNAIC/BENELEARN 2019.