Constraint  Satisfaction  Problem

 

"사람의 말을 흉내낼수 있는 새이다 ....... 이름이 3 글자이다...... 그 첫번째 문자는 '앵' 이다..... 그 새는 무엇인가?"

위와같은 추론을 제약조건기반 추론 (constraint-based reasoning) 이라고 한다.

인공 지능의 많은 문제들은 주어진 조건을 만족시켜야 하는 문제로 볼 수 있는데, 이러한 문제의 목표 상태는 주어진 제한 조건을 만족시킨 문제 상태이다.... ...  CSP 는 많은 제약조건 (constraints) 나 범위 (criteria) 를 만족하는 시스템에서 상태 (states) 나 객체 (objects) 를 찾아야 하는 수학 문제이다. CSP 는 AI 와 경영과학 (Operation Research) 에서 주요한 연구주제이다. 많은 CSP 들은 합리적인 시간내에 문제를 풀기위해 휴리스틱과 조합 탐색 (combinatorial search) 의 결합을 필요로 한다. CSP 의 예로서는 8 queen puzzle 을 들 수 있다.

term :

제약조건 만족 문제 (Constraint Satisfaction Problem)    탐색 (Search)    추론 (Reasoning)    문제해결 (Problem Solving)    휴리스틱 (Heuristic)    인공지능 (Artificial Intelligence)

site :

Wikipedia : Constraint satisfaction problem

AI Topics : Constraint-Based Reasoning

Foundations of Constraint Satisfaction : Constraint Programming and Optimization GroupEdward Tsang 저서는 좋은 텍스트이다.

Constraint Satisfaction Problems : Artificial Intelligence : A Modern Approach : Stuart Russell. Peter Norvig, Prentice Hall, 2003

paper :

제한 조건의 만족 방법 (Constraint Satisfaction) : Elaine Rich

제한 조건 만족 문제 - 왈츠 알고리즘 (Waltz Algorithm) : Elaine Rich

제약만족문제 (Constraint Satisfaction Problems) : 이재규