통합검색

20명 중 4명이 빠졌는데 ‘75%가 좋아졌다’고만 써도 될까?

전체·추적·개선 인원과 누락 가정을 바꾸어 관찰 분모, 전체 기준 단순 경계와 공개해야 할 사유 문장을 다시 씁니다.

Item 22b: Losses and exclusions

겉보기에 같은 한글을 AI가 다른 문자열로 셀 수 있을까?

완성형 한 글자와 자모 조합은 같은 모양이어도 코드포인트 배열이 다릅니다. 음절을 바꾸며 원문 비교와 NFC 정규화 뒤 비교를 확인합니다.

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

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

Linear Logic

AI가 만든 JSON이 문법에 맞으면 실제 규칙도 맞을까?

필수 필드·자료형·값 범위·업무 조건을 바꾸어 구조 검증과 의미 검증이 어디서 갈리는지 살핍니다.

공격받은 논증도 공격자를 막으면 받아들일 수 있을까?

Dung의 추상 논증틀에서 공격·방어·허용가능성·근거 확장을 구분하고, 주장 내용 대신 공격 관계만으로 수용 집합을 계산합니다.

On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and N-Person Games