Next: Screen Menu
Up: Using the Applet Menu
Previous: File Menu
- Skeptical Change
You can click this item to change the type of belief change to skeptical change.
- Choice Change
You can click this item to change the type of belief change to choice change.
==========================================================================================================================================================================
- AllDetEQ1
You can click this item to change the search algorithm for finding equivalence sets to AllDetEQ1 as described in the document ../COBADesign.pdf.
- AllDetEQ2
You can click this item to change the search algorithm for finding equivalence sets to AllDetEQ2, which is more efficient as described in the document ../COBADesign.pdf.
==========================================================================================================================================================================
- Default Merge
You can click this item to change the type of merge to default/basic merge.
- Projection Merge
You can click this item to change the type of merge to projection merge.
==========================================================================================================================================================================
- Consistency Check
You can click this item to turn the default consistency check on or off.
A checked box indicates that the default consistency check is on, which means that a consistency check will be performed automatically every time a sentence is added to
the selected KB, the revision list, or the entailment-based integrity constraints list.
An unchecked box means that this default consistency check will not be performed automatically.
==========================================================================================================================================================================
Perform Consistency Check ->
This item is enabled once you have switched the default consistency check off. The reason is that with default consistency check on, a consistency check is automatically
performed every time a sentence is added to the selected KB, the revision list, or the entailment-based integrity constraints list.
- KB Selected
If there is any inconsistencies or mutual inconsistencies in the selected knowledge base, you will be advised of them in a dialog window.
The indexing of the sentences for the selected knowledge base starts at 0.
The selected knowledge base is the one whose index appears at the top of the drop-down list next to the "Add to KB" button on the main screen.
The indexing of knowledge bases starts at 0.
- Revision List
If there is any inconsistencies or mutual inconsistencies among the sentences in the revision list, you will be advised of them in a dialog window.
The indexing of the sentences for revision starts at 0.
- EB IC List
If there is any inconsistencies or mutual inconsistencies among the entailment-based integrity constraints, you will be advised of them in a dialog window.
The indexing of the entailment-based integrity constraints starts at 0.
Next: Screen Menu
Up: Using the Applet Menu
Previous: File Menu
Daphne Liu
2006-01-23