통합검색

언어모델과 정리증명기는 어디에서 역할을 나눌까?

LINC는 언어모델을 의미 파서로, 1차 논리 증명기를 판정기로 사용해 언어 이해와 형식 추론의 책임을 분리했습니다.

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

근거가 같아도 누가 말했는지에 따라 들리는 정도가 달라질까?

논증의 문장 구조와 실제 대화의 발언 기회·신뢰 배분을 함께 살피는 여성주의 논증 연구를 소개합니다.

Feminist Perspectives on Argumentation

수학 증명은 기호가 맞으면 대화 목적과 무관할까?

형식적 증명, 대화 목적, 설명 책임를 연결해 조건과 범위를 확인하는 교육용 도식.

“이 방법도 가능하다”는 제안에도 입증 책임이 있을까?

세계적 규범적 수단적 실천적 가능성 네 근거가 제안 가능성 노드에 합류하고 추가 비교 근거가 권고 노드로 이어진다.

같은 답변도 토론의 제도에 따라 다른 일을 할까?

같은 질문과 응답이 설명회, 청문, 협상이라는 제도적 맥락에 따라 정보 제공, 책임 검토, 조건 교환으로 다르게 평가되는 흐름도