Running the Command-line Tool Script

You may start the command-line tool by running the script run_app with three arguments: run_app KB_File(or none) Revision_File(or none) Contraction_File(or none)

If any one of the three arguments is not used, input "none" without the double quotes instead.

The first argument KB_File is the path of the file containing the sentences of the knowledge base(s). Each knowledge base should be preceded by a line "KB :" without the double quotes; each sentence should be listed on a separate line.

The second argument Revision_File is the path of the file containing the sentences for revision. Each sentence should be listed on a separate line. A single revisor will be constructed as a conjunction, by taking each sentence as a conjunct.

The third argument Contraction_File is the path of the file containing the sentences for contraction. Each line is interpreted as an independent contraction sentence. Consequently, while

(p&~q)

means that (p&~q) is to be obliterated from the consequences of the resultant knowledge base,

p

~q

listed on two seperate lines means that both p and ~q are to be obliterated from the consequences of the resultant knowledge base.