Logic syntax는 sentence를 만드는 규칙 formal language의 syntax는 well-formed sentence를 정의 well-formed sentence가 모여 KB를 만듦 well-formed sentence는 information을 가지며, sentence를 기반으로 conclustion을 represent할 수 있음 이처럼 conclusion을 drawn 하는 과정을 logic이라고 함 logic은 sentence의 semantics를 정의해야 함 (문장의 의미) semantics는 각 가능세계에 대한 문장의 진리(True or False)를 정의 ex) x + y = 2 라는 문장 x = 1, y = 1인 세계에서는 True x = 2, y = 1인 세계에서는 Fals..