[논문 리뷰] Properties of ABA+ for Non-Monotonic Reasoning

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

Multi-Agent Systems and Negotiation참고 문헌 49인용 수 9

한 줄 요약

이 논문은 가정 기반 추론(Assumption-Based Argumentation, ABA)의 선호 처리 확장인 ABA+를 조사하며, 대우 원칙에 따라 비단조화 추론 및 선호 처리 성질을 만족하는 그의 의미론이 성립함을 보여준다. 저자들은 ABA+가 원칙 I 및 신중한 단조성과 같은 바람직한 원칙을 준수함으로써, 선호가 도입된 상황에서도 합리적이고 일관된 추론을 보장함을 입증한다.

ABSTRACT

We investigate properties of ABA+, a formalism that extends the well studied structured argumentation formalism Assumption-Based Argumentation (ABA) with a preference handling mechanism. In particular, we establish desirable properties that ABA+ semantics exhibit. These pave way to the satisfaction by ABA+ of some (arguably) desirable principles of preference handling in argumentation and nonmonotonic reasoning, as well as non-monotonic inference properties of ABA+ under various semantics.

연구 동기 및 목표

• 가정 기반 추론(ABA)에 선호 처리 기능을 추가한 ABA+의 성질을 조사하는 것.
• ABA+가 추론 및 비단조화 추론 분야에서 바람직한 선호 처리 원칙을 만족하는지 평가하는 것.
• ABA+가 신중한 단조성 및 누적 전이성과 같은 비단조화 추론 성질을 어떻게 다루는지 분석하는 것.
• 대우 원칙이 ABA+의 의미론적 바람직성을 보장하는 데 어떤 역할을 하는지 고찰하는 것.
• ABA+를 보다 넓은 추론 체계의 맥락에서 위치 지정하고, 향후 확장 가능성 평가하는 것.

제안 방법

• 약한 주장들을 버리는 대신, 서로 공격하는 주장 간의 공격 관계를 뒤바꾸는 선호 메커니즘을 ABA에 도입하는 것.
• 의미론적 일관성을 확보하고 기본 레마를 유도하기 위해 규칙의 대우 원칙을 적용하는 것.
• 완전성, 안정성, 선호성 등의 다양한 의미론 하에서 ABA+를 분석하여 그 행동 특성을 평가하는 것.
• ABA+ 프레임워크 내에서 공격, 방어, 충돌 없음, 확장 성질 등의 형식적 정의를 활용하는 것.
• ABA+ 의미론을 비단조화 추론 및 추론 이론에서 널리 알려진 성질들과 비교하는 것.
• 논리적 추론 체계와 규칙 기반 추론을 활용하여 다양한 의미론적 해석 하에서 성질의 타당성을 검증하는 것.

실험 결과

연구 질문

• RQ1 ABA+는 확장 간에 서로 공격하는 주장 쌍만 다를 경우 더 선호되는 주장이 덜 선호되는 주장보다 배제되지 않는다는 원칙 I를 만족하는가?
• RQ2 ABA+는 신중한 단조성 및 누적 전이성과 같은 비단조화 추론 성질을 어느 정도 만족하는가?
• RQ3 대우 원칙은 ABA+의 의미론적 성질에 어떤 영향을 미치는가?
• RQ4 선호 정보가 없을 경우 ABA+는 선호 없는 ABA 의미론과 일관성을 유지하는가?
• RQ5 ASPIC+ 또는 선호를 갖춘 정답 집합 프로그래밍과 같은 다른 선호 처리를 갖춘 추론 체계와 ABA+ 간의 관계는 어떠한가?

주요 결과

• ABA+는 선호 처리의 원칙 I를 만족하여, 확장 간에 서로 공격하는 주장 쌍만 다를 경우 더 선호되는 주장이 덜 선호되는 주장보다 배제되지 않음을 보장한다.
• 대우 원칙을 가정할 경우, ABA+ 의미론은 다른 구조화된 추론 체계와 유사한 바람직한 성질을 나타낸다.
• 다양한 의미론 하에서 ABA+는 신중한 단조성과 누적 전이성을 만족하여, 정보 변화 상황에서도 합리적인 행동을 보임을 확인한다.
• 대우 원칙은 기본 레마를 확보하고 ABA+의 핵심 의미론적 성질을 만족시키는 데 필수적이다.
• 선호 정보가 없을 경우 ABA+는 표준 ABA 의미론과 일관성을 유지하여 선호 확장에 대한 핵심 요구사항을 충족한다.
• 이 형식은 비단조화 추론 분야에서 널리 알려진 여러 유명한 선호 처리 원칙과 호환됨을 입증하였으며, 정답 집합 프로그래밍의 원칙을 포함한다.