정답
① 규칙 2 → (거리 50 m 이상) , ② 규칙 1 → (브레이크를 작동) / ③ 규칙 5 + 삼단논법 → (앞 물체가 동물 또는 사람이면 충돌하지 않고 회피 주행 가능)
출제 의도
규칙기반 시스템에서 규칙을 명제 논리의 함축으로 해석하고, 입력된 명제에 대해 긍정논법·부정논법·삼단논법을 적용하여 어떤 규칙이 발동되는지와 최종적으로 어떤 결론이 도출되는지를 추론하는 능력을 평가한다.
풀이 과정
규칙은 모두 “조건이면 결론이다” 형태의 함축으로만 주어졌고, 추론 엔진은 긍정논법(조건이 참이면 결론), 부정논법(결론이 거짓이면 조건이 거짓), 삼단논법( \(A\to B\), \(B\to C\) 이면 \(A\to C\) )만 사용한다.
첫 번째 입력은 “조향 핸들을 조작하지 않는다”이므로, 이는 규칙 2의 결론 “조향 핸들을 조작한다”의 부정에 해당한다. 따라서 규칙 2에 부정논법을 적용한다.
$$ \text{(규칙 2)}:\ (\text{거리}<50)\to(\text{조향}) $$
$$ \text{입력: }\neg(\text{조향})\ \Rightarrow\ \neg(\text{거리}<50)\ \Rightarrow\ (\text{거리}\ge 50) $$
즉, 적용 규칙은 규칙 2이고 추론 결과는 “거리 50 m 이상”이다. 이어서 규칙 1의 조건이 만족되므로 규칙 1에 긍정논법을 적용하여 브레이크 작동을 결론으로 얻는다.
$$ \text{(규칙 1)}:\ (\text{거리}\ge 50)\to(\text{브레이크}) $$
$$ (\text{거리}\ge 50)\ \Rightarrow\ (\text{브레이크}) $$
따라서 순서는 ‘규칙 2 → 거리 50 m 이상’, ‘규칙 1 → 브레이크 작동’이다.
두 번째 입력은 “(물체의 움직임과 반대 방향으로 조향하여 회피 주행)이라면 (충돌하지 않고 회피 가능)”이라는 새로운 함축 \(B\to C\)로 볼 수 있다. 또한 규칙 5는 “(앞 물체가 동물 또는 사람)이라면 (물체의 움직임과 반대 방향으로 조향하여 회피 주행)”이므로 \(A\to B\)이다. 따라서 두 함축을 삼단논법으로 연결한다.
$$ \text{(규칙 5)}:\ A\to B $$
$$ \text{입력: }\ B\to C $$
$$ (A\to B)\ \wedge\ (B\to C)\ \Rightarrow\ A\to C $$
결론적으로 적용 규칙 번호는 규칙 5이며, 삼단논법을 통해 “앞 물체가 동물 또는 사람이면 충돌하지 않고 회피 주행을 할 수 있다”를 추론한다.
<풀이가 부정확할 수 있으니 반드시 교차검증 확인 바랍니다.>