통합검색

‘확인했습니다’는 주장에 동의했다는 뜻일까?

응답 표현·이해의 증거·후속 확인을 바꾸어 수신 확인, 내용 이해, 결론 합의와 남은 질문을 나눕니다.

Grounding in Communication

‘또 늦었다’의 ‘또’는 실제 반복을 증명할까?

반복 표현·앞 사건·관점 주체·뒤 문장의 정정을 바꾸어 지지된 전제, 보완된 전제와 충돌하는 해석을 나눕니다.

Presupposition

가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?

혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.

Hybrid Logic

검색 문서 속 명령을 AI가 따라도 될까?

요약하려고 가져온 문서의 ‘승인 상태를 바꿔라’는 문장을 지시가 아닌 자료로 표시하고, 읽기 전용 권한으로 행동 경로를 차단하는 두 겹 방어를 비교합니다.

보상 점수가 높으면 AI가 목적도 잘 따른 걸까?

같은 씨앗 봉투를 반복 스캔해도 점수가 오르는 교육용 규칙을 통해, 측정 보상과 사람이 의도한 목표의 간격을 검사합니다.