Removal modules

Home / Glossary / Removal modules

Removal modules are a type of HL module used during Cyc inference to solve a query or sub-query by proving a fully-bound literal or by finding bindings for open variables. They are called “removal” modules because their successful application results in simplifying the query to be solved by removing one or more literals from it.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA