selection CS

e(X) X가 피고용인이다. p(X) X가 사장이다. i(X) X의 수입을 반환하는 함수 ge(U,V) U가 V보다 크거나 같음 s(X) X가 오늘 병가중임 t(X) X가 세금을 냄 1. 100만원 이상의 수입이 있는 피고용인은 세금을 낸다. ∀X ((e(X) ∧ ge(i(X),1000000)) => t(X)). 2. 어떤 피고용인은 오늘 병가중이다. ∃Y(e(Y) => s(X)). 3. 어떤 피고용인의 수입도 사장보다 많지는 않다. X : 피고용인, Y : 사장 ∀X ∀Y((e(X) ∧ p(X)) => ㄱge(i(X),i(Y))). mother(eve, abel). mother(eve, chain). father(adam, abel). father(adam, cain). ∀X ∀Y father(X,Y)..

명제 논리의 표현력 확대를 위해 개발 인공 지능 분야에서 표현 언어로 활용 술어 논리 기호(Symbol) 술어 논리로 표현하고 하는 객체, 객체의 속성, 객체 사이의 관계를 나타냄 상수 기호 특정 객체나 속성을 나타냄, 소문자로 시작 (진리기호 포함) :true, false ex) tree, tall, red, blue 변수 기호 임의의 객체나 속성을 지칭하는데 사용, 대문자로 시작 ex) Color, Flower, BILL 함수 기호 정의역으로 부터 치역에 사상하는 함수, 소문자로 시작 ex) father_of(able), moder_of(X) 술어 기호 객체 사이에 존재하는 관계, 객체의 속성을 나타냄, 소문자로 시작 함수식 정의역내의 하나 이상의 객체로부터 치역내의 하나의 객체로 사상 ex) fat..