rem See readme-abduction.txt! rem The two calls below launch "frams", which is a command-line interface (CLI) of Framsticks. rem You can also launch the Framsticks GUI, select the "abduction" experiment definition, set params, initialize experiment and run it. rem The abduction problem consting of an abductive goal being a simple conjuction and two formulas forming a database: frams "ex logic_abduction" "ExpProperties.params=\"K_q_s;C_p_q C_r_s;abdOut1.txt\"; Simulator.init();" "go" "qu" rem The abduction problem consting of an abductive goal being a propositional variable and two formulas forming a database: frams "ex logic_abduction" "ExpProperties.params=\"q;C_K_p_r_q C_C_N_r_q_p;abdOut2.txt\"; Simulator.init();" "go" "qu"