Using the Command-line Tool

The COBA 2.0 command-line tool provides an interactive menu of tasks to perform:

1. Specify the path of the KB input file.
   You will be prompted for the path of the KB input file you want to load.

2. Specify the path of the revision input file.
   You will be prompted for the path of the revision input file you want to load.

3. Specify the path of the contraction input file.
   You will be prompted for the path of the contraction input file you want to load.

4. Specify the path of the entailment-based integrity constraints input file.
   You will be prompted for the path of the entailment-based integrity constraints input file you want to load.

5. Specify the path of the consistency-based integrity constraints input file.
   You will be prompted for the path of the consistency-based integrity constraints input file you want to load.

6. Set the type of change (default=skeptical change).
   You will be prompted for the belief change type (skeptical change or choice change).

7. Set the equivalence set search algorithm (default=AllDetEQ2).
   You will be prompted for the search algorithm (AllDetEQ1 or AllDetEQ2).

8. Specify the type of merge (default=symmetric merge).
   You will be prompted for the merge type (default symmetric merge or projection merge).

9. Execute the belief change scenario.
   You will see the resultant knowledge base(s) for the current belief change scenario.

10. Exit COBA 2.0
    You will terminate and exit the COBA 2.0 command-line tool.

For tasks (1) - (5) and (9), you may see error messages if any input sentence is syntactically malformed, or if there is an inconsistency error. You should fix the error(s) and try to perform the task again.

To select a specific task from the menu, simply enter its number at the prompt.