[논문 리뷰] Well-Founded Argumentation Semantics for Extended Logic Programming

Ralf Schweimeier, Michael Schroeder|ArXiv.org|2002. 07. 10.

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

한 줄 요약

이 논문은 명시적 부정을 가진 확장된 논리 프로그램을 위한 잘 정의된 추론 의미 이론을 제안하며, 이는 명시적 부정이 포함된 잘 정의된 의미 이론(WFSX)과 동치임을 증명한다. 공격 유형(취소 및 반박)을 기반으로 한 추론 의미 이론의 일반적 프레임워크를 수립하고, 대화 트리를 사용한 의사결정 이론을 정의하며, WFSX에서 성공한 T-트리가 정확히 우호적인 u/a-정당화된 추론에 해당됨을 보여준다.

ABSTRACT

This paper defines an argumentation semantics for extended logic programming and shows its equivalence to the well-founded semantics with explicit negation. We set up a general framework in which we extensively compare this semantics to other argumentation semantics, including those of Dung, and Prakken and Sartor. We present a general dialectical proof theory for these argumentation semantics.

연구 동기 및 목표

• 확장된 논리 프로그램을 위한 최소 고정점 추론 의미 이론을 정의하여, 명시적 부정이 포함된 잘 정의된 의미 이론(WFSX)과 동치임을 보이는 것.
• 다양한 공격 개념(취소 및 반박)을 기반으로 한 추론 의미 이론의 일반적 프레임워크를 수립하는 것.
• 제안된 의미 이론을 Dung의 이론과 Prakken 및 Sartor의 추론 의미 이론 등 기존 프레임워크와 비교하는 것.
• 제안된 추론 의미 이론을 기반으로 한 의사결정 이론을 대화 트리 기반으로 개발하는 것.
• 고정점 의미 이론에 대해 의사결정 이론의 타당성과 완전성을 증명하는 것.

제안 방법

• 확장된 논리 프로그램 내에서 추론을 유한한 규칙 시퀀스로 정의하며, 결론은 기본값 리터럴(가정)으로 유도됨.
• 두 가지 공격 유형을 도입: 취소(가정을 공격함) 및 반박(결론을 공격함), 이는 추론 프레임워크의 기초를 형성함.
• 주장자와 반론자에서 사용하는 공격 유형에 따라 매개변수화된, 정당화된 주장의 격자 구조를 통한 추론 의미 이론의 계층을 제안.
• x/y-대화 트리 정의: 주장자가 공격 유형 y를 사용해 방어하고, 반론자가 공격 유형 x를 사용해 공격함. 승리한 트리는 정당화된 주장임을 나타냄.
• 전순서 귀납을 사용한 의사결정 이론을 수립하여, x/y-대화 트리의 고정점 의미 이론에 대한 타당성과 완전성을 증명함.
• 성공한 T-트리가 WFSX에서 u/a-대화 트리의 승리한 트리와 정확히 일치함을 보여, u/a-정당화된 의미 이론과 WFSX 간의 동치성을 증명함.

실험 결과

연구 질문

• RQ1 확장된 논리 프로그램을 위한 잘 정의된 추론 의미 이론을 WFSX와 동치가 되도록 정의할 수 있는가?
• RQ2 취소 및 반박과 같은 다양한 공격 유형 조합이 확장된 논리 프로그램에서의 추론 의미 이론에 어떤 영향을 미치는가?
• RQ3 제안된 추론 의미 이론에 대해 타당성과 완전성을 갖춘 의사결정 이론이 존재하는가?
• RQ4 제안된 u/a-정당화된 의미 이론은 Dung의 이론과 Prakken 및 Sartor의 이론 등 기존의 추론 의미 이론과 어떻게 관련이 있는가?
• RQ5 WFSX의 T-트리 증명 절차를 추론을 위한 의사결정 이론 체계와 공식적으로 연결할 수 있는가?

주요 결과

• 제안된 u/a-정당화된 추론 의미 이론은 명시적 부정이 포함된 잘 정의된 의미 이론(WFSX)과 공식적으로 동치이다.
• 추론 의미 이론의 계층은 $J_{Dung} \subseteq J_{PS} \subseteq J_{u/a} = \text{WFSX}$를 만족하며, 정당화 능력의 증가를 보여준다.
• x/y-대화 트리 기반의 의사결정 이론은 해당 고정점 의미 이론에 대해 타당성과 완전성을 갖춘다.
• WFSX에서 성공한 T-트리는 정확히 승리한 u/a-대화 트리와 공식적으로 동치이며, 증명 이론적 접근과 모델 이론적 접근 간의 직접적인 연결을 확립한다.
• u/a-대화 트리 시스템은 잘 정의된 의미 이론을 정확히 반영하며, WFSX에 대한 의사결정적 기반을 제공한다.
• 이 프레임워크는 공격 유형을 기반으로 한 추론 의미 이론의 체계적 비교를 가능하게 하여, 다양한 추론 행동의 분류와 분석이 가능하다.