연구

인공지능 - 논리1

주어진 공리

① A
② (A∧F) → C
③ (D∨E) → B
④ (B∧G) → F
⑤ E
⑥ G

일 때 C가 참인가?


1) 주어진 공리를 절의 형태로 만든다.


2) 증명하고자 하는 것을 부정(절)의 형태로 공리집합에 포함시킨다.




3) 공리집합으로부터 논리융합에 의해 새로운 절을 생성한다.



4) 반박에 의해 공절이 생성되지 않으므로 C는 참이 아니다.


이올린에 북마크하기(0) 이올린에 추천하기(0)
top


http://www.joon.pe.kr/blog/trackback/149


<< Prev   1   ... 192   193   194   195   196   197   198   199   200   ... 336   Next >>