|
Last change
on this file since 184 was
169,
checked in by Maciej Komosinski, 11 years ago
|
|
A library of logic functions, an experiment definition that generates abductive hypotheses, and a script that runs sample experiments
|
|
File size:
1.4 KB
|
| Rev | Line | |
|---|
| [169] | 1 | The run-abduction.cmd script demonstrates how to use logical abduction experiment definition.
|
|---|
| 2 | Experiment parameters are passed as string sequences separated by semicolons.
|
|---|
| 3 |
|
|---|
| 4 | Note that logical formulas have to be entered using the prefix format. Symbols
|
|---|
| 5 | forming a formula have to be separated by an underscore.
|
|---|
| 6 |
|
|---|
| 7 | The logical symbols are:
|
|---|
| 8 |
|
|---|
| 9 | conjuction:
|
|---|
| 10 | N - negation
|
|---|
| 11 | K - conjunction
|
|---|
| 12 | A - alternative
|
|---|
| 13 | C - consequence
|
|---|
| 14 |
|
|---|
| 15 | propositional variables available:
|
|---|
| 16 | p,q,r,s,t,u,v,w,x
|
|---|
| 17 |
|
|---|
| 18 | An example:
|
|---|
| 19 | A formula '(p or q) => r' in the infix format should be encoded as 'C_A_p_q_r'.
|
|---|
| 20 |
|
|---|
| 21 | The first parameter is the abductive goal. Next, there is a list of logical formulas
|
|---|
| 22 | separated by whitespaces constituting a database. The last parameter is the output
|
|---|
| 23 | file name. The output file name will be suffixed with 'RawHyp', and the file
|
|---|
| 24 | will be placed in the '/data/scripts_output/' directory. The file will contain
|
|---|
| 25 | a lot of information about the problem and the obtained abductive hypotheses.
|
|---|
| 26 |
|
|---|
| 27 | Note:
|
|---|
| 28 | The experiment definition is currently under developement. One of the
|
|---|
| 29 | issues which are yet to be solved is the low capacity of the program to solve
|
|---|
| 30 | problems which contain many distinct variables (but not occurences of these variables).
|
|---|
| 31 | Currently, the script is able to compute in a reasonable time problems
|
|---|
| 32 | containg up to four distinct variables. Problems containg more variables may
|
|---|
| 33 | take several hours to compute.
|
|---|
| 34 |
|
|---|
Note: See
TracBrowser
for help on using the repository browser.
