믿음을 거두면 그 반대가 참이라고 믿어야 할까?

연구를 읽는 두 가지 질문

관측 장비의 세 가지 기록 상태

LTCT 예시에서 P는 ‘장비가 정상이다’라는 문장입니다. 이 단순화한 예시에서는 정상과 고장 두 상태만 구분한다고 가정합니다. 처음 기록에는 P가 있습니다. 검사 자료가 부족하다는 이유로 P를 철회한 기록에는 P도 ‘P가 아니다’도 없습니다. 둘 중 어느 쪽인지 아직 받아들이지 않은 상태입니다. 반면 확정된 고장 보고를 받아 수정한 기록에는 ‘P가 아니다’가 들어가고 P는 제거됩니다. 두 변화는 처음 믿음을 더는 유지하지 않는다는 점만 같습니다.

추가 연산도 비교해 볼 수 있습니다. 정상이라는 믿음 P를 그대로 둔 채 고장이라는 믿음만 추가하면 서로 충돌합니다. 새 보고를 수용한다는 목표와 믿음의 일관성을 유지한다는 목표를 함께 만족하려면 무엇을 거둘지 결정해야 합니다. 이 예시는 문장 두 개만 사용하므로 단순하지만, 실제 기록에는 P를 뒷받침하거나 P에서 도출된 다른 문장도 있을 수 있습니다.

예컨대 ‘정상 장비는 관측에 투입할 수 있다’라는 규칙이 있더라도 P의 철회만으로 ‘관측에 투입할 수 없다’가 따라오지는 않습니다. 투입 여부에 관한 다른 안전 조건과 자료가 남아 있을 수 있기 때문입니다. 철회 뒤에 어떤 결론을 유지할 수 있는지 알려면 남은 근거를 다시 확인해야 합니다. 상태표는 장비의 실제 상태가 아니라 편집된 믿음 기록을 나타냅니다.