A multi-inference engine for the FO(.) knowledge representation language

Visual of different symbols

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: