|
Last change
on this file since 828 was
193,
checked in by Maciej Komosinski, 11 years ago
|
|
Set svn:eol-style native for all textual files
|
-
Property svn:eol-style set to
native
|
|
File size:
1.4 KB
|
| Line | |
|---|
| 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.
