AI를 위한 필수 수학

526

AI

를 위한 필수 수학

퍼지 논리의 흥미로운 점 중 하나는 다른 논리 체계에 존재하는 두 가지 원칙을 버린다는 것이

다. 첫째로 진술이 참이면 그 부정은 거짓이라는 원칙, 둘째로 두 개의 모순된 진술이 동시에

참일 수 없다는 원칙이다. 이는 모순과 열린 세계

open

universe

의 가능성을 열어준다. 어떤 의미에

서는 퍼지 논리가 애매모호함을 바로 잡으려고 하지 않는다고 볼 수도 있다. 그 대신 퍼지 논리

는 모호함을 받아들이고 이를 활용하여 경계가 불분명한 세계에서 기능할 수 있도록 한다.

12.6

시간 논리

시간과 같은 객체는 특별한 주의를 기울이는 또 다른 유형의 공리와 추론 규칙을 가진다. 시간

논리는 지식의 표현과 그에 대한 추론에서 중심적인 역할을 하기 때문에 시간 정보를 포함하는

진술을 지식 베이스에 추가하는 것과 달리 시간 의존성과 시간 의존성에 관한 공리와 추론 규

칙을 그 구조의 최전선에 놓는다. 시간 논리에서 명제 또는 사실은 특정 시점이나 시간 구간에

서 참이 되며 이러한 시간은 순서가 정해져 있다.

Q

. 에이전트의 세계에는 어떤 객체가 존재하는가?

A

. 명제, 객체, 관계, 시간이 존재한다.

Q

. 에이전트는 객체의 상태를 어떻게 인식하는가?

A

. 참, 거짓, 알 수 없음으로 인식한다.

시간 논리에서는 다음과 같은 명제들을 표현할 수 있다.

●

알람이 오전

7

시에 울린다.

●

서버에 요청이 있을 때마다 액세스 권한이 부여되지만 두 개의 동시 요청에 대해서는 절대로 부여되지 않

는다.

12.7

인간 언어와의 비교

지금까지 ...