[논문 리뷰] Collective Argumentation

Alexander Bochman|ArXiv.org|2002. 07. 09.

Logic, Reasoning, and Knowledge참고 문헌 5인용 수 5

한 줄 요약

이 논문은 공격 관계가 개별 논거가 아니라 논거의 집합 간에 발생하는 추상 논증 이론의 확장인 집단적 논증을 소개한다. 이는 논리 프로그래밍에서의 분리 논리 프로그램에 대한 의미론을 표현할 수 있게 하고, 논거 공유를 모델링할 수 있는 프레임워크를 제공하며, 주요 결과로 이러한 프레임워크에서의 안정적 및 선호되는 확장이 논리 프로그래밍에서 알려진 의미론과 대응됨을 보여준다.

ABSTRACT

An extension of an abstract argumentation framework, called collective argumentation, is introduced in which the attack relation is defined directly among sets of arguments. The extension turns out to be suitable, in particular, for representing semantics of disjunctive logic programs. Two special kinds of collective argumentation are considered in which the opponents can share their arguments.

연구 동기 및 목표

• 논증의 집합 간 공격을 允許하는 추상 논증 이론을 확장하여 협력적 논증을 모델링할 수 있도록 한다.
• 표준 논증 프레임워크가 직접 다룰 수 없는 분리 논리 프로그램의 의미론을 표현하기 위한 형식적 프레임워크를 제공한다.
• 상대편이 논거를 공유할 수 있는 특수한 경우를 조사하여 기존의 의미론을 자연스럽게 표현할 수 있도록 한다.
• l-양성 논증 이론을 국소 논증 이론의 양성 폐쇄로 특성화하여 기존의 논리 프로그래밍 의미론과 연결한다.

제안 방법

• 공격 관계가 개별 논거가 아니라 논거의 집합에 정의되는 프레임워크로서 집단적 논증을 정의한다.
• Γ가 집합 Δ를 공격하는 조건이, Δ에 속하는 어떤 논거도 Γ에 의해 허용되지 않을 때, 이를 '집단적 공격'으로 정의한다.
• 공격 관계의 구조적 성질에 기반해 '양성' 및 '음성' 논증 이론을 특성화한다.
• l-양성 이론을 특성화하기 위해 '수출성'과 '반국소성' 성질을 도입하며, 이는 국소 이론의 양성 폐쇄이다.
• 양성 폐쇄 구축을 통해 집단적 프레임워크 내에서 논리 프로그래밍의 약한 안정적 및 안정적 집합을 모델링한다.
• 구조적 제약 조건을 통해 집단적 환경 내에서 표준 논증 의미론(예: 안정적, 선호되는, 완전한 확장)을 재구성한다.

실험 결과

연구 질문

• RQ1 추상 논증 이론을 어떻게 확장하여 개별 논거가 아닌 논거 집합 간의 공격을 모델링할 수 있는가?
• RQ2 집단적 논증은 다중 헤드를 가진 분리 논리 프로그램에 대해 자연스러운 의미론을 제공할 수 있는가?
• RQ3 상대편이 논거를 공유할 수 있는 경우를 특성화하는 데 필요한 구조적 성질은 무엇인가?
• RQ4 l-양성 논증 이론은 기존의 논리 프로그래밍 의미론(예: 안정적 및 약한 안정적 모델)과 어떻게 관련이 있는가?
• RQ5 국소적 및 비국소적 집단적 논증 프레임워크 간의 광범위한 차이점은 어떤 구조적 특성에서 비롯되는가?

주요 결과

• 논문은 집합 수준의 공격을 允許함으로써 분리 논리 프로그램의 실질적인 의미론을 표현할 수 있음을 입증한다.
• l-양성 논증 이론이 정확히 국소 논증 이론의 양성 폐쇄임을 보여주며, 형식적 특성화를 제공한다.
• Kakas와 Mankarella(1991)의 안정적 이론은 l-양성 집단적 논증 프레임워크 내에서 최대의 허용 집합으로 정확히 표현될 수 있다.
• l-양성 프레임워크 내의 허용 집합 집합은 하부 하향 격자 구조를 이루지 않으며, 이는 국소 사례를 초월한 구조적 복잡성을 시사한다.
• 양성 및 음성 논증은 비트리비얼화 없이 상호 배타적임을 보여주며, 그 조합은 대칭적 공격을 유도하여 고전적 배타성으로 수렴한다.
• 이 프레임워크는 논거 공유를 자연스럽게 표현할 수 있으며, 상대편이 일시적으로 논거를 공유함으로써 협력적 논증에 대한 일관된 의미론을 도출할 수 있다.