인공지능 과제(목자와 소개글에 문제 참조)

소개

<과제 만점 자료>
인공지능 과제(목자와 소개글에 문제 참조)

목차

1. 다음에 답하시오.
a. P⇒Q, Q⇒R 로부터 P⇒R을 추론해내는 추론 규칙이 sound 함을 보이시오.
b. P⇒Q, Q 로부터 P를 추론해내는 추론 규칙은 sound 하지 않음을 보이시오.
2. 다음의 예문을 보자.
a. S1 ~ S5를 모두 predicate logic sentence로 나타내시오
b. S1 ~ S5로부터 forward chaining으로 다음의 문장을 추론하는 과정을 보이시오.
c. 다음의 문장을 backward chaining으로 추론하여 처방할 약을 결정하는 과정을 보이시오.
3. 다음과 같은 prolog 프로그램에서 uncle(X, me)를 question으로 주었을 때 추론이 진행되는 과정을 보이시오. 문장 순서에 따라 추론이 진행됨에 유의하시오.
4. Digital logic circuit의 동작을 FOPC inference를 이용하여 검사하고자 한다. 아래의 그림에서 a는 AND gate, b는 INVERTER(not) gate이고, a1, a2, a3, b1, b2는 각 gate의 단자를 나타낸다. 이 회로를 and(X,Y,Z), inv(X,Y), connect(X,Y) 등의 predicate을 정의하여 다음과 같이 나타낸다고 하자.
a. 위의 회로에서 a1=1, a2=1 이면 b2=0가 추론될 수 있도록 AND logic, INVERTER logic
b. 위의 추론이 진행되는 과정을 보이시오.
5. (programming) 위의 문제를 다음과 같이 prolog로 작성하고 실행하시오.
a. and(X,Y,Z), or(X,Y,Z), inv(X,Y), connect(X,Y) 등의 predicate에 대한
일반적인 사실을 나타내는 문장과, 위4번의 회로를 나타내는 문장을 작성하시오.
b. 다음과 같이 a1, a2의 값을 입력받아 b2의 값을 출력하는 형식으로 프로그램이
동작하도록 하는문장을 작성하시오.

본문내용

1. 다음에 답하시오.
a. P⇒Q, Q⇒R 로부터 P⇒R을 추론해내는 추론 규칙이 sound 함을 보이시오.
Suund rules : 참인 문장을 사용하여 참일 문장을 만드는 규칙
P⇒Q : P가 참이면 Q도 참이다
Q⇒R : Q가 참이면 R도 참이다
따라서, P⇒R : P가 참이면 R이 참이 되게 되므로 sound하다.
또한, Modus Ponens P⇒Q, P |- Q 추론 규칙에서 알 수 있다.

b. P⇒Q, Q 로부터 P를 추론해내는 추론 규칙은 sound 하지 않음을 보이시오.
P⇒Q : P가 참이면 Q도 참이다 그러나 Q로부터 P를 추론할 때, P가 거짓일 수 있기
때문에 Not Sound 하다

2. 다음의 예문을 보자.
S1. “고열이 있고 저위험군이면 Aspirin을 처방한다”
S2. 고열이 있고 고위험군이면 Tamiflu를 처방한다“
S3. “나이가 많고 고혈압이거나, 심장병이 있으면 고위험군이다”
S4. “K씨는 심장병이 있다”
S5. “K씨는 고열이 있다”
a. S1 ~ S5를 모두 predicate logic sentence로 나타내시오.
(prescript(X, Y), group(X, Y) (Y: high_risk or low_risk), old(X), young(X),
high_bp(X), high_fever(X), heart_desease(X) 등의 predicate을 사용하시오)

S1. high_fever(X) ∧ group(X, low_risk) ⇒ prescript (X, Aspirin)
S2. high_fever(X) ∧ group(X, high_risk) ⇒ prescript(X, Tamiflu)
S3. (Old(X) ∧ high_bp(X)) ∨ heart_desease(X) ⇒ group(X, high_risk)
S4. heart_desease(k)
S5. high_fever(k)

참고자료

· 없음