[논문 리뷰] Stability in Abstract Argumentation

Jean-Guy Mailly, Julien Rossit|arXiv (Cornell University)|2020. 12. 23.

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

한 줄 요약

이 논문은 추상적 논증 프레임워크(abstract argumentation frameworks, AFs)에서 안정성의 개념을 도입하고 체계화하며, 어떤 논증의 수용 가능성 상태가 향후 변화에 영향을 받지 않는지 확인하는 것이 Argument-Incomplete AFs (IAFs)에서의 추론과 동치임을 보여준다. 저자들은 네 가지 주요 의미론(기초적, 안정적, 선호적, 완전한) 하에서 안정성의 복잡도 한계를 설정하고, 안정성이 확인된 후 전략적으로 제안을 바꿀 수 있는 자동 협상 환경에서의 유용성을 입증한다.

ABSTRACT

The notion of stability in a structured argumentation setup characterizes situations where the acceptance status associated with a given literal will not be impacted by any future evolution of this setup. In this paper, we abstract away from the logical structure of arguments, and we transpose this notion of stability to the context of Dungean argumentation frameworks. In particular, we show how this problem can be translated into reasoning with Argument-Incomplete AFs. Then we provide preliminary complexity results for stability under four prominent semantics, in the case of both credulous and skeptical reasoning. Finally, we illustrate to what extent this notion can be useful with an application to argument-based negotiation.

연구 동기 및 목표

• 구조화된 논증에서 정의된 바 있는 안정성 개념을 추상적 논증 프레임워크(AFs)에 적응시키기 위해.
• 논증의 수용 가능성 상태가 프레임워크의 향후 변화에 관계없이 변하지 않는다는 성질을 보장하는 안정성의 성질을 체계화하기 위해.
• 안정성 확인 문제를 미완성 논증 프레임워크(IAFs)에서 잘 알려진 추론 작업으로 환원하기 위해.
• 기초적, 안정적, 선호적, 완전한 의미론 하에서 안정성의 계산 복잡도를 분석하기 위해.
• 안정성이 자동 협상에서 실용적으로 어떻게 활용될 수 있는지 보여주기 위해, 안정성이 확인된 후에 전략적 결정을 내릴 수 있도록 하기 위해.

제안 방법

• 논문은 추상적 AFs에서 안정성을 정의하며, 이는 어떤 논증의 수용 가능성 상태가 프레임워크의 향후 수정에 관계없이 일정하게 유지됨을 의미한다.
• 안정성 확인 문제를 일부 공격 관계가 불확실하거나 알려지지 않은 미완성 논증 프레임워크(IAFs)에서의 추론 작업으로 공식적으로 환원한다.
• 확장 기반 의미론(기초적, 안정적, 선호적, 완전한)을 사용하여 수용 가능성의 정의를 하고, 각 의미론 하에서 안정성을 분석한다.
• 안정성과 IAF에서의 신뢰성 있는 추론 및 회의적인 추론 간의 관련성을 통해 복잡도 결과를 유도하며, 알려진 복잡도 클래스를 활용한다.
• 자동 협상 응용 시나리오를 제시하여, 안정성이 확인된 후에 전략적으로 제안을 바꾸는 데 어떻게 활용될 수 있는지 설명한다.
• 이론적 분석은 각 의미론 하에서 안정성 확인의 복잡도에 대한 상한과 하한을 모두 포함한다.

실험 결과

연구 질문

• RQ1 구조화된 논증에서 유래한 안정성 개념을 추상적 논증 프레임워크에 공식적으로 어떻게 적응시킬 수 있는가?
• RQ2 기초적, 안정적, 선호적, 완전한 의미론 하에서 추상적 AFs에서 안정성 확인의 계산 복잡도는 무엇인가?
• RQ3 안정성 확인 문제는 알려진 미완성 논증 프레임워크(IAFs)의 추론 작업으로 환원될 수 있는가?
• RQ4 안정성은 자동 협상과 같은 실용적 시나리오에서 어떻게 활용될 수 있는가?
• RQ5 논증 프레임워크에서 불확실성 하에서의 추론에 대해 안정성은 어떤 함의를 지닌다?

주요 결과

• 추상적 AFs에서의 안정성은 프레임워크의 향후 진화에 관계없이 논증의 수용 가능성 상태가 변하지 않는다는 성질로 공식적으로 정의된다.
• 안정성 확인 문제는 미완성 AFs에서의 추론 작업으로 환원 가능하며, 이는 기존의 IAF 해결 기법을 활용할 수 있음을 의미한다.
• 논문은 네 가지 주요 의미론(기초적, 안정적, 선호적, 완전한) 하에서 안정성의 복잡도 한계를 제공하며, 신뢰성 있는 추론 및 회의적인 추론의 두 변형 모두를 포함한다.
• 네 가지 의미론 모두에서 안정성 확인의 복잡도는 알려진 복잡도 클래스 내에 있으며, 정확한 상한과 하한이 확립되어 있다.
• 자동 협상에의 적용 사례는 안정성이 확인된 후에 전략적이고 미래 지향적인 결정—예를 들어 두 번째로 좋은 제안으로 전환하는 것—을 가능하게 한다는 점을 보여준다.
• 본 연구는 3가지 레이블링, 선호 기반 AFs, 공격 관계가 불확실한 프레임워크 등으로의 안정성 확장을 포함한 새로운 연구 방향을 열어 놓는다.