[논문 리뷰] On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics

Ringo Baumann|arXiv (Cornell University)|2019. 01. 01.

Logic, Reasoning, and Knowledge참고 문헌 42인용 수 2

한 줄 요약

이 논문은 비단조화 형식론에서 유한 지식 기반에 대한 정준 특성화 논리의 존재를 확립하며, 강한 동치가 항상 고전적이고 단조적인 논리에서 일반 동치를 통해 포괄될 수 있음을 보여준다. 또한 다양한 의미론과 추상적 논증 프레임워크 유형에서 존재성, 유일성, 표현 가능성과 같은 기본 성질을 증명하는 포괄적인 논증 의미론 분석을 제공한다.

ABSTRACT

Given the large variety of existing logical formalisms it is of utmost importance to select the most adequate one for a specific purpose, e.g. for representing the knowledge relevant for a particular application or for using the formalism as a modeling tool for problem solving. Awareness of the nature of a logical formalism, in other words, of its fundamental intrinsic properties, is indispensable and provides the basis of an informed choice. In this treatise we consider the existence characterization logics as well as properties like existence and uniqueness, expressibility, replaceability and verifiability in the realm of abstract argumentation

연구 동기 및 목표

• 모든 지식 표현 형식론이 특성화 논리를 갖는지 여부에 대한 열린 질문을 해결하는 것, 특히 유한 지식 기반에 대해.
• 비단조화 형식론에서 강한 동치가 정준적이고 고전적인 논리에서 일반 동치로 환원될 수 있음을 확립하는 것.
• Dung의 추상적 프레임워크에서 논증 의미론을 체계적으로 분석하여 지식 표현에 핵심적인 내재된 성질에 초점을 맞추는 것.
• 논증 프레임워크의 구조적 성질(예: 유한성, 컴팩트성)이 의미론의 행동에 어떤 영향을 미치는지 분석하는 것.
• 논증 프레임워크에서 의미론이 존재성, 유일성, 표현 가능성, 검증 가능성을 보장하는 조건을 명확히 하는 것.

제안 방법

• 모델 이론적 구조 간의 갈로아 대응을 사용하여 유한 지식 기반에 대한 정준 특성화 논리를 정의한다.
• 추상 모델 이론을 적용하여 표준 동치와 강한 동치를 형식화하고, 이론과 모델 간의 이중성 원리를 활용한다.
• 특정 형식론을 초월하여 특성화 논리의 개념을 일반화하기 위해 '커버드 논리'의 개념을 도입한다.
• 주어진 형식론에서 강한 동치를 포괄하는 유일한(동형사상에 대해 유일한) 고전적 논리를 정준적 구성 방법을 통해 유도한다.
• 유한, 유한성, 비제한적 프레임워크 전반에서 확장 기반 및 레이블 기반 두 관점에서 논증 의미론을 분석한다.
• 위상수학적 및 순서 이론적 방법을 적용하여 논증 프레임워크에서 확장과 레이블의 존재성 및 유일성을 연구한다.

실험 결과

연구 질문

• RQ1 모든 지식 표현 형식론이 강한 동치를 일반 동치로 환원하는 특성화 논리를 갖는가?
• RQ2 비단조화 형식론에서 강한 동치를 특성화하는 정준적 고전 논리가 존재하는 조건은 무엇인가?
• RQ3 유한, 유한성, 비제한적 논증 프레임워크에서 어떤 논증 의미론이 확장 또는 레이블의 존재성과 유일성을 보장하는가?
• RQ4 프레임워크 유형(예: 유한 대비 비제한적)에 따라 의미론의 표현력은 어떻게 달라지는가?
• RQ5 어떤 조건에서 의미론이 표현 가능하거나 대체 가능하거나 검증 가능해지는가?

주요 결과

• 모든 유한 지식 기반에 대해, 강한 동치가 고전적 단조 논리에서 일반 동치를 통해 포괄되는 정준 특성화 논리가 존재한다.
• 구축된 특성화 논리는 원래 형식론의 모델 이론적 구조에 의해 동형사상에 대해 유일하게 결정된다.
• 유한 논증 프레임워크에서는 모든 표준 의미론(예: 기저, 안정, 선호)이 확장의 존재성과 유일성을 보장한다.
• 비제한적 논증 프레임워크에서는 기저 의미론과 안정 의미론과 같은 일부 의미론만 존재성과 유일성을 보장하며, 다른 의미론은 실패할 수 있다.
• 특히 타당성 또는 갈등 없는 성질에 기반한 의미론의 경우, 유한성 프레임워크로 제한할 경우 표현력이 손실될 수 있다.
• 갈등 없는 성질과 타당성에 기반한 의미론은 서로 다른 표현력 프로파일을 보이며, 일부 의미론은 특정 유형의 프레임워크에서만 실현 가능하다.