[논문 리뷰] Abduction and Dialogical Proof in Argumentation and Logic Programming

Richard Booth, Dov M. Gabbay외 3명|arXiv (Cornell University)|2014. 07. 15.

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

한 줄 요약

이 논문은 추상적 추론에서의 추론 모델을 제안하며, 이는 주장 틀(AF)의 변화가 관찰된 주장 수용를 설명하는 가설이 되도록 한다. 신뢰적 및 낙관적 수용을 위한 대화적 증명 절차를 제시하고, 추론 기반 논리 프로그램이 이러한 틀들로 구체화될 수 있음을 보여주며, 대화적 추론을 통한 추론 기반 논리 프로그래밍의 추상화를 수립한다.

ABSTRACT

We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypothe- ses that explain skeptical/credulous support) and we show that our model can be instantiated on the basis of abductive logic programs.

연구 동기 및 목표

• 관찰된 주장 수용을 설명하기 위해 주장 틀(AF)의 변화가 가설이 되는 추상적 논증에서의 추론에 대한 형식적 모델을 개발하는 것.
• 특히 신뢰적 및 낙관적 수용에 대해 추론의 대화적 증명 이론이 부족한 점을 해결하는 것.
• 추론 기반 논리 프로그램(ALPs)이 추상적 논증 틀로 구체화될 수 있으며, 설명 능력을 유지하는 것을 보여주는 것.
• 추론 기반 논리 프로그래밍에서의 설명과 제안된 추론 기반 논증 틀에서의 설명 간 형식적 대응 관계를 수립하는 것.
• 권고 패턴에 기반한 대화적 증명 체계를 활용하여 추론 설명에 대해 추론할 수 있는 기초를 마련하는 것.

제안 방법

• 가설이 주장 틀의 변화(추가/제거)인 추론 기반 논증 틀(AAFs)를 추상적 AF의 확장으로 도입한다.
• 주장자가 상대방을 설득하기 위해 가설적 이동을 사용하는 대화적 증명 절차를 정의한다. 이는 주장 수용의 필요성 또는 가능성에 대한 것이다.
• 신뢰적 및 낙관적 수용을 대화로 모델링하며, 가설적 변화를 포함한 증명 규칙을 정의한다. 이는 타당하고 완전한 규칙이다.
• 추론 기반 논리 프로그램(ALPs)을 정의된 규칙을 통해 AAFs로 매핑하여 추론 설명을 유지한다. 이는 양의 가설(추가)과 음의 가설(제거)을 모두 사용한다.
• 완전한 의미론을 적용하여 확장과 수용 상태를 정의하며, ALP 설명과 AAF 기반 설명 간의 대응을 보장한다.
• 용어 재작성 유사 규칙을 사용하여 대화적 이동을 시뮬레이션한다. 예를 들어 공격의 주장 또는 부정을 통해 논증 틀의 진화를 모델링한다.

실험 결과

연구 질문

• RQ1 어떻게 추상적 논증에서의 추론을 형식화할 수 있는가? 이는 주장 틀의 변화가 관찰된 주장 수용을 설명하는 가설이 되도록 하는 것이다.
• RQ2 추론 기반 논증에서 신뢰적 및 낙관적 수용에 대해 대화적 증명 절차를 개발할 수 있으며, 이는 타당하고 완전한가?
• RQ3 추론 기반 논리 프로그램(ALPs)이 추론 기반 논증 틀로 구체화될 때, 설명 능력이 유지되는 정도는 어느 정도인가?
• RQ4 추론 기반 논리 프로그래밍에서의 설명과 추론 기반 논증 틀에서 유도된 설명 간의 형식적 대응 관계는 무엇인가?
• RQ5 대화적 증명 체계는 선호되는 또는 최소한의 설명만 도출하도록 적응시킬 수 있으며, 가설에 대한 선호도는 어떻게 통합될 수 있는가?

주요 결과

• 제안된 추상적 논증에서의 추론 모델은 주장 틀의 변화를 관찰된 주장 수용을 설명하는 가설로 성공적으로 프레임워크링한다.
• 신뢰적 및 낙관적 수용에 대해 타당하고 완전한 대화적 증명 절차를 개발하였으며, 이는 가설적 설득의 형태로 추론 과정을 모델링한다.
• 추론 기반 논리 프로그램과 추론 기반 논증 틀 간의 대응 관계를 형식적으로 수립하였다: 어떤 가설이 ALP에서 질의를 설명할 때, 그에 대응하는 틀의 변화는 AAF에서 관찰을 설명한다.
• ALPs가 AAFs로 구체화될 때 수용의 의미론이 유지되며, ALP에서의 신뢰적 및 낙관적 설명은 완전한 의미론 하에서 AAF에서의 설명과 일치한다.
• 이 방법은 추론 가능한 요소(논증 또는 공격)를 개별적으로 취급할 수 없음을 드러내며, 변화는 전체적인 틀의 수정으로 고려되어야 한다. 예를 들어, $a$와 $d$는 독립적으로 추가하거나 제거할 수 없다.
• 대화적 증명 체계는 주장을 수용하는 데 필요한지 또는 가능한지를 가설적 틀 수정을 통해 주장자가 정당화하는 방식으로 추론의 본질을 포착한다.