본 논문은 인공지능의 형식체계를 활용하여 자기결정이론(SDT) 내의 핵심 심리적 욕구인 '능력에 대한 욕구'를 계산적으로 모델링하는 방법을 제시합니다. SDT에서 제시되는 능력의 다양한 측면(효능감, 기술 활용, 과제 수행, 역량 성장)을 강화 학습 분야의 계산적 내적 동기(IM) 문헌에서 제시하는 다양한 형식체계를 통해 모델링하고, SDT가 명시적으로 다루지 않는 전제 조건들을 밝힙니다. 이를 통해 계산 모델이 내적 동기에 대한 이해를 향상시키는 방법을 보여주고, 이론 개발과 경험적 검증을 반복하는 이론 발전의 토대를 제공합니다.