The file config.properties configures the runtime behavior of this project.
Some properties point to java classes with the implementation you wish to test in the current run.
The java class main.ConfigurableProperties implements the methods that read those properties and make them available to other classes.
In the root directory:
-
accuracy.csv: Summary of experiments. It has a row for each pattern tested. It shows the accuracy before abduction, and after abduction for both credulous and skeptical strategies.
-
answers.csv: List the conclusions for each syllogism and for each of the patterns considered.
In syllogisms directory and for each pattern:
- description[pattern].txt_: A more detailed description of the intermediate results.