통합검색

한 번 쓴 전제를 마음대로 다시 써도 될까?

Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.

Linear Logic

‘떠났다고 말하지 않았다’와 ‘떠나지 않았다고 말했다’는 같은 뜻일까?

부정어의 자리·독립 사건 기록·직접 인용 여부를 바꾸어 말하기, 발화 내용과 실제 사건의 근거를 분리합니다.

Negation

‘모두 제출했다’가 거짓이면 아무도 제출하지 않았을까?

네 사람의 제출 상태를 바꾸며 ‘모두가 아니다’, ‘어떤 사람은 아니다’, ‘아무도 아니다’의 관계를 반례로 확인합니다.

인공지능(AI)에게 원칙을 주면 안전한 답이 자동으로 보장될까?

Constitutional AI 공개본의 비판·수정과 AI 피드백 강화학습 절차를 구분하고, 원칙 선택과 평가의 남은 한계를 살핍니다.

Constitutional AI: Harmlessness from AI Feedback

내용을 잘 알아도 질문 속 틀린 이름을 놓칠 수 있을까?

모세 착각 연구는 익숙한 질문의 전체 뜻을 빠르게 파악할 때, 저장 지식과 어긋나는 단어 하나를 발견하지 못할 수 있음을 보여 줍니다.

Locus of the Moses Illusion: Imperfect Encoding, Retrieval, or Match?