이 논문은 범용 에이전트가 여러 환경과 목표에 걸쳐 거의 최적으로 행동하기 위해 메모리에 무엇을 저장해야 하는지에 대한 형식적 이론을 전개한다. 두 도메인이 관측 병목을 공유하면서도 양립 불가능한 최적 행동을 요구할 때, 균일하게 거의 최적인 정책은 그 병목에서 반드시 서로 다른 메모리 분포를 유도해야 함을 보인다. 이로부터 분리 정리(separation theorem)가 도출되는데, 충분히 성공적인 에이전트는 현재 상태 관측에만 의존할 수 없고 도메인 관련 정보를 메모리에 보존해야 한다는 것이다. 나아가 에이전트의 메모리가 관련 목표의 가치를 추정할 만큼 정보를 담고 있으면 그 메모리로 국소 전이 동역학을 근사 복원할 수 있음을 보인다. 종합하면 메모리는 도메인 구분, 전이모델 복원, 범용 에이전트의 계획을 떠받치는 기질로 특성화된다.

• •범용 에이전트가 메모리에 저장해야 할 것에 대한 형식적 이론 전개
• •관측 병목 공유·최적행동 상충 시 정책은 서로 다른 메모리 분포를 유도해야 함
• •분리 정리: 성공적 에이전트는 현재 관측만으로 부족, 도메인 정보를 메모리에 보존
• •충분한 메모리로 국소 전이 동역학을 근사 복원 가능함을 증명