"사람의 말을 흉내낼수 있는 새이다 ....... 이름이 3 글자이다...... 그 첫번째 문자는 '앵' 이다..... 그 새는 무엇인가?"
위와같은 추론을 제약조건기반 추론 (constraint-based reasoning) 이라고 한다.
제한 조건의 만족 방법 (Constraint Satisfaction) : Elaine Rich : 인공 지능의 많은 문제들은 주어진 조건을 만족시켜야 하는 문제로 볼 수 있는데, 이러한 문제의 목표 상태는 주어진 제한 조건을 만족시킨 문제 상태이다......... 디자인 작업을 수행할 때, 제한된 시간, 비용 그리고 재료를 만족시키는 범위 내에서 일을 해야 하기 때문에, 디자인 작업도 제한 조건의 만족 문제로 볼 수 있다. .........
제한 조건 만족 문제 - 왈츠 알고리즘 (Waltz Algorithm) : Elaine Rich
제약만족문제 (Constraint Satisfaction Problems) : 이재규 외 : 제약 만족 문제 (이하 : CSP) 는 각 변수 (Variable) 에 이산형 값 (Value) 이 계량적, 비계량적으로 주어져 있을 때 인접변수의 값끼리 상호 호환성을 유지하는 값을 할당하는 문제를 말한다. 예를 들어서, PC 의 프로세서와 오퍼레이팅시스템 (Operating System : OS) 을 각각 변수라고 했을 때 프로세서가 가질 수 있는 값은 펜티엄, 486,386 등과 같고, OS 의 값은 Window 95, Window 3.*, MS-DOS, UNIX 등과 같다. 이 경우 프로세서가 펜티엄이면, 호환성 있는 OS 의 값은 Window 95, Window 3.*, MS-DOS, UNIX 이지만, 프로세서가 386 이면 MS-DOS 정도인 것과 같다. 이 예는 간단하지만 변수의 수가 수백개가 되고 각 변수의 값이 여러 개씩 되면 모든 변수를 만족하는 일관성 있는 해 (Consistent Solution) 를 찾는 것은 용이한 문제가 아니다
Wikipedia : Constraint satisfaction problem : CSP 는 많은 제약조건 (constraints) 나 범위 (criteria) 를 만족하는 시스템에서 상태 (states) 나 객체 (objects) 를 찾아야 하는 수학 문제이다. CSP 는 AI 와 경영과학 (Operation Research) 에서 주요한 연구주제이다. 많은 CSP 들은 합리적인 시간내에 문제를 풀기위해 휴리스틱과 조합 탐색 (combinatorial search) 의 결합을 필요로 한다. CSP 의 예로서는 8 queen puzzle 을 들 수 있다.
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