Logical Rule Extraction Formulation

Available identifiers

equation that extracts logical rules by determining the Gröbner basis of an ideal

Defining Formula: $G = G (⟨ ℬ ⟩)$
$G$ symbol represents Gröbner Basis
$⟨ ℬ ⟩$ symbol represents Ideal
$ℬ$ symbol represents Boolean Ring