Changeset 703 for experiments/frams/logic/run-abduction.cmd
- Timestamp:
- 09/26/17 14:21:23 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
experiments/frams/logic/run-abduction.cmd
r537 r703 7 7 8 8 rem The abduction problem consting of an abductive goal being a simple conjuction and two formulas forming a database: 9 frams "ex logic_abduction" "ExpProperties.params=\"K_q_s;C_p_q C_r_s;abdOut1.txt\"; Simulator.init();" "go" "qu"9 frams "expdef logic_abduction" "ExpProperties.params=\"K_q_s;C_p_q C_r_s;abdOut1.txt\"; Simulator.init();" "go" "qu" 10 10 11 11 rem The abduction problem consting of an abductive goal being a propositional variable and two formulas forming a database: 12 frams "ex logic_abduction" "ExpProperties.params=\"q;C_K_p_r_q C_C_N_r_q_p;abdOut2.txt\"; Simulator.init();" "go" "qu"12 frams "expdef logic_abduction" "ExpProperties.params=\"q;C_K_p_r_q C_C_N_r_q_p;abdOut2.txt\"; Simulator.init();" "go" "qu" 13 13
Note: See TracChangeset
for help on using the changeset viewer.