"사람의 말을 흉내낼수 있는 새이다 ....... 이름이 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 Group 의 Edward 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) : 이재규 외