[논문 리뷰] Verifiability of Argumentation Semantics

Ringo Baumann, Thomas Linsbichler외 1명|arXiv (Cornell University)|2016. 03. 31.

Multi-Agent Systems and Negotiation참고 문헌 7인용 수 10

한 줄 요약

이 논문은 논증 의미론을 계산하기 위해 필요한 최소 정보를 결정하기 위해 검증 클래스의 계층을 도입한다. 이는 표준 의미론인 선호, 안정, 이상과 같은 의미론이 특정 클래스를 통해 검증 가능하다는 것을 보여주며, 중간 의미론에 대한 강한 동치성도 이러한 클래스를 통해 특성화할 수 있음을 입증한다. 이는 정보 요구 조건에 기반한 의미론 간 비교를 위한 통합 프레임워크를 제공한다.

ABSTRACT

Dung's abstract argumentation theory is a widely used formalism to model conflicting information and to draw conclusions in such situations. Hereby, the knowledge is represented by so-called argumentation frameworks (AFs) and the reasoning is done via semantics extracting acceptable sets. All reasonable semantics are based on the notion of conflict-freeness which means that arguments are only jointly acceptable when they are not linked within the AF. In this paper, we study the question which information on top of conflict-free sets is needed to compute extensions of a semantics at hand. We introduce a hierarchy of so-called verification classes specifying the required amount of information. We show that well-known standard semantics are exactly verifiable through a certain such class. Our framework also gives a means to study semantics lying inbetween known semantics, thus contributing to a more abstract understanding of the different features argumentation semantics offer.

연구 동기 및 목표

• 충돌 자유 집합을 초과하는 최소 정보가 논증 의미론을 계산하기 위해 필요한지를 규명하는 것.
• 검증 클래스의 계층을 통해 의미론을 그들의 검증 가능성에 따라 분류하는 것.
• 정보 요구 조건에 기반한 중간 의미론 간 비교를 위한 프레임워크를 제공하는 것.
• 검증 클래스를 사용하여 의미론에 대한 강한 동치성을 특성화함으로써 의미론적 특성 간 추상적 비교를 가능하게 하는 것.

제안 방법

• 논증 프레임워크에 대한 정보의 세분화 정도가 증가하는 15개의 검증 클래스로 구성된 형식적 계층을 제안한다.
• 의미론의 검증 가능성을 특정 검증 클래스에서만 제공되는 정보를 사용하여 확장(확장 집합)을 계산할 수 있는 능력으로 정의한다.
• 자기 순환에 영향을 받지 않도록 하는 합리성 개념을 도입하여 계층 내에서의 의미론 분류를 가능하게 한다.
• 핵심 기반 특성화(예: stb, ad, gr)를 사용하여 검증 클래스와 강한 동치성 간의 관계를 설정한다.
• 논리적 추론과 구조적 변환(예: 보조 논증 추가)을 활용하여 동치성 및 비동치성 결과를 증명한다.
• 15개의 검증 클래스 중 오직 6개만이 표준 의미론을 분류하는 데 필수적이라는 것을 입증한다.

실험 결과

연구 질문

• RQ1 주어진 논증 의미론을 계산하기 위해 충돌 자유 집합을 초과하여 필요한 최소 정보는 무엇인가?
• RQ2 검증 클래스를 사용하여 정보 요구 조건에 따라 의미론을 체계적으로 분류할 수 있는가?
• RQ3 중간 의미론에 대한 강한 동치성은 검증 클래스를 통해 특성화될 수 있는가?
• RQ4 정확히 어떤 검증 클래스가 합리적 의미론을 계산하기 위해 필요한 정보를 포괄하는가?
• RQ5 다양한 의미론은 검증 가능성과 정보 효율성 측면에서 어떻게 비교될 수 있는가?

주요 결과

• 선호, 안정, 이상, 준안정, 낙관적 등 모든 표준 합리적 의미론은 정확히 15개의 검증 클래스 중 하나를 통해 검증 가능하다.
• 고려된 표준 의미론을 분류하기 위해 15개의 검증 클래스 중 오직 6개만이 필요하다는 점은 정보 재사용의 높은 수준을 시사한다.
• 선호 및 이상 의미론은 준안정이나 낙관적 의미론과 같은 다른 의미론보다 엄밀히 더 적은 정보로 검증 가능하다.
• stb-stg-중간 의미론에 대한 강한 동치성은 안정 핵심을 통해 특성화되며, 이는 의미론이 + -검증 가능할 경우에 한해 성립한다.
• ρ-ad-중간 의미론(예: 완전)에 대한 강한 동치성은 의미론이 +−-검증 가능할 경우, 정당한 핵심을 통해 특성화된다.
• 이 프레임워크를 통해 검증 기반 정리를 활용하여 낙관적 확장 및 강한 정당한 집합에 대한 강한 동치성을 특성화할 수 있다.