[논문 리뷰] Attacker and Defender Counting Approach for Abstract Argumentation

Fuan Pu, Jian Luo외 2명|arXiv (Cornell University)|2015. 06. 13.

Multi-Agent Systems and Negotiation참고 문헌 6인용 수 4

한 줄 요약

이 논문은 대화 게임 프레임워크 내에서 수비수(지지자 이동)와 공격수(반대자 이동)의 수를 기반으로 한계론의 수용 가능성 평가를 위한 계수 의미론을 제안한다. 논의 트리로 평가를 모델링하고 기여도 감쇠 요소를 적용하여 정규화와 수렴을 달성함으로써, 가장 수용 가능도가 높은 것에서 가장 낮은 것까지의 세밀한 순위 매기기가 가능해진다.

ABSTRACT

In Dung's abstract argumentation, arguments are either acceptable or unacceptable, given a chosen notion of acceptability. This gives a coarse way to compare arguments. In this paper, we propose a counting approach for a more fine-gained assessment to arguments by counting the number of their respective attackers and defenders based on argument graph and argument game. An argument is more acceptable if the proponent puts forward more number of defenders for it and the opponent puts forward less number of attackers against it. We show that our counting model has two well-behaved properties: normalization and convergence. Then, we define a counting semantics based on this model, and investigate some general properties of the semantics.

연구 동기 및 목표

• 기존의 의미론이 일반적으로 비어 있거나 구분이 흐린 결과를 도출하는 데서 비롯되는 한계를 해결하기 위해.
• 수비수와 공격수의 수를 기반으로 한 계량적 접근을 통해, argument 수용 가능성에 대한 세밀한 수치적 평가를 제공하기 위해.
• 정규화와 수렴과 같은 잘 정의된 성질을 보장하는 계수 의미론을 체계화하기 위해.
• 지지자와 반대자 에이전트 간의 대화 게임으로서의 argument 평가 모델링을 통해 일관되고 확장 가능한 argument 순위 매기기를 가능하게 하기 위해.
• argument의 공격자 간의 구조적 관계가 상대적인 수용 가능성 순위에 미치는 영향을 조사하기 위해.

제안 방법

• 지지자(PRO)와 반대자(OPP) 사이의 대화 게임으로서 argument 평가를 모델링하며, 이동이 번갈아가며 논의 트리 내의 공격자 또는 수비자 노드로 레이블링된다.
• 논의 트리 내의 수비자 및 공격자 노드의 수를 기반으로 argument에 수치적 강도 값을 할당하며, 기여도 감쇠를 제어하기 위해 감쇠 인자 α를 사용한다.
• 수렴성과 정규화를 보장하기 위해 수비자 및 공격자 기여도를 집계하는 재귀 공식을 사용하여 계수 의미론 vα를 정의한다.
• 집합 간 비교 관계 ≤α를 도입하여 공격자 집합을 비교하며, S1 ≤α S2는 S1에서 S2로의 단사 사상이 존재하고, 각 사상된 argument가 원상 대응보다 적어도 동등한 수용 가능성 수준을 가진다는 조건을 의미한다.
• 공격자 집합이 더 크거나 더 높은 순위의 argument를 포함할 경우의 엄격한 우월성을 식별하기 위해 강한 비교 관계 ≺α를 도입한다.
• 논의 트리의 구조를 사용하여 argument 강도를 재귀적으로 계산하며, 루트 argument가 대화를 시작하고 이후 이동은 공격 관계에 따라 트리를 구축한다.

실험 결과

연구 질문

• RQ1 기존의 확장 기반 의미론보다 더 세밀한 척도로 argument 수용 가능성을 평가할 수 있는 방법은 무엇인가?
• RQ2 합리적이고 일관된 순위 매기기를 보장하기 위해 수치적 argument 평가 모델이 만족해야 할 성질은 무엇인가?
• RQ3 논의 트리 내의 수비자 및 공격자 수가 argument의 상대적 수용 가능성에 어떤 영향을 미치는가?
• RQ4 어떤 조건에서 공격자가 적거나 품질이 높은 공격자를 가진 argument가 더 수용 가능성이 높다고 보장할 수 있는가?
• RQ5 감쇠 인자 α는 결과적인 수용 가능성 순위에 어떤 영향을 미치며, 수렴성과 정규화를 보장하는 데서 그 역할은 무엇인가?

주요 결과

• 제안된 계수 의미론은 정규화를 달성하여 argument 강도 값이 0에서 1 사이로 유한하게 제한되며, 이는 의미 있는 비교를 가능하게 한다.
• 이 의미론은 수렴성 또한 나타내어, argument 강도 값의 재귀적 계산이 안정화되고 고유하고 잘 정의된 결과를 도출함을 의미한다.
• 만약 argument xi의 1길이 공격자 집합이 xj의 것보다 ≤α이면, xi는 xj만큼 적어도 수용 가능성이 높거나 동일하며, 즉 xi ⪰α xj임을 의미한다. 이는 합리적인 순위 매기기 행동을 보여준다.
• 만약 xi의 공격자 집합이 xj의 것보다 강하게 작을 경우(기호로 ≺α로 표기), xi는 xj보다 엄격히 더 수용 가능성이 높으며, 즉 xi ≻α xj임을 의미한다. 이는 복잡한 경우에도 엄격한 순서를 가능하게 한다.
• 예시 프레임워크에서는 직접 계산과 집합 기반 비교를 통해 일관되게 x4 ≻ x1 ≻ x3 ≻ x2의 순위가 유도되며, 이는 모델의 예측 능력을 검증한다.
• 공격자 집합 비교와 재귀적 계수를 사용한 순위 유도가 일관되게 이루어지므로, 복잡한 그래프에서도 확장 가능하고 직관적인 argument 순위 매기기를 지원한다.