Symbolic Logic Simulator

PyReason-Gym: Symbolic logic simulator for Reinforcement Learning
A temporal and annotated-logic based simulation proxy that enables interpretable reinforcement learning
Kaustuv Mukherji, Devendra R. Parkar, Lahari Pokala, Dyuman Aditya, Paulo Shakarian, Clark Dorman
PDF Code
PyReason-Gym: Symbolic logic simulator for Reinforcement Learning
Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning [In Press]
A temporal and annotated-logic based simulation proxy that enables interpretable reinforcement learning
[Accepted at International Conference on Semantic Computing]
Kaustuv Mukherji, Devendra R. Parkar, Lahari Pokala, Dyuman Aditya, Paulo Shakarian, Clark Dorman
Project Video DOI
Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning [In Press]