[논문 리뷰] On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks

Hannes Straß|arXiv (Cornell University)|2014. 05. 05.

Logic, Reasoning, and Knowledge참고 문헌 21인용 수 4

한 줄 요약

이 논문은 다양한 의미론 하에서 의사결정 프레임워크(AF), 정규 논리 프로그램(LP), 추상적 다이얼렉티컬 프레임워크(ADFs)의 상대적 표현력을 분석하여, 이들이 이분 해석 집합을 표현할 능력이 엄격한 계층을 이룬다는 것을 보여준다. 주요 결과는 ADFs와 지원 모델 의미론 하에서의 LPs가 동일한 표현력을 지니며 임의의 모델 집합을 실현할 수 있다는 것이다. 반면 AFs와 ADFs/LPs의 안정적 의미론 하에서는 안정 모델의 반사성 조건 제약으로 인해 표현력이 떨어진다.

ABSTRACT

We analyse the expressiveness of the two-valued semantics of abstract argumentation frameworks, normal logic programs and abstract dialectical frameworks. By expressiveness we mean the ability to encode a desired set of two-valued interpretations over a given propositional signature using only atoms from that signature. While the computational complexity of the two-valued model existence problem for all these languages is (almost) the same, we show that the languages form a neat hierarchy with respect to their expressiveness.

연구 동기 및 목표

• 이분 해석 집합을 표현하는 데 있어 의사결정 프레임워크(AF), 정규 논리 프로그램(LP), 추상적 다이얼렉티컬 프레임워크(ADFs)의 표현력을 비교하는 것.
• 계산 복잡도를 유일한 비교 기준으로 삼는 데서의 한계를 해결하기 위해, 모델 집합 실현 가능성에 기반한 보다 세밀한 측정 기준을 도입하는 것.
• 어느 형식 체계가 임의의 모델 집합을 표현할 수 있으며, 어떤 형식 체계가 반사성 조건과 같은 구조적 특성으로 인해 제약을 받는지 규명하는 것.
• 모델 기반 수정과 같은 정확한 모델 집합 인코딩이 요구되는 지식 표현 작업에서 적절한 형식 체계를 선택하는 데 기초를 마련하는 것.
• 추가 의미론과 형식 체계 하에서의 간결성과 실현 가능성에 대한 향후 연구를 위한 기초를 다지는 것.

제안 방법

• 실현 가능성 기반 표현력 개념을 사용: 언어 L2가 L1보다 표현력이 높다는 것은 L1이 실현 가능한 모든 모델 집합이 L2에서도 실현 가능할 경우이다.
• 구성적이고 충실한 문법적 번역을 활용하여, 특히 지원 의미론과 안정적 의미론 하에서 ADFs와 LPs 간의 표현력 동치성을 보여주는 것.
• 직접 목표 형식 체계에 맞는 지식 기반을 구축하여 의미론적 실현을 도출하는 방법을 사용, 주어진 해석 집합과 일치하는 모델 집합을 얻는다.
• 실현 가능성에 필요한 조건—특히 안정적 의미론 하에서의 반사성 조건—을 활용하여 엄격한 표현력 격차를 증명하는 것.
• 이전 연구 결과(예: Dunne 등, 2014)에서 AFs의 실현 가능성에 대한 결과와, ADFs와 LPs 간의 문법적 상호 번역 가능성(Brewka 등, 2013)을 활용하여 분석을 뒷받침하는 것.
• 동일한 의미론 하에서 형식 체계 간의 표현력 동치성 관계(예: ≅_e)를 통해 표현력 동치성을 확립하는 것. 예를 들어, ADF^st ≅_e LP^st 및 ADF^su ≅_e LP^su.

실험 결과

연구 질문

• RQ1 의사결정 프레임워크(AF)는 임의의 이분 해석 집합을 표현할 수 있는가?
• RQ2 안정 모델 의미론 하에서의 정규 논리 프로그램은 지원 모델 의미론 하에서의 것과 동일한 표현력을 지니는가?
• RQ3 다양한 의미론 하에서 추상적 다이얼렉티컬 프레임워크(ADFs)의 표현력은 정규 논리 프로그램과 명제 논리보다 어떻게 비교되는가?
• RQ4 안정 모델 의미론 하에서 표현력이 제한되는 구조적 제약 조건은 무엇이며, 실현 가능성에 어떤 영향을 미치는가?
• RQ5 추가 원자 없이 원래의 명제 기호 집합만을 고려할 때, AFs, LPs, ADFs 간의 표현력에 엄격한 계층이 존재하는가?

주요 결과

• 안정 모델 의미론 하에서의 AFs는 안정 모델의 반사성 조건으로 인해 ADFs와 LPs의 지원 모델 의미론 하에서는 엄격히 표현력이 떨어진다.
• 지원 모델 의미론 하에서의 ADFs와 LPs의 표현력은 동일하며, 이는 모든 이분 해석 집합을 실현할 수 있으며, 명제 논리와 동일한 표현력을 지닌다.
• 안정 모델 의미론 하에서의 ADFs와 LPs의 표현력은 동일하며, 지원 모델 의미론 하에서는 엄격히 표현력이 떨어진다.
• 양극성 ADFs(BADFs)는 안정적 의미론 하에서 일반 ADFs와 LPs의 안정적 의미론과 표현력이 동일하며, 안정 모델 존재 문제는 NP-완전이다.
• 표현력 계층은 엄격하며, 아래에서 위로 증가하는 순서로 정렬되어 있다: AF^st ≺ BADF^st ≅_e ADF^st ≅_e LP^st ≺ BADF^su ≅_e ADF^su ≅_e LP^su ≅_e PL.
• 결과적으로, 임의의 모델 집합을 인코딩이 필요한 응용 분야에서는 ADFs와 LPs의 지원 모델 의미론이 바람직하며, 안정적 의미론은 구조적 제약을 야기한다.