home.md

 # Knowledge-base debugger (KBD)
 
-The KBD library implements a number of model-based diagnosis algorithms adapted to diagnosis of knowledge bases and logic programs. 
+The KBD library (a.k.a. diagnosis module) implements a number of model-based diagnosis algorithms adapted to diagnosis of knowledge bases and logic programs. 
 The debugger allows its users to specify:
 * (logical) *requirements to the knowledge base*, e.g. consistency, coherency, etc.;
 * *test cases*, which are sets of formulas stating desired statements (entailments) of the intended knowledge base (positive test cases) and undesired statements (non-entailments) of the intended knowledge base (negative test cases);