문제축소 - 문제 묘사를 문제 축소 연산자를 사용하여 부분 문제 묘사로 변환, 즉 간단한 문제로 분할하는 과정 - 상태공간 탐색 문제 @ 출발상태들의 조합, S @ 상태묘사를 다른 상태묘사로 변환시키는 연산자들의 조합, F @ 목표상태의 조합, G - 부분문제는 상태공간에서의 중요한 중간상태들 사이의 경로를 찾는 문제에 해당 - 문제축소의 목적은 궁극적으로 해가 분명한 원시문제들로 변환시키자는 것 문제축소기법 : 상태공간 탐색문제를 보다 간단한 탐색 문제로 연속적으로 축소하는 방법 1) 문제분리의 기점 2) 키 연산자의 발견 AND-OR Graph : 주어진 문제를 후계문제들의 조합으로 축소하는 과정을 표현하는 그래프 - AND/OR 그래프로 표현되는 문제는 상태공간 탐색과 문제축소의 기법을 요구 - A..
