Assertion HL Data Help
E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1997-2002 Cycorp. All rights reserved.
The Assertion HL Data facility provides a Heuristic Level (HL) description of the selected assertion. This page will be of most use to CYC® System developers; for other users, most of the information on this page can be accessed by using the links from the Assertion Display Frame facility of the KB Browser.
The different display categories:
- Assertion: shows the assertion being described, in its HL (standard) form.
- ID Number: shows the unique assertion ID number for the given assertion.
- HL CNF: shows the assertion in HL form, converted to CNF (Conjunctive Normal Form).
- Mt: shows the #$Microtheory in which the assertion was asserted.
- Flags: shows an integer which encodes three properties (GAF, Truth Value, Direction) of an assertion.
- GAF?: "True" if the assertion is a GAF (Ground Assertion Formula), "False" otherwise.
- Direction: shows the assertion's direction, which can be Forward, Backward, or Code.
- Truth Value: shows the truth value of the given assertion, which can be one of five values; e.g., "True (default)" means that the assertion is default true.
- Arguments: lists the structures representing arguments for or against the given
assertion.
- PList: lists some of the rarely seen properties of assertions. These
include:
- :VARIABLE-NAMES
a list of strings indicating names the user used for variables
- :DEPENDENTS
a list of arguments which depend on the truth of this assertion
- :INDEX
indexing for meta-assertions about this assertion (just like the
index slot for constants)
For more detailed explanations of assertions and their properties (e.g., truth value), read the Syntax of CycL, as well as the Assertion Display Frame Help.
Go to Top