‘알 수 없음’과 ‘거짓’은 규칙을 먼저 정해야 갈린다

그림에서 무엇을 볼까요?

대출 가능 사실이 기록되지 않은 같은 자료를 열린 세계에서는 미확정, 닫힌 세계에서는 거짓으로 판정하는 두 갈래 도식

치밍 바오·아그니에슈카 멘스펠트·마이클 위트브록·코스타스 스타티스는 법률·규정·의료처럼 부정의 읽기가 중요한 영역에서 모델이 어떤 의미론을 기본값으로 택하는지, 다른 의미론을 명시하면 그 지시를 따를 수 있는지 물었습니다. 열린 세계와 닫힌 세계, 2값과 3값, 안정 모형의 신빙적·회의적 읽기는 ‘증명되지 않음’을 서로 다르게 처리합니다.

연구진은 네 의미론에서 답이 갈리도록 논리 프로그램을 절차적으로 만들고 솔버로 정답을 인증했습니다. 주 평가에는 120개 프로그램을 다섯 조건으로 제시한 600개 프롬프트가 쓰였고, 여섯 모델을 대상으로 의미론을 명시한 경우와 생략한 경우를 비교했습니다. 이야기 소재·영어와 중국어·규칙 순서를 바꾸어도 인증 정답은 유지되게 설계했습니다.