A key-door gridworld planner built from logical implications achieves zero invalid actions, but the approach is equivalent to classical forward-chaining symbolic planning, not a new reinforcement-learning paradigm.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference
A key-door gridworld planner built from logical implications achieves zero invalid actions, but the approach is equivalent to classical forward-chaining symbolic planning, not a new reinforcement-learning paradigm.