composite 실습


상수(소문자) : f(a) / 변수(대문자)


s1 = {g(X,Y)/Z}    S2 = {a/X, b/Y, c/W, d/Z}


1) composition s1s2

s1s2 = { g(a,b)/Z, a/X, b/Y, c/W}


2) composition s2s1

s2s1 = {a/X, b/Y, c/W, d/Z}



#Step 1. 합성 순서대로 합집합 연산


#Step 2. 상수 쪽이 변수인 것을 상수화 함.


#Step 3. 중복 되는 것(X/X, 또는 a/X와 b/X)을 우선순위에 따라 제거. 보통 왼쪽이 우선순위가 높음

'Courses > `2012 AI' 카테고리의 다른 글

composite 실습  (0) 2012.05.07
Predicate, Clause form 실습  (0) 2012.05.07
LISP  (0) 2012.05.01
Resolution Theorem Proving  (0) 2012.05.01
Unification  (0) 2012.05.01
Using Inference Rules to Produce Predicate Calculus Expressions  (0) 2012.05.01

+ Recent posts