Last change
on this file since 513 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
|
Rev | Line | |
---|
[193] | 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.