.. Silas documentation master file, created by sphinx-quickstart on Mon Nov 19 12:49:44 2018. You can adapt this file completely to your liking, but it should at least contain the root `toctree` directive. Command Index ============= .. toctree:: :maxdepth: 2 :caption: Contents: ====================================================================== ================================================================================================================ Command Description ====================================================================== ================================================================================================================ :ref:`silas gen-metadata-settings ` Generate meta-data settings, e.g., data type of features. :ref:`silas gen-metadata ` Generate meta-data, e.g., statistics of features. :ref:`silas gen-settings ` Generate settings for machine learning. :ref:`silas gen-all ` Generate all the above configuration files. :ref:`silas draw ` Visualise feature statistics in terminal. :ref:`silas sanitise ` Sanitise the dataset. :ref:`silas learn ` Build predictive models using machine learning and perform validation. :ref:`silas predict ` Perform prediction on a dataset using a previously built model. :ref:`silas gen-extract-settings ` Generate settings for logical formula extraction. :ref:`silas extract ` Extract logical formulae from a predictive model. :ref:`silas introspect ` Perform automated reasoning and obtain insight on how the predictive model works. :ref:`silas verify ` Verify the correctness of the predictive model against user specificaitons. ====================================================================== ================================================================================================================ .. Indices and tables .. ================== .. * :ref:`genindex` .. * :ref:`modindex` .. * :ref:`search`