[논문 리뷰] Weighted Abstract Dialectical Frameworks: Extended and Revised Report

Gerhard Brewka, Jörg Pührer외 3명|arXiv (Cornell University)|2018. 06. 20.

Multi-Agent Systems and Negotiation참고 문헌 17인용 수 3

한 줄 요약

이 논문은 추상적 다이얼렉티컬 프레임워크(ADFs)를 확장하여 논증에 대한 가중치가 부여된 수용 정도를 도입함으로써, 표준 ADF 의미론—기초, 선호, 안정—을 임의의 평가 구조를 사용하는 다가치 설정으로 일반화한다. 주요 기여는 이전 연구의 한계를 극복하기 위해 보완된 완성도 정의이며, 이는 비평탄된 정보 순서에 대해서도 강력한 의미론을 가능하게 하고, 단위 구간 외의 응용 중심의 값 체계를 지원한다.

ABSTRACT

Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further generalize ADFs so as to accommodate arbitrary acceptance degrees for the arguments. This makes ADFs applicable in domains where both the initial status of arguments and their relationship are only insufficiently specified by Boolean functions. We define all standard ADF semantics for the weighted case, including grounded, preferred and stable semantics. We illustrate our approach using acceptance degrees from the unit interval and show how other valuation structures can be integrated. In each case it is sufficient to specify how the generalized acceptance conditions are represented by formulas, and to specify the information ordering underlying the characteristic ADF operator. We also present complexity results for problems related to weighted ADFs.

연구 동기 및 목표

• 논증에 대한 비불리언, 가중치가 부여된 수용 정도를 다룰 수 있도록 표준 ADF 의미론—기초, 선호, 안정—을 일반화하는 것.
• 원래 AAAI 2018 논문에서의 심각한 결함을 해결하는 것—즉, 완성도 정의가 평탄한 정보 순서에 대해서만 성립한다는 점.
• 단위 구간 외의 임의의 평가 구조를 지원하는 일반적 프레임워크를 제공하여 응용에 맞는 요구사항을 충족시키는 것.
• 방정식적 접근이 해를 도출하지 못하는 경우에도 의미론이 잘 정의되고 계산적으로 의미 있는 상태를 유지하는 것.
• 사용자 정의 가능한 정보 순서를 통해 의미론을 세밀하게 조정할 수 있도록 하여 이전 방법보다 더 높은 표현력을 제공하는 것.

제안 방법

• 임의의 정보 순서에 대해 유효한 새로운 완성도 정의(정의 3.5)를 도입하여, 평탄한 순서에 국한되지 않는다.
• 일반화된 부분 해석(gpis)에서 작동하는 특성 ADF 연산자를 일반화함—각 원소에 대해 가능한 값의 비어 있지 않은 집합을 할당.
• 부모 논증에 대한 명제 공식을 통해 수용 조건을 표현하고, gpis의 모든 완성도에서 값을 평가.
• 기초, 선호, 안정 의미론을 일반화된 평가 공간 위의 고정점 연산자에 기반하여 정의하여 표준 ADF의 연산자 기반 접근 방식을 유지.
• 수용 조건 공식과 기초 정보 순서만을 명시하여, 임의의 평가 구조를 지원.
• 근사 고정점 이론(AFT)을 기초로 하지만, 접근성을 확보하기 위해 AFT에 종속되지 않는 방식으로 프레임워크를 제시.

실험 결과

연구 질문

• RQ1 어떻게 ADF 의미론을 논증에 대한 비불리언, 가중치가 부여된 수용 정도를 다룰 수 있도록 일반화할 수 있는가?
• RQ2 평탄하지 않은 정보 순서에 대해서도 의미론의 정확성을 보장하기 위해 완성도의 올바른 정의는 무엇인가?
• RQ3 표준 ADF 의미론을 다가치 프레임워크로 의미 있게 확장할 수 있는가? 특히 갈등 없는 성질과 적합성 등의 핵심 성질을 유지할 수 있는가?
• RQ4 단위 구간 외의 평가 구조는 어떻게 원칙적이고도 민첩하게 ADF 의미론에 통합할 수 있는가?
• RQ5 방정식적 접근이 실패하는 경우는 언제이며, 제안된 프레임워크는 여전히 의미 있는 결과를 도출할 수 있는가?

주요 결과

• 수정된 완성도 정의(정의 3.5)는 원래 AAAI 2018 논문의 심각한 결함을 해결하여 평탄하지 않은 정보 순서에 대해서도 유효성을 보장한다.
• 수용 조건 공식과 정보 순서만을 명시함으로써, 단위 구간 외의 임의의 평가 구조를 지원하는 프레임워크를 제공한다.
• 기초, 선호, 안정의 일반화된 의미론은 방정식적 방법이 해를 도출하지 못하는 경우에도 잘 정의되고 계산 가능하다.
• 일반화된 부분 해석(gpis)의 사용은 각 논증이 비어 있지 않은 가능한 값의 집합을 할당받는 방식으로 불확실성을 더 표현력 있게 표현할 수 있게 한다.
• 정보 순서의 선택을 통해 의미론을 세밀하게 조정할 수 있으며, 이는 기존의 가중치가 부여된 추론 프레임워크에서 제공하지 못하는 능력이다.
• 기존의 가중치가 부여된 AF 및 이원적 ADF 연구를 자연스럽게 일반화하며, 향후 확장의 통합적 기반을 제공한다.