source: experiments/frams/logic/run-abduction.cmd @ 537

Last change on this file since 537 was 537, checked in by Maciej Komosinski, 8 years ago

ExpParams? -> ExpProperties? (compatibility with v5.x)

  • Property svn:eol-style set to native
File size: 742 bytes
RevLine 
[193]1rem See readme-abduction.txt!
2
3rem The two calls below launch "frams", which is a command-line interface (CLI) of Framsticks.
4rem You can also launch the Framsticks GUI, select the "abduction" experiment definition, set params, initialize experiment and run it.
5
6
7
8rem The abduction problem consting of an abductive goal being a simple conjuction and two formulas forming a database:
[537]9frams "ex logic_abduction" "ExpProperties.params=\"K_q_s;C_p_q C_r_s;abdOut1.txt\"; Simulator.init();" "go" "qu"
[193]10
11rem The abduction problem consting of an abductive goal being a propositional variable and two formulas forming a database:
[537]12frams "ex logic_abduction" "ExpProperties.params=\"q;C_K_p_r_q C_C_N_r_q_p;abdOut2.txt\"; Simulator.init();" "go" "qu"
[193]13
Note: See TracBrowser for help on using the repository browser.