Logical Reasoning
*Predicate Calculus(술어논리)
First-order logic
모든 사람들은 사랑하는 누군가가 있다 != 모든 사람으로부터 사랑받는 누군가가 있다.
*Universal :모든 사람(상하반전 된 A)->교집합
*Existential: 어떤 사람(좌우반전 된 E)->합집합
->부정이 붙으면 Universal, Existential은 드모르간의 법칙에 의해 서로 뒤집힘.
*Inference Rules
20p. Example 풀어보기.
Inference Rules
Sound inference = 논리적으로 올바른 추론.
S에서 어떤 새로운 X를 생성하는데, 얘가 생성하는 X는 항상 logically follow 한 것이다.
Complete하다 = 주어진 S로부터 X를 만들어내는데, logical한 X를 모두 만들어 낼 수 있다.
ex) S-> x1 | x2 | x3
->모더스 포넌스 룰을 적용할 때,
(P=>Q, Q=>R, P) 이거 3개 주고서 (Q, R ,P=>R)임이 참인지 아닌지 구별할 수 없음.
Q가 참, R이 참이라는 것을 알 수 있음.
->Universial Instantiation: 어떤 매개변수가 들어가도 참인 명제
*Unification
: 추론 규칙을 적용하기 위해서 특정한 위치의 두 부분을 갖게 만들어주는 작업.
->어떻게 하면 두개가 같아진다는 것을 얻음.
->같아질 수 없으면 fail, 같아질 수 있으면 치환을 찾음.
*forward/backward Chaining
: 꼬리물기 느낌? 앞으로 가냐, 뒤로 거슬러 가냐.