├── .gitignore ├── LICENSE ├── README.md ├── env_specific_classes ├── __init__.py ├── carracing │ ├── __init__.py │ ├── env_classes.py │ └── util.py └── pacman │ ├── __init__.py │ ├── env_classes.py │ └── util.py ├── examples ├── evaluate_a_policy │ └── evaluate_a_policy.py ├── pretrain_sensors_cr │ ├── observation_model_2000_examples.pt │ └── pretrain_sensors.py ├── pretrain_sensors_pacman │ ├── observation_model_5000_examples.pt │ └── pretrain_sensors.py └── train_a_policy │ ├── carracing │ ├── PLPG_noisy │ │ └── seed1 │ │ │ └── config.json │ └── no_shield │ │ └── seed1 │ │ └── config.json │ ├── data │ ├── carracing_grass.pl │ └── pacman_ghosts.pl │ ├── pacman │ ├── PLPG_noisy │ │ └── seed1 │ │ │ └── config.json │ └── no_shield │ │ └── seed1 │ │ └── config.json │ └── quickstart.py ├── pls ├── __init__.py ├── algorithms │ ├── __init__.py │ ├── evaluate.py │ ├── learn.py │ ├── ppo_shielded.py │ └── pretrain.py ├── shields │ ├── __init__.py │ ├── deepproblog │ │ ├── __init__.py │ │ └── light │ │ │ ├── __init__.py │ │ │ ├── alternative_base.py │ │ │ ├── base.py │ │ │ └── semiring.py │ └── shields.py └── workflows │ ├── __init__.py │ └── execute_workflow.py └── setup.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/README.md -------------------------------------------------------------------------------- /env_specific_classes/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /env_specific_classes/carracing/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /env_specific_classes/carracing/env_classes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/env_specific_classes/carracing/env_classes.py -------------------------------------------------------------------------------- /env_specific_classes/carracing/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/env_specific_classes/carracing/util.py -------------------------------------------------------------------------------- /env_specific_classes/pacman/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /env_specific_classes/pacman/env_classes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/env_specific_classes/pacman/env_classes.py -------------------------------------------------------------------------------- /env_specific_classes/pacman/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/env_specific_classes/pacman/util.py -------------------------------------------------------------------------------- /examples/evaluate_a_policy/evaluate_a_policy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/evaluate_a_policy/evaluate_a_policy.py -------------------------------------------------------------------------------- /examples/pretrain_sensors_cr/observation_model_2000_examples.pt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/pretrain_sensors_cr/observation_model_2000_examples.pt -------------------------------------------------------------------------------- /examples/pretrain_sensors_cr/pretrain_sensors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/pretrain_sensors_cr/pretrain_sensors.py -------------------------------------------------------------------------------- /examples/pretrain_sensors_pacman/observation_model_5000_examples.pt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/pretrain_sensors_pacman/observation_model_5000_examples.pt -------------------------------------------------------------------------------- /examples/pretrain_sensors_pacman/pretrain_sensors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/pretrain_sensors_pacman/pretrain_sensors.py -------------------------------------------------------------------------------- /examples/train_a_policy/carracing/PLPG_noisy/seed1/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/train_a_policy/carracing/PLPG_noisy/seed1/config.json -------------------------------------------------------------------------------- /examples/train_a_policy/carracing/no_shield/seed1/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/train_a_policy/carracing/no_shield/seed1/config.json -------------------------------------------------------------------------------- /examples/train_a_policy/data/carracing_grass.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/train_a_policy/data/carracing_grass.pl -------------------------------------------------------------------------------- /examples/train_a_policy/data/pacman_ghosts.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/train_a_policy/data/pacman_ghosts.pl -------------------------------------------------------------------------------- /examples/train_a_policy/pacman/PLPG_noisy/seed1/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/train_a_policy/pacman/PLPG_noisy/seed1/config.json -------------------------------------------------------------------------------- /examples/train_a_policy/pacman/no_shield/seed1/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/train_a_policy/pacman/no_shield/seed1/config.json -------------------------------------------------------------------------------- /examples/train_a_policy/quickstart.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/examples/train_a_policy/quickstart.py -------------------------------------------------------------------------------- /pls/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pls/algorithms/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pls/algorithms/evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/pls/algorithms/evaluate.py -------------------------------------------------------------------------------- /pls/algorithms/learn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/pls/algorithms/learn.py -------------------------------------------------------------------------------- /pls/algorithms/ppo_shielded.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/pls/algorithms/ppo_shielded.py -------------------------------------------------------------------------------- /pls/algorithms/pretrain.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/pls/algorithms/pretrain.py -------------------------------------------------------------------------------- /pls/shields/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pls/shields/deepproblog/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/pls/shields/deepproblog/__init__.py -------------------------------------------------------------------------------- /pls/shields/deepproblog/light/__init__.py: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /pls/shields/deepproblog/light/alternative_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/pls/shields/deepproblog/light/alternative_base.py -------------------------------------------------------------------------------- /pls/shields/deepproblog/light/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/pls/shields/deepproblog/light/base.py -------------------------------------------------------------------------------- /pls/shields/deepproblog/light/semiring.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/pls/shields/deepproblog/light/semiring.py -------------------------------------------------------------------------------- /pls/shields/shields.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/pls/shields/shields.py -------------------------------------------------------------------------------- /pls/workflows/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pls/workflows/execute_workflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/pls/workflows/execute_workflow.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenchiyang/pls/HEAD/setup.py --------------------------------------------------------------------------------