통합검색

확신 있게 말하면 근거도 더 강해 보일까?

세 실험에서 상대의 확신 표현이 공동 판단에 미치는 영향을 살피고, 확신을 유용한 단서로 쓰되 근거 강도와 분리해 검토하는 방법을 제안합니다.

The Persuasive Power of Knowledge: Testing the Confidence Heuristic

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

Reynolds의 분리논리 해설을 따라 분리곱과 프레임 규칙이 서로 겹치지 않는 힙 영역에 대한 국소 추론을 어떻게 가능하게 하는지 살핍니다.

Separation Logic: A Logic for Shared Mutable Data Structures

수리 부품을 멀리서 받아도, 제품을 더 오래 쓰면 교체보다 나을까?

부품 배송 거리·횟수·방식과 수명 연장 기간을 바꾸어 수리·교체의 가상 부담과 거리 교차점을 계산합니다.

Nixing the Fix: An FTC Report to Congress on Repair Restrictions

AI는 독립된 근거를 몇 개 찾으면 검색을 멈춰도 될까?

독립 출처·같은 원문의 반복 인용·미해결 주장을 바꾸어 검색을 계속할 조건과 멈출 조건을 비교합니다.

논리적 오류를 자동으로 찾으려면 설명도 함께 검증해야 한다

논리적 오류 식별을 탐지·상위 분류·세부 분류의 세 단계로 나누고, 유사 사례·원형·상식 지식을 활용한 설명 가능한 방법을 비교한 연구를 읽습니다.

자연어 논증의 논리적 오류를 견고하고 설명 가능하게 식별하기 — Robust and explainable identification of logical fallacies in natural language arguments