연구

인공지능 - 논리2

∀X, ∀Y, ∀Z에 대하여

① gf (X, Y) → gs (Y, X)
② f (X, Y) ∧ f (Y, Z) → gf (X, Z)
③ f (a, b)
④ f (b, c)

일 때 gs (s, c) ?


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


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



3) 공리집합으로부터 논리융합을 사용하여 2)의 절에 치환되는 정보를 찾는다.

4) gs(s, c)에 치환되는 gs(c, a) 가 답이 되므로 c의 손자는 a이다.

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


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


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