source: experiments/frams/logic/readme-abduction.txt

The run-abduction.cmd script demonstrates how to use logical abduction experiment definition. 
Experiment parameters are passed as string sequences separated by semicolons.

Note that logical formulas have to be entered using the prefix format. Symbols
forming a formula have to be separated by an underscore. 

The logical symbols are:

conjuction:
N - negation 
K - conjunction
A - alternative
C - consequence

propositional variables available:
p,q,r,s,t,u,v,w,x 

An example:
A formula '(p or q) => r' in the infix format should be encoded as 'C_A_p_q_r'. 

The first parameter is the abductive goal. Next, there is a list of logical formulas 
separated by whitespaces constituting a database. The last parameter is the output
file name. The output file name will be suffixed with 'RawHyp', and the file
will be placed in the '/data/scripts_output/' directory. The file will contain
a lot of information about the problem and the obtained abductive hypotheses.

Note:
The experiment definition is currently under developement. One of the
issues which are yet to be solved is the low capacity of the program to solve 
problems which contain many distinct variables (but not occurences of these variables). 
Currently, the script is able to compute in a reasonable time problems
containg up to four distinct variables. Problems containg more variables may
take several hours to compute.