Non-Markovian Decision Problem — Glossary — ThinkLLM