Closed World Assumption (CWA; 닫힌 세계 가정)

- Closed world Assumption

- 기존의 룰 베이스에 존재하는 사실들만 참이라고 가정하고 룰베이스에 존재하지 않는 사실들에 대해서는 무조건 부정하여 거짓으로 간주한다. 

- 기존의 룰 베이스에 존재하는 사실들로만 판단하는 것, 따라서 완전한 지식이 존재하는 영역에 대해서만 적합한 방법임.

- 예를 들어 resting(Lee) ∨ working(Lee)

1. 이것으로 부터 유도되는 fact

resting(Lee) ∨ working(Lee), ￢resting(Lee), ￢working(Lee)

2. ￢resting(Lee), ￢working(Lee) 가 왜 유도될까?

이것은 resting(Lee) ∨ working(Lee)에서 각각 resting(Lee), working(Lee)을 유도할 수 있는데,

resting(Lee) ∨ working(Lee)가 true 이므로, resting(Lee) 또는 working(Lee)가 true가 되는데

resting(Lee), working(Lee)이 둘중에 어떤 것이 참 값인지 알 수 없다.

- CWA에서는 알지 못하는 Fact 들에 대해서는 false로 간주하므로 ￢resting(Lee), ￢working(Lee)를 true라 여기는 것이다.

- 반대되는 개념은 Open World Assumption(OWA; 열린 세계 가정)이다.