Assert Formula Help
E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1997-2002 Cycorp. All rights reserved.
This page offers help for three different tools that are essentially the same to use:
- Assert Formula
- Assert Similar Formula
- Edit Assertion
All three tools have the exact same interface, and all result in a formula being asserted to the KB. However, there are a few key differences in how they operate:
- Assert Formula allows the user to enter a completely new formula. As such, there are no defaults for the input fields, except for Strength, which is set to Default.
- Edit Assertion allows the user to edit an assertion already existing in the KB. Assertions edited using the Edit Assertion tool will be deleted from the KB, and the new version will be asserted in its place. The various parts of the original assertion are used as defaults for the input fields, including the formula, microtheory, strength, and direction.
- Assert Similar Formula allows the user to add a new formula similar to one already existing in the KB. Assertions edited using the Assert Similar Formula will NOT be deleted from the KB. Instead, the old assertion will remain in the KB, and the new version will be asserted as well. As with the Edit Assertion tool, the various parts of the original assertion are used as defaults for the input fields.
To add a new assertion, simply enter the relevant information into each of the input fields provided, then press the [Perform Edit] button. Leaving the Direction field unchecked will cause the default values for that type of assertion to be used (GAFs: forward, rules: backward).
To edit an assertion, simply change the information provided, either by editing the text or by clicking the appropriate button. To assert the formula, press the [Perform Edit] button.
To delete an assertion, go to the Assertion Display Frame for the selected assertion and click on "Unassert" (local assertions) or "Blast" (deduced assertions). See the help page for the Assertion Display Frame for details on deleting or blasting assertions.
To restore input fields to their values before editing, press the [Reset] button.
To abort the edit completely and return to the previous page, press the [Abort Edit] button.
The interface for the three tools contains a number of input fields:
- Mt: enter the microtheory (minus the "#$") in which the formula is to be asserted. To take advantage of constant completion, enter a partial microtheory name and press the [Complete] button. Remember that a list of completions will appear in a separate HTML browser window if the completion is not unique.
- EL Formula: enter the formula, using CycL syntax (which utilizes the "#$"). To take advantage of constant completion, type the first part of a CYC® constant in the input window, then press the [Complete] button.
- Strength: choose either Default or Monotonic, choosing both is not possible. False assertions (which it is rare to enter) can be made using #$not.
- Direction: choose either Backward or Forward, choosing both is not possible. If no value is selected (only an option for new assertions), the default values for that type of assertion will be used (GAFs: forward, rules: backward).
For more information on CycL syntax, assertions, microtheories, strengths, and directions, see The Syntax of CycL.
Go to Top