통합검색

중세 논리학자는 가정 하나를 끝까지 지킬 수 있었을까?

13~14세기 의무 논쟁의 positio 형식을 읽고, 한 가정과 규칙을 받아들였을 때 다음 문장을 받아들일 수 있는지 가능한 경우로 살핍니다.

모순 하나가 들어오면 아무 결론이나 따라와야 할까?

Priest의 역설 논리를 통해 모순 허용과 폭발 원리의 거부가 어떻게 구분되는지 탐구합니다.

The Logic of Paradox

목표가 80점에서 90점으로 바뀌면, 달성률 하락은 성과 하락일까?

이전·현재 결과와 두 목표값을 바꾸어 실제 결과 변화, 목표 달성률 변화와 함께 쓸 수 있는 보고 문장을 구분합니다.

Evidence-Based Policymaking: Practices to Help Manage and Assess the Results of Federal Efforts

새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?

Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.

A Logic for Default Reasoning

인공지능(AI)에게 같은 질문을 여러 번 하면 꾸며낸 사실을 찾을 수 있을까?

SelfCheckGPT가 검은상자 생성 모델의 여러 표본 사이 불일치를 이용해 환각을 탐지한 방법을 읽고, 일관성과 사실성을 구분합니다.

SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Models