전문가 시스템에서 지식 표현 수법의 하나로, 사실(fact)의 집합과 ‘IF THEN’ 형식의 규칙의 집합으로 지식을 표현하는 것. 규칙 집합 중에서 각 규칙의 IF 부분이 사실과 일치하는 것을 골라내어 그것들을 경합 집합(conflict set)에 넣는다. 이중에서 하나를 골라내어 THEN부를 실행하여 사실군의 추가/변경을 한다. 그리고 다시 IF부를 성립하는 규칙의 검색으로 돌아가서 성립하는 규칙이 없어질 때까지 위에서 설명한 주기를 반복한다.