그래프 검색은 맞아도 관계 해석이 틀리면 답이 틀어진다
에서 큰 문제는 검색기나 이 아니라 관계의 뜻을 잘못 이어 붙이는 데서 생길 수 있다. 예를 들어 “사람이 팀을 관리한다”와 “팀이 도구를 쓴다”라는 두 관계는 각각 맞아도, 이를 합쳐 “그 사람이 그 도구를 쓴다”라고 결론 내리면 틀릴 수 있다. 팀이 쓰는 도구를 관리자가 직접 쓴다고 볼 수는 없기 때문이다.
은 문법이 맞는지만 확인하므로 이런 의미 오류를 잡기 어렵다. 은 자료형 불일치는 잡았지만, 사람이 팀의 속성을 물려받아도 되는지는 확인하지 못했다. 쿼리 로그는 어떤 검색이 실행됐는지만 보여줬고, 왜 답이 틀렸는지는 알려주지 못했다.
에게 스스로 답을 검토하게 해도, 잘못된 검색 문맥이 그 결론을 뒷받침하고 있어서 오히려 틀린 답을 자신 있게 확인했다.
핵심 포인트
- 각 관계가 맞아도 여러 관계를 이어 붙인 결론은 틀릴 수 있다.
- 은 문법 오류를 잘 잡지만 의미 오류는 놓칠 수 있다.
- 은 자료형 문제는 잡아도 관계 상속의 타당성까지 보장하지 않는다.
- 쿼리 로그는 실행된 검색을 보여줄 뿐, 잘못된 답의 이유를 설명하지 못한다.
- 의 자기 검토는 잘못된 검색 문맥이 있으면 오류를 강화할 수 있다.