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!
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:
I think it is a very good environment for providing integrated and consistent access to disparate regulations and see a lot of potential. The formalisation of knowledge is very intuitive, the supporting tools are powerful and the knowledge base seems easy to maintain by a domain expert without technical ICT knowledge.
Our experts feel more confident in their decision-making when assisted by IDP-Z3 and the Interactive Consultant.
We are looking forward to continue working with the professional and highly skilled team at KU Leuven.