formal-planner

수학적 논리와 명확한 규칙을 바탕으로 목표를 달성하기 위한 최적의 행동 순서를 계산하는 소프트웨어 도구이다. 시각적 입력은 처리하지 못하지만, 정의된 규칙 안에서 매우 길고 복잡한 단계의 계획을 오류 없이 생성하는 데 강점이 있다.