selection CS

parameterised classifiers 중에 하나 - 이진분류를 진행하는데, 모든 데이터에 대해서 하나의 선으로 이진 분류가 되지는 않는다. 이런 데이터 셋을 다른 차원에서 바라본다면? 위의 사진 예시처럼 3차원으로 표현해 보았을 때, 가우시안 커널을 적용하며, 다른 차원으로 증강시켜 바라보면 새로운 decision surface가 생길 수 있다! 원래 데이터의 속성과 특징은 유지될 수 있다 커널 메서드 커널을 적용하여 차원을 증강 시킨다! - 여백을 이용한 일반화 능력 향상 신경망에 경우, 목적 함수가 0이 되면 멈추기 때문에 A혹은 C에 도달하면 멈추게 된다. 하지만 SVM의 경우, A혹은 C에서 끝나는 것이 아니라 양쪽 클래스의 여백(margin)이 큰 B를 찾게 된다. -> optimal ..

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..