주장 A가 반론 B에게 공격받으면 바로 버려야 할까요? B를 다시 공격하는 C가 있다면 A는 방어될 수 있습니다. Dung은 논증의 내부 문장을 잠시 접어 두고 ‘어떤 논증이 어떤 논증을 공격하는가’라는 관계만으로 수용 가능한 집합을 연구했습니다. 이 추상화는 비단조 추론, 논리 프로그램, 게임의 여러 의미론을 공통 구조에서 비교하게 했습니다.
연구를 읽는 두 가지 질문
허용가능성과 근거 확장은 무엇인가?
논증틀은 논증 집합 AR과 공격 관계 attacks의 쌍입니다. 집합 S가 내부에서 서로 공격하지 않고, S의 각 논증을 공격하는 모든 논증을 S가 되받아 공격하면 S는 허용가능합니다. 특성함수 F는 S가 방어하는 논증들을 모으며, 근거 확장은 F의 최소 고정점입니다. 아무 공격도 받지 않는 논증에서 시작해 방어되는 논증을 반복해서 더하는 회의적 수용 방식입니다. [1]
모든 의미론이 같은 답을 주나?
아닙니다. 원문은 근거·완전·선호·안정 확장의 관계를 구분합니다. 모든 안정 확장은 선호 확장이지만 그 역은 성립하지 않으며, 자기 자신을 공격하는 하나의 논증은 빈 선호 확장은 있어도 안정 확장은 없습니다. 서로 공격하는 두 논증의 근거 확장은 비어 있을 수 있습니다. 따라서 ‘수용됨’이라는 말을 쓸 때 어떤 의미론을 택했는지 밝혀야 하며, 그래프의 모양만 보고 유일한 답이 있다고 가정하면 안 됩니다. 유한하고 순환이 없는 틀에서는 의미론들이 자주 일치하지만, 순환이나 자기공격이 생기면 차이가 드러납니다. 계산 전에는 공격 화살표의 방향을 확인하고, 계산 뒤에는 선택한 집합이 실제로 무충돌이며 공격자를 방어하는지 역검산해야 합니다. [1]
전시 연장 논쟁의 네 노드
LTCT 가상 논쟁에서 A는 ‘전시를 연장하자’, B는 ‘예산이 없다’며 A를 공격하고, C는 ‘후원금이 확보됐다’며 B를 공격합니다. D는 ‘후원 약정이 취소됐다’며 C를 공격합니다. D가 사실이라면 방어 연쇄가 다시 바뀝니다.
아래 활동에서 공격 화살표를 켜고 끄면 공격받지 않은 논증부터 계산한 근거 확장이 달라집니다. 네 노드 유한 그래프를 정확히 계산하는 교육 모형이며 실제 논쟁의 전제 진실성은 판단하지 않습니다.
LTCT에서는 학생이 주장 내용을 평가하기 전에 공격 관계를 그리고, 선택한 집합이 내부 충돌 없이 모든 공격자를 방어하는지 표로 확인하게 합니다. 이어 각 전제의 사실성은 별도 증거표에서 검토합니다.
공격 관계를 켜고 끄며 근거 확장을 계산하세요
화살표는 앞 논증이 뒤 논증을 공격함을 뜻합니다. 공격 관계를 바꾸면 최소 고정점이 달라집니다.
| 공격자 | 대상 |
|---|---|
| B | A |
| C | B |
근거 확장: A, C, D · 3개
어디까지 말할 수 있을까요?
- 이론 논문은 교육 효과를 측정한 실험이 아니며 공격 관계의 올바른 추출 자체를 자동으로 해결하지 않습니다.
- 논증의 강도·출처·확률을 생략한 이진 공격틀만으로 실제 정책 논쟁의 모든 판단을 표현할 수 없습니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
공격 그래프와 증거표를 분리하고, 수용 결과에 사용한 의미론을 반드시 표시합니다.
채점에서는 집합의 결론뿐 아니라 무충돌성·공격자 방어·고정점 반복을 단계별로 확인합니다.
공격을 많이 받는 주장은 약한 주장인가요?
생각을 비교할 해설 펼치기
공격 수만으로 결정되지 않습니다. 공격자가 다시 방어되는지와 선택한 의미론이 중요하며, 공격 관계의 근거도 별도로 검증해야 합니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 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년 게재판 PDF, 37쪽
- 확인 범위
- 공개 전문 전체에서 논증틀·공격·허용가능성, 특성함수, 근거·완전·선호·안정 확장의 정의와 관계, 고정점 예시를 확인
- 원문 확인일
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.