Should I do that? using relational reinforcement learning and declarative programming to discover domain axioms
Extending the soar cognitive architecture