한 주장을 공격하는 반박이 두 개인데 방어 논증 하나가 그중 하나만 되받으면, 처음 주장은 다시 받아들여질까요? 추상 논증에서는 ‘방어가 있다’는 사실보다 남아 있는 모든 공격자가 어떻게 처리되는지가 중요합니다.
연구를 읽는 두 가지 질문
공격 관계만으로 무엇을 계산하나?
Dung은 논증을 내부 문장 대신 추상 노드로 두고, 한 논증이 다른 논증을 공격하는 관계를 사용해 수용 가능성을 정의했습니다. 어떤 논증을 방어하려면 그 논증을 공격하는 각각의 공격자에 대해 받아들인 논증이 되받는 관계가 있어야 합니다. [1]
근거 고정점은 어떻게 시작하나?
근거 확장은 공격받지 않는 논증에서 시작해, 이미 받아들인 논증들이 모든 공격자를 공격해 주는 노드를 반복해서 더한 가장 작은 고정점입니다. 활동은 이 반복을 A·B·C·D 네 노드에 적용합니다. [1]
왜 반박 개수보다 구조가 중요한가?
공격 두 개와 방어 한 개라는 수만으로 결과를 정할 수 없습니다. 방어가 어느 공격자에게 연결되는지, 남은 공격자가 수용되는지에 따라 A의 상태가 달라집니다. [1]
두 반박 가운데 하나만 되받은 토론
가상 학교회의에서 주장 A는 ‘운동장을 저녁에도 개방하자’입니다. B는 안전 인력 부족, C는 인근 주민의 소음 우려로 A를 공격합니다. D는 추가 안전 인력 계획으로 B를 되받지만 C에는 답하지 않습니다.
아래 활동에서 B→A, C→A, D→B, D→C 관계를 켜고 끄면 근거 고정점에 따른 수용·기각·미결정 집합이 달라집니다. 이는 주장의 진실성을 자동 판정하는 AI가 아니라 저장된 관계를 계산하는 교육 도구입니다.
기본값에서는 D가 B를 막아도 C가 남아 A를 공격합니다. D가 C도 공격하도록 바꾸면 두 공격자가 모두 방어되어 A가 수용 집합에 들어갑니다.
공격과 방어 관계를 바꾸어 주장의 상태를 다시 계산해 보세요
B와 C가 A를 공격하고 D가 공격자를 되받는 교육용 그래프입니다. 공격선과 방어선을 켜고 끄면 고정점 계산의 수용·기각·미결정 집합이 달라집니다.
| 논증 | 판정 | 관계 |
|---|---|---|
| 원래 주장 A | 기각 | B→A · C→A |
| 공격 B | 기각 | B→A · D→B |
| 공격 C | 수용 | C→A |
| 방어 D | 수용 | D→B |
A는 기각 · 수용 C·D · 기각 A·B · 미결정 없음
노드 수나 말의 세기를 세는 활동이 아닙니다. 추상 논증의 공격 구조만 계산하며 실제 근거의 진실성·관련성은 별도로 평가해야 합니다.
어디까지 말할 수 있을까요?
- 추상 논증 틀은 공격 관계를 입력으로 받습니다. 실제 근거가 참인지, 관련 있는지, 공격 관계가 올바른지는 별도 검토가 필요합니다.
- 이 글은 Dung의 근거 의미론 가운데 가장 작은 고정점에서 시작하는 교육용 계산만 다룹니다. 다른 의미론은 같은 그래프에서 다른 수용 집합을 줄 수 있습니다.
- 현실 토론의 힘·신뢰도·법적 부담을 노드 수나 연결 수로 단순 대체하지 않습니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
토론 수업에서는 반박 카드 수를 세기 전에 각 카드가 어느 주장을 공격하는지 화살표로 연결합니다. 방어가 공격자 하나만 되받았는지 모든 공격 경로를 막았는지 구분합니다.
모둠의 검토 활동에서는 결론에 반대하는 이유를 지웠다고 표시하지 않고, 어떤 방어 근거가 어떤 공격을 무력화하는지 관계 장부를 남깁니다.
방어 논증 D가 아주 강해 보이면 B와 C를 모두 물리쳤다고 보아도 될까요?
생각을 비교할 해설 펼치기
아닙니다. 이 형식에서는 명시된 공격선만 계산합니다. D→B만 있다면 C→A는 남습니다. 실제 논증의 내용과 공격 관계를 먼저 정당화해야 합니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
논증의 수용 가능성과 비단조 추론·논리 프로그래밍에서의 기본 역할 (On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games)
Phan Minh Dung (1995). Artificial Intelligence, 77(2), 321–357.
- 자료 성격
- 동료심사 학술지 논문 · 저자 기관 공개 전문
- 읽은 버전
- 1995년 출판본
- 확인 범위
- 공개 전문에서 추상 논증 틀, 방어·수용 가능성, 특성 함수, 근거 확장의 정의와 예제를 확인
- 원문 확인일
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.