|
Class Summary |
| COBAApplet |
COBAApplet is the COBA belief change graphical user interface. |
| ControlText |
ControlText is a panel with the current settings display and toggle buttons, an informative message in the event
of a syntax or inconsistency error in the input, or a new KB in the preview list, and a button for executing
a belief change scenario. |
| HistoryPanel |
HistoryPanel is a panel displaying (1) the old KB and change snapshots, (2) the old Entailment-based Integrity
Constraint (EB IC) and change snapshots, and (3) old Consistency-based Integrity Constraint (CB IC) and change
snapshots, as well as buttons for reverting to a selected snapshot. |
| ICPanel |
ICPanel is a panel that contains an entry field for adding integrity constraints, and two lists: one for the
entailment-based integrity constraints (EB IC), and the other for the consistency-based integrity constraints (CB IC). |
| ListSent |
ListSent is a sentence wrapper. |
| MainPanel |
MainPanel is the main belief change interface of the COBA applet. |
| PreviewList |
PreviewList is a panel with the new KB preview list, a reject button and a commit button for rejecting or committing
the new KB. |
| SentenceEditor |
SentenceEditor is a panel with an entry field and buttons for adding sentences to the KB list, the revision list,
and the contraction list. |
| SentenceList |
SentenceList is a general wrapper for the KB/Revision/Contraction/Entailment-based Integrity Constraint (EB IC)/
Consistency-based Integrity Constraint (CB IC) sentence list. |