KB : 팩트들을 나타낸 문장
tell : kb에 새로운 문장을 추가
ask : kb에 쿼리
inference rule : KB의 질문을 ask할 때, 그 답은 이전에 KB에게 tell 되었어야 한다
A formal language for representing information such that conclusions can be drawn
결론이 나올 수 있는 정보를 끌어내서 활용할 수 있는 도구
Syntax: 표현이 legal한가
Semantics: 문장의 의미를 정의
로직에서의 semantic: 가능한 세계에 대해 문장의 참과 거짓을 정의
논리학자는 모델의 관점에서 생각
이때 모델은 참거짓이 평가될 수 있는 세계를 수학적으로 추상화한 것
알파가 m에서 참일 때 m이 모델이다
M(알파) : 모델의 셋
완전한 무지 상태에서는 모든 세계가 가능성으로 간주되며, 따라서 우리의 지식은 모든 세계의 집합으로 이루어집니다. 우리가 더 많이 알게 되면, 그 중 일부 세계는 불가능한 것으로 여겨지고, 가능한 세계들의 집합은 점차 줄어들기 시작합니다.
베타 Entails 알파: 베타로부터 알파가 나온다