IDP-Z3

A multi-inference engine for the FO(.) knowledge representation 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 IDP-Z3 engine can then be used to solve a variety of problems in these domains using generic reasoning methods.

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
Link to the website
Link to the repository
Categories: Symbolic AI