- 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)을 유도할 수 ..