Use your domain knowledge to build intelligent systems
IDP-Z3 and its ecosystem can help you leverage domain knowledge to streamline your processes in a declarative, versatile and explainable manner.
Knowledge Base System
IDP-Z3 is a reasoning engine for domain knowledge. Using a formal specification of your problem domain, it can perform many useful inference tasks to drive intelligent behavior and support your users in their processes:
- Verifying conformance;
- Generating possible solutions;
- Deriving consequences;
- Explaining why a fact can (not) be derived;
- Ask relevant questions;
- And more.
Your Knowledge, Your Power
Domain knowledge is valuable, but can be tricky to capture. Our toolbox offers different notations to aid you in this formalization process, allowing you to find one that matches for you and your team.
- FO(ยท), our representation language based on first-order logic.
- cDMN, a tabular-based notation familiar to those with knowledge of Excel.
- CNL, which bridges the gap between natural and formal language.
- Feature Models, a graphical representation for product configurations.
- The list goes on!
Quick prototyping
Our Interactive Consultant (IC) makes building prototypes incredibly straightforward. Simply plunk in your knowledge, and you are good to go. No programming required!
What our Partners Are Saying About IDP-Z3
We collaborate with many companies to help build their IDP-based tools. Here’s what they’re saying: