개념

생성 규칙은 IF-THEN 형태로 지식을 표현하는 방법이다. 전제 조건이 만족되면 결론이 실행되거나 새로운 사실이 추가된다.

예: IF 비가 온다 THEN 우산을 가져간다

구조

생성 규칙은 전제와 결론으로 나뉜다. 전제에는 AND, OR, 비교 연산자 같은 조건을 사용할 수 있다.

추론 방식

생성 규칙을 이용한 추론은 규칙 triggering으로 볼 수 있다. 관측된 사실이 어떤 규칙의 전제를 만족하면 그 규칙이 점화되고 결론이 도출된다.

한계

생성 규칙은 이해하기 쉽지만 복잡한 논리, 부정, 모든/어떤 같은 한정사 표현에는 한계가 있다. 이를 보완하기 위해 명제 논리술어 논리가 사용된다.