IDP-Z3: a reasoning engine for FO(.)

02/01/2022
by   Pierre Carbonnelle, et al.
0

An important sign of intelligence is the capacity to apply a body of knowledge to a particular situation in order to not only derive new knowledge, but also to determine relevant questions or provide explanations. Developing interactive systems capable of performing such a variety of reasoning tasks for the benefits of its users has proved difficult, notably for performance and/or development cost reasons. Still, recently, a reasoning engine, called IDP3, has been used to build such systems, but it lacked support for arithmetic operations, seriously limiting its usefulness. We have developed a new reasoning engine, IDP-Z3, that removes this limitation, and we put it to the test in four knowledge-intensive industrial use cases. This paper describes FO(.) (aka FO-dot), the language used to represent knowledge in the IDP3 and IDP-Z3 system. It then describes the generic reasoning tasks that IDP-Z3 can perform, and how we used them to build a generic user interface, called the Interactive Consultant. Finally, it reports on the four use cases. In these four use cases, the interactive applications based on IDP-Z3 were capable of intelligent behavior of value to users, while having a low development cost (typically 10 days) and an acceptable response time (typically below 3 seconds). Performance could be further improved, in particular for problems on larger domains.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/12/2022

Towards Polyglot Data Stores – Overview and Open Research Questions

Nowadays, data-intensive applications face the problem of handling heter...
research
03/27/2013

Probabilistic Reasoning About Ship Images

One of the most important aspects of current expert systems technology i...
research
08/29/2021

Sinoledge: A Knowledge Engine based on Logical Reasoning and Distributed Micro Services

We propose a knowledge engine called Sinoledge mainly for doctors, physi...
research
10/04/2017

CELIO: An application development framework for interactive spaces

Developing applications for interactive space is different from developi...
research
02/16/2018

Towards a Continuous Knowledge Learning Engine for Chatbots

Although chatbots have been very popular in recent years, they still hav...
research
07/23/2020

Toward Campus Mail Delivery Using BDI

Autonomous systems developed with the Belief-Desire-Intention (BDI) arch...

Please sign up or login with your details

Forgot password? Click here to reset