What is Atom? Atom features:
What is Constrained Inverse Entailment / NrSample? NrSample is an ILP algorithm implemented in Atom and described in J. Ahlgren and S.Y. Yuen, “Efficient program synthesis using constraint satisfaction in inductive logic programming”, Journal of Machine Learning Research, vol. 14, pp. 3649-3681, 2013. Noisy Data Constrained Inverse Entailment / NrSample has recently been extended to support noise in data (the noisy ILP setting). A paper is currently under review, references will be put here when it has been accepted. Atom 5.3 supports noisy data (source code includes noisy datasets). How is Atom Licensed? Under the "Attribution-NonCommercial-ShareAlike 3.0 Unported".In short:
Where do I download Atom? Download the latest version of Atom (5.3) here. It supports noise. Atom 3.9 is the version used for the benchmarks in the original publication. How do I compile Atom? Easy way, using Microsoft Visual Studio 2013:
You will need Visual Studio 2013 for Atom 5.3. For Atom 3.9, Visual Studio 2012 also works. More generally (using other compilers), you'll need:
If you're compiling with Visual C++ without using the solution file above, you'll need to turn off "security checks" as the compiler won't be standards compliant otherwise. Also turn on optimization for fast code. Where do I find the benchmarks used for NrSample? They are included in the source code distribution of Atom 3.9. How do I run the NrSample benchmarks (Atom 3.9, original)? Use a console ("command line"). In Windows, that's "cmd.exe". First, check that you have the right version: "Atom PR.exe" /V For NrSample, we used version 3.9: "Atom 3.9". To run the member/2 benchmarks on windows: "Atom PR.exe" /N /v 0 /X nrsample "ILP benchmarks\Individual\member" The result is printed to standard output (the console). Remarks:
By default, functional constraints are used. To turn them on/off, use //functional 1 and //functional 0, respectively. Example: "Atom PR.exe" /N /v 0 //functional 0 /X nrsample "ILP benchmarks\Primitive\member" "Atom PR.exe" /N /v 0 //functional 1 /X nrsample "ILP benchmarks\Primitive\member" The first line turns off functional constraints ("NrS"), and the second uses them ("NrSFun"). How do I run the NrSample benchmarks (Atom 5.3, noisy datasets)? To run the member/2 benchmarks on windows: "Atom.exe" /N /v 0 "..\datasets\noisy\member.pl" /A 1111 2 |
research >