HL support

Home / Glossary / HL support

An HL support is a type of support that is a way of packaging up justifications that are either impractical or impossible to manifest. A single HL support can represent multiple justifications, sometimes numbering in the thousands or millions. Some HL supports are guaranteed to bottom out in a justification consisting of only assertions. Others represent reasoning that is implemented in code.

HL-supports within the Cyc system come in three types of flavors, which can be schematically depicted as:

                          generalized-hl-support-p
                            /         |         \
                           /          |          \
                hl-support-p   kb-hl-support-p   reified-hl-support-gaf?

The first flavor described by HL-SUPPORT-P is essentially a support obtained from deductions already existing in the KB. Of the three types, this one is the oldest and predates a lot of newer development and architectural choices.

The second flavor is KB-HL-SUPPORT-P and is an HL-support wrapped by a KB-HL-support object. KB-HL-support object is used to improve indexing and caching, thereby making the TMS process faster.

The third flavor is REIFIED-HL-SUPPORT-GAF. This type essentially contains HL-supports which come in the form of assertions in the KB.

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