|
Last change
on this file since 828 was
703,
checked in by Maciej Komosinski, 7 years ago
|
|
The "ex" macro renamed to "expdef" since 5.0rc12
|
-
Property svn:eol-style set to
native
|
|
File size:
750 bytes
|
| Line | |
|---|
| 1 | rem See readme-abduction.txt! |
|---|
| 2 | |
|---|
| 3 | rem The two calls below launch "frams", which is a command-line interface (CLI) of Framsticks. |
|---|
| 4 | rem You can also launch the Framsticks GUI, select the "abduction" experiment definition, set params, initialize experiment and run it. |
|---|
| 5 | |
|---|
| 6 | |
|---|
| 7 | |
|---|
| 8 | rem The abduction problem consting of an abductive goal being a simple conjuction and two formulas forming a database: |
|---|
| 9 | frams "expdef logic_abduction" "ExpProperties.params=\"K_q_s;C_p_q C_r_s;abdOut1.txt\"; Simulator.init();" "go" "qu" |
|---|
| 10 | |
|---|
| 11 | rem The abduction problem consting of an abductive goal being a propositional variable and two formulas forming a database: |
|---|
| 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 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
