A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics

09/20/2016
by   Patrick Rodler, et al.
0

A broad variety of knowledge-based applications such as recommender, expert, planning or configuration systems usually operate on the basis of knowledge represented by means of some logical language. Such a logical knowledge base (KB) enables intelligent behavior of such systems by allowing them to automatically reason, answer queries of interest or solve complex real-world problems. Nowadays, where information acquisition comes at low costs and often happens automatically, the applied KBs are continuously growing in terms of size, information content and complexity. These developments foster the emergence of errors in these KBs and thus pose a significant challenge on all people and tools involved in KB evolution, maintenance and application. If some minimal quality criteria such as logical consistency are not met by some KB, it becomes useless for knowledge-based applications. To guarantee the compliance of KBs with given requirements, (non-interactive) KB debuggers have been proposed. These however often cannot localize all potential faults, suggest too large or incorrect modifications of the faulty KB or suffer from poor scalability due to the inherent complexity of the KB debugging problem. As a remedy to these issues, based on a well-founded theoretical basis this work proposes complete, sound and optimal methods for the interactive debugging of KBs that suggest the one (minimally invasive) error correction of the faulty KB that yields a repaired KB with exactly the intended semantics. Users, e.g. domain experts, are involved in the debugging process by answering automatically generated queries whether some given statements must or must not hold in the domain that should be modeled by the problematic KB at hand.

READ FULL TEXT
research
09/08/2016

Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging

Many AI applications rely on knowledge encoded in a locigal knowledge ba...
research
12/22/2011

Improving the Efficiency of Approximate Inference for Probabilistic Logical Models by means of Program Specialization

We consider the task of performing probabilistic inference with probabil...
research
04/02/2019

Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers?

Real-world semantic or knowledge-based systems, e.g., in the biomedical ...
research
02/24/2021

CoreDiag: Eliminating Redundancy in Constraint Sets

Constraint-based environments such as configuration systems, recommender...
research
07/11/2011

Advancing Multi-Context Systems by Inconsistency Management

Multi-Context Systems are an expressive formalism to model (possibly) no...
research
04/23/2023

LogicRec: Recommendation with Users' Logical Requirements

Users may demand recommendations with highly personalized requirements i...
research
03/31/2019

A New Expert Questioning Approach to More Efficient Fault Localization in Ontologies

When ontologies reach a certain size and complexity, faults such as inco...

Please sign up or login with your details

Forgot password? Click here to reset