OpenCyc.org HomepageChanging the Strength of an Assertion

E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1996-2002 Cycorp. All rights reserved.

[Up]Editing the OpenCyc KB with the Web Interface
[Back]Moving an Assertion to a Different Microtheory
[Next]Changing the Direction of a Rule

[Change Strength] allows you to change the truth strength of an assertion, making it either :default or :monotonic. It does not allow you to change the truth of the assertion, i.e. you can't make a :true assertion :false.

When you click [Change Strength], it prompts for the new truth strength. When you click the "Change Strength" button it queues the operations to unassert the old assertion and reassert it with the new truth strength.

[Change Strength] is seldom used since the system chooses the truth value of an assertion automatically: GAFs which begin with the predicates #$isa and #$genls are monotonically true, while all other assertions (including rules) are default true.


[Up] [Back] [Next]
Last Update: 03/28/2002