Key algorithms in REM (for potential use in Ectropic Software) * General control algorithms: - Execute then Adapt - Adapt then Execute * Execution algorithms: - Task Execution + Method Selection + Failure Monitoring + Trace Building - Method Execution + Control over Subtasks + Failure Monitoring + Trace Building - Decision Making + Logical (symbolic) decision-making + Q-learning * Adaptation algorithms: - Adaptation by Generative Planning + Extracting operators and facts from TMKL + Planning (done by Graphplan) + Inferring TMKL from plan - Adaptation by Situator / Q-learning + Constructing non-parameterized operators + Building a strategy-free method from these operators [+ during execution: selecting among operators] - Adaptation by Proactive Model Transfer / Relation Mapping + Finding a relation which maps new task to old task + Finding concepts and relations which are relevant to that relation + Finding tasks which involve those concepts and relations + Making modifications to those task based on the mapping relation [+ during execution: Selecting among optional modifications] - Adaptation by Failure-Driven Model Transfer / Fixed-Value Mapping + Analyzing feedback to find contradictions with trace + Selecting contradictions to address + Resolving contradictions by proposing fixed-value task