Knowledge Base

image.png

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: 가능한 세계에 대해 문장의 참과 거짓을 정의

논리학자는 모델의 관점에서 생각

이때 모델은 참거짓이 평가될 수 있는 세계를 수학적으로 추상화한 것

knowledge와 model

알파가 m에서 참일 때 m이 모델이다

M(알파) : 모델의 셋

완전한 무지 상태에서는 모든 세계가 가능성으로 간주되며, 따라서 우리의 지식은 모든 세계의 집합으로 이루어집니다. 우리가 더 많이 알게 되면, 그 중 일부 세계는 불가능한 것으로 여겨지고, 가능한 세계들의 집합은 점차 줄어들기 시작합니다.

Logical Reasoning

베타 Entails 알파: 베타로부터 알파가 나온다