a) Anyone meeting Tom is falling in love with him.

b) Anyone who loves Tom is happy.

c) Jane did not meet Tom and Kate met Tom

atomic : meet(X, Y), love(X, Y), happy(Z)

1) to predicate form

a) ∀x meet(x, Tom) -> love(x, Tom)

b) ∀x love(x, Tom) -> happy(x)

c) ¬meet(Jane, Tom)∧meet(Kate, Tom)

2) to clause form

P->Q : ¬P∨Q 의 형태로 없앰 (implacte 를 OR로 변환)

? 근데 한정자가 들어가는지 안들어가는지는 모르겠음.. 확인해봐야 할듯


a) ¬meet(x, Tom)∨love(x,Tom)

b) ¬love(x,Tom)∨happy(x)

c) ¬meet(Jane, Tom)  // AND 는 그냥 아래줄에 씀

    meet(Kate, Tom)

'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