A Reasoning Module for Long-Lived Cognitive Agents