[논문 리뷰] Relations between assumption-based approaches in nonmonotonic logic and formal argumentation

Jesse Heyninck, Christian Straßer|arXiv (Cornell University)|2016. 04. 01.

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

한 줄 요약

이 논문은 가정 기반 추론(ABA), ASPIC+, 그리고 적응적 논리(ALs) 간 双방향 번역을 수립하여, 이들이 열세 논리적 추론에서 동등한 표현 능력을 지닌다는 것을 입증한다. 이는 ALs가 마킨슨의 기본 가정과 KLM의 선호성 의미론과 밀접하게 관련되어 있음을 보여주며, ALs를 ABA와 ASPIC+에 통합할 수 있음을 보여주고, ABA와 ASPIC+의 일부 분할은 ALs로 번역될 수 있음을 보여, 비단조화 논리 프레임워크를 공식적 대응을 통해 통합한다.

ABSTRACT

In this paper we make a contribution to the unification of formal models of defeasible reasoning. We present several translations between formal argumentation frameworks and nonmonotonic logics for reasoning with plausible assumptions. More specifically, we translate adaptive logics into assumption-based argumentation and ASPIC+, ASPIC+ into assumption-based argumentation and a fragment of assumption-based argumentation into adaptive logics. Adaptive logics are closely related to Makinson's default assumptions and to a significant class of systems within the tradition of preferential semantics in the vein of KLM and Shoham. Thus, our results also provide close links between formal argumentation and the latter approaches.

연구 동기 및 목표

• .
• 핵심 프레임워크 간 체계적인 번역을 수립하여 비단조화 논리의 다양한 형식 체계를 통합하기 위해.
• 적응적 논리(ALs), ABA, 그리고 ASPIC+가 핵심 추론 능력에서 동등하게 표현 가능하다는 것을 입증하기 위해.
• 이 시스템들 간에 계산 복잡도 및 누적성과 같은 메타이론적 성질들이 상호 이전 가능하도록 하기 위해.
• ASPIC+의 열세 규칙이 ABA의 구조와 일치하는 엄밀한 규칙과 열세 가정을 사용하여 재표현될 수 있음을 보여주기 위해.

제안 방법

• .
• 논문은 적응적 논리(ALs)에서 가정 기반 추론(ABA)으로의 공식적 번역을 수립하며, 함의 관계를 유지한다.
• ABA와 ASPIC+의 일부 분할에서 적응적 논리로의 역방향 번역을 제공하여 특정 조건 하에서 등가성을 확립한다.
• 번역은 ALs의 비정상성 집합과 증명 이론적 유도 과정을 ABA 및 ASPIC+의 논증적 구조로 매핑하는 데 의존한다.
• 핵심 기술 도구로 일관성 기반 추론, 최대 일관된 부분집합, 그리고 ABA에서의 난잡한, 안정적, 선호되는 확장의 특성화를 사용한다.
• 논문은 ALs에 대한 힐베르트 스타일의 증명 체계를 활용하고, 모델 이론적 특성화를 통해 번역의 타당성을 검증한다.
• 함의 관계의 공식적 정의(예: ⊩ns, ⊩L3R)를 사용하고 논리적 보조정리를 적용하여 번역의 적절성과 정확성을 증명한다.

실험 결과

연구 질문

• RQ1 .
• RQ2 적응적 논리(ALs)를 가정 기반 추론(ABA)으로, 그리고 그 반대로 공식적으로 번역할 수 있는가? 특히 중요한 하위계열에 대해.
• RQ3 우선순위를 고려하지 않을 경우, ASPIC+와 ABA는 어느 정도 동등하게 표현 가능한가?
• RQ4 적응적 논리의 함의 관계는 ABA의 논증 확장(예: 난잡한, 안정적, 선호되는)과 어떻게 대응하는가?
• RQ5 적응적 논리의 메타이론적 성질—예를 들어 누적성 및 계산 복잡도—는 ABA와 ASPIC+로 이전될 수 있는가?
• RQ6 마킨슨의 기본 가정, 선호성 의미론(KLM), 그리고 구조화된 논증 프레임워크 간의 공식적 관계는 무엇인가?

주요 결과

• .
• 이중 방향 번역을 통해 적응적 논리(ALs)가 ABA 및 ASPIC+와 핵심 추론 능력에서 동등하게 표현 가능하다는 것이 입증되었다.
• ABA와 ASPIC+의 일부 분할은 적응적 논리로 번역될 수 있으며, 이는 AL의 메타이론적 성질을 이 하위계열에 적용할 수 있음을 의미한다.
• 논문은 정상적인 ABA 프레임워크에서 난잡한, 안정적, 선호되는 확장이 일치함을 증명하였으며, 이는 ALs의 구조적 성질과 일치한다.
• 적응적 논리의 함의 관계는 누적적이며, 이 성질은 해당 ABA 및 ASPIC+ 분할로도 이어진다.
• ASPIC+에서 ABA로의 번역은 열세 규칙이 엄밀한 규칙과 열세 가정을 사용하여 재표현될 수 있음을 보여주며, 이는 우선순위 없이도 ASPIC+의 엄밀한 분할이 전체 시스템만큼 표현 능력이 있다는 것을 암시한다.
• 결과적으로 ALs, 마킨슨의 기본 가정, KLM의 선호성 의미론은 구조화된 논증과 공식적으로 연결되어 있으며, 비단조화 논리의 핵심 파라디그마를 통합한다.