[논문 리뷰] ABA+: Assumption-Based Argumentation with Preferences

Kristijonas Čyras, Francesca Toni|arXiv (Cornell University)|2016. 10. 10.

Multi-Agent Systems and Negotiation참고 문헌 16인용 수 38

한 줄 요약

이 논문은 가정에 대한 선호도를 공격 관계에 직접 통합함으로써 공격 반전을 통해 공격 관계를 수정하는 ABA+라는 Assumption-Based Argumentation(Aba)의 새로운 확장 기법을 제안한다. 이는 갈등이 있는 논거를 더 직관적이고 보수적으로 다룰 수 있도록 한다. 이 방법은 다양한 의미론 하에서 유일하고 선호되는 확장을 보장하면서도 ABA의 기본 성질을 유지한다.

ABSTRACT

We present ABA+, a new approach to handling preferences in a well known structured argumentation formalism, Assumption-Based Argumentation (ABA). In ABA+, preference information given over assumptions is incorporated directly into the attack relation, thus resulting in attack reversal. ABA+ conservatively extends ABA and exhibits various desirable features regarding relationship among argumentation semantics as well as preference handling. We also introduce Weak Contraposition, a principle concerning reasoning with rules and preferences that relaxes the standard principle of contraposition, while guaranteeing additional desirable features for ABA+.

연구 동기 및 목표

• 논증 체계, 특히 ABA와 같은 구조화된 프레임워크에서 선호도를 공식화하는 데 아직 합의가 이루어지지 않은 문제를 해결하기 위해.
• 대상 수준의 가정에 대한 선호도를 공격 관계에 직접 통합함으로써 메타 수준의 집계를 피하는 선호도 처리 메커니즘을 개발하기 위해.
• ABA+가 ABA를 보수적으로 확장하면서도 충돌 방지성과 수용 가능성과 같은 바람직한 의미론적 성질을 유지하도록 보장하기 위해.
• 논리적 일관성을 해치지 않으면서 규칙과 선호도를 함께 다룰 수 있도록 허용하는 약화된 원칙인 약한 대우의 원칙을 도입하고 정당화하기 위해.
• 공격 삭제나 메타 수준의 선호도 집계를 사용하는 기존 접근 방식과 달리, ABA+가 공격 반전을 사용함으로써 기존 방법들과 차별화됨을 입증하기 위해.

제안 방법

• ABA+에서 선호도 정보는 가정에 정의되며, 이를 통해 공격을 반전시킨다: 만약 공격자가 공격 대상 논거보다 선호도가 낮다면, 공격 방향이 뒤집어진다.
• 공격 반전은 다음과 같이 형식화된다: 가정 집합 A가 B를 공격하기 위해서는 A의 가정들이 B의 가정의 반대를 도출할 수 있어야 하며, 선호도 순서에 따라 공격가 유지되거나 반전된다.
• ABA+의 의미론은 결과적으로 생성된 공격 그래프 위에서 정의되며, 확장은 표준 논증 의미론(예: 완전성, 선호성, 안정성)을 사용하여 계산된다.
• 표준 대우 원칙을 완화시켜 더 유연한 추론이 가능하게 하되, 하위 논거에 대한 닫힘성과 같은 핵심 성질을 유지하는 새로운 원칙인 약한 대우를 도입한다.
• ASPIC+로의 공식적 매핑을 통해 ABA+의 논증 구조와 선호도 처리의 일관성을 검증한다.
• 선호도 비교(엘리트주의, 민주주의, 상호 배타적 엘리트주의)를 사용하여 결과 논증 체계에서 패배 관계를 결정함으로써, 더 선호도가 높은 논거가 더 낮은 선호도를 가진 논거를 압도할 수 있도록 보장한다.

실험 결과

연구 질문

• RQ1 가정에 대한 선호도를 ABA에 어떻게 통합할 수 있을까? 이는 원래 프레임워크의 형식적 성질을 유지하는 데 초점이 맞춰져야 한다.
• RQ2 공격 반전이 선호도가 있는 ABA에서 수용 가능한 확장의 존재성과 유일성에 어떤 영향을 미치는가?
• RQ3 공격를 삭제하거나 메타 수준에서 선호도를 집계하는 기존 접근 방식과 비교할 때 ABA+는 어떠한가?
• RQ4 ABA+에서 대우와 같은 논리 원칙은 어떤 것이 유지되거나 완화되는가? 그 결과는 무엇인가?
• RQ5 ABA+는 동일한 선호도 순서에서 ABA+의 논증과 패배 관계가 ASPIC+와 동치가 되도록 공식적으로 ASPIC+로 매핑될 수 있는가?

주요 결과

• ABA+는 ABA를 보수적으로 확장하여, 선호도가 없을 경우 ABA의 모든 확장이 ABA+에서도 유효함을 보장한다.
• 공격 반전의 사용은 한 가정이 다른 가정보다 엄격히 선호되는 경우 갈등 상황에서 ABA+가 고유한 선호 확장을 도출할 수 있음을 반선관 예제를 통해 입증한다.
• ABA+는 다양한 논증 의미론 하에서 충돌 방지성, 수용 가능성, 안정성과 같은 바람직한 의미론적 성질을 만족한다.
• 약한 대우의 도입은 완전한 대우가 필요로 하지 않는 결함 가능 규칙과 선호도를 함께 다룰 수 있도록 하여 논리적 일관성을 유지하면서도 더 큰 논리적 민첩성을 제공한다.
• ASPIC+로의 공식적 매핑은 ABA+의 논증과 패배 관계가 동일한 선호도 순서 하에서 ASPIC+와 일치함을 확인함으로써, 이 접근 방식의 일관성을 검증한다.
• ABA+는 대부분의 기존 선호도 기반 논증 체계와 달리, 선호도를 대상 수준(가정에서)에 통합하고 공격 관계를 직접 수정함으로써, 공격를 삭제하거나 논거 수준에서 선호도를 집계하는 방식과 차별화된다.