Abstract:Many AI applications rely on knowledge encoded in a locigal knowledge base (KB). The most essential benefit of such logical KBs is the opportunity to perform automatic reasoning which however requires a KB to meet some minimal quality criteria such as consistency. Without adequate tool assistance, the task of resolving such violated quality criteria in a KB can be extremely hard, especially when the problematic KB is large and complex. To this end, interactive KB debuggers have been introduced which ask a user queries whether certain statements must or must not hold in the intended domain. The given answers help to gradually restrict the search space for KB repairs. Existing interactive debuggers often rely on a pool-based strategy for query computation. A pool of query candidates is precomputed, from which the best candidate according to some query quality criterion is selected to be shown to the user. This often leads to the generation of many unnecessary query candidates and thus to a high number of expensive calls to logical reasoning services. We tackle this issue by an in-depth mathematical analysis of diverse real-valued active learning query selection measures in order to determine qualitative criteria that make a query favorable. These criteria are the key to devising efficient heuristic query search methods. The proposed methods enable for the first time a completely reasoner-free query generation for interactive KB debugging while at the same time guaranteeing optimality conditions, e.g. minimal cardinality or best understandability for the user, of the generated query that existing methods cannot realize. Further, we study different relations between active learning measures. The obtained picture gives a hint about which measures are more favorable in which situation or which measures always lead to the same outcomes, based on given types of queries.

Correctness in hierarchical knowledge-based requirements

Product Knowledge Reasoning

Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge

The KB paradigm and its application to interactive configuration

Building a Knowledge Base of a Fault Diagnostic System for Chemical Processes

Maintenance in Probabilistic Knowledge-Based Systems

Correcting Knowledge Base Assertions

Distilling Relations Using Knowledge Bases

Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems

Qbf-Based Symbolic Model Checking For Knowledge And Time

Knowledge Engineering for Hybrid Deductive Databases

SAT-based Algorithm for Knowledge Reasoning

A Practical Approach To The Integrated Expression Of Shallow And Deep Knowledge In Fault Diagnosis Systems

Cleaning Relations Using Knowledge Bases.

Software Verification of Hyperproperties Beyond k-Safety

Überprüfung von Integritätsbedingungen in Deduktiven Datenbanken

Building Rule Hierarchies for Efficient Logical Rule Learning from Knowledge Graphs

Expert-oriented optimization of knowledge base

A Coalgebraic Decision Procedure for NetKAT

Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations

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