AI를 위한 필수 수학

522

AI

를 위한 필수 수학

명제 논리 체계를 갖춘 에이전트의 지식 베이스에는

4

개의 개별 문장을 저장해야 한다(하지만

이것으로부터 어떻게 유용한 정보를 추론할지에 대해서는 여전히 모르는 상황이다 ). 그런데

1

차 논리에서는 다음과 같이 세 가지 문장으로 간결하게 저장할 수 있다.

18

세 이상인 모든 사용자는 광고를 본다(광고를 보는 것은 참).

광고를 본 모든 사용자에 대해 광고를 클릭하는 하위 집합이 존재한다.

광고를 클릭한 모든 사용자에 대해 제품을 구매하는 하위 집합이 존재한다.

명제 논리와

1

차 논리 모두 이러한 문장만 주어졌을 때

18

세 이상의 특정 사용자가 광고를 클

릭하거나 제품을 구매할지 여부, 또는 그렇게 하는 사용자의 비율까지는 추론할 수 없다는 점

에 유의해야 한다. 하지만 적어도

1

차 논리에서는 동일한 지식을 더 간결하게 표현할 수 있는

언어를 가지고 있다. 게다가 유용한 추론을 할 수 있는 구조로 표현할 수 있다는 이점도 있다.

1

차 논리가 명제 논리와 가장 크게 구별되는 특징은 부정, 그리고, 또는, 함의, 동치 등 명제 논

리에 이미 존재하는 연산자에 ‘존재한다’와 ‘모든’ 같은 수량을 의미하는 단어가 기본 언어에

추가된다는 점이다. 이를 통해 객체에 관한 설명과 객체 간 관계를 분리하여 표현할 수 있게

한다.

명제 논리와

1

차 논리의 강력한 점은 그 추론 규칙이 도메인, 지식 베이스, 공리 집합으로부터

독립적이라는 것이다. 수학, 회로 공학과 같은 특정 도메인에 대한 지식 베이스를 개발하려면

해당 도메인을 ...