- Constraint Satisfaction Problem (CSP; 제약 만족 문제) - 사람이 수행하는 systematic적인 search를 효과적으로 할 수 있도록 하며 검색 공간을 줄여주는 방법임 - 문제를 해결하는 제약조건을 이용하여 결과를 검사하고 결과를 만들어 낼 때도 사용됨 - 체계적으로 optimal한 값을 찾으며, trace를 원할 때에는 CSP가 유리함 - 어떤 문제에 대해 제약조건만을 바꿔주면 문제를 해결할 수 있음 (독립적) - 탐색 중 제약조건을 하나라도 어긋나면 탐색을 중지하는 예측적 성향도 있음 - Best First Search (BFS; 최적 우선 탐색) - Stochastic적인 search를 하는 방법임 - Heuristic search의 한 종류로 얼마나 효과적인 ..