논증

논증 지도를 다른 프로그램으로 옮겨도 구조가 보존될까?

Argument Interchange Format의 정보 노드와 도식 적용 노드를 통해 문장 내용과 추론 행위를 분리해야 논증 구조를 교환·확장할 수 있음을 살펴봅니다.

두 파란 정보 노드 사이에 초록 추론 적용 노드가 있고, 별도의 빨간 충돌 노드가 추론 노드를 공격하는 AIF 도식
AIF의 I-node와 RA·CA-node 구분을 단순화한 예시. 원문 도표를 복제하지 않고 LTCT가 교육용으로 새로 그렸다.
그림 크게 열기 ↗SVG 저장

그림에서 무엇을 볼까요?

두 파란 정보 노드 사이에 초록 추론 적용 노드가 있고, 별도의 빨간 충돌 노드가 추론 노드를 공격하는 AIF 도식

정보 노드 I1은 ‘비 예보가 있다’, I2는 ‘우산 수요가 늘 수 있다’다. 둘 사이에 RA1 ‘예보에서 수요 전망으로 가는 실용적 추론’을 둔다. 다른 도구로 내보낼 때 I1·I2만 보내면 핵심 관계가 사라진다.

반론은 I1을 부정할 수도 있고 RA1의 신뢰성을 공격할 수도 있다. 두 비판을 같은 빨간 선으로만 그리면 무엇이 공격받는지 알 수 없다.

함께 확인할 점

AIF는 표준화와 상호운용성을 위한 이론·공학 제안으로 학습 효과 실험이 아니다.

공통 형식을 사용해도 암묵 전제와 대화 맥락이 자동 복원되지는 않으며 스킴 매핑이 필요하다.

생각해 볼 질문

두 문장이 모두 참이면 그 사이에 그은 지지 화살표도 자동으로 옳을까?

← 논증 그림 더 보기