기술 요약: 선호도 불완전 구조적 논증 프레임워크의 표현력

문제 정의

본 논문은 ASPIC+ 프레임워크 내에서 선호 관계가 부분적으로 불확실한 형식인 **선호도 불완전 구조적 논증 프레임워크(pref-ISAFs)**의 표현력을 다룬다. 추상 논증에서 불확실성은 대개 논증이나 패퇴(defeat)가 불확실한 불완전 논증 프레임워크(IAFs)를 통해 모델링되지만, pref-ISAF는 선호 순서 자체의 불확실성이라는 특정한 유형의 불확실성을 도입한다.

핵심 연구 질문은 다음과 같다: 선호도 불확실성에 의해 생성되는 추상적 패퇴 불확실성은 어떤 종류인가? 구체적으로, 저자들은 pref-ISAF에 의해 생성된 추상적 완결(completions) 집합(가능한 패퇴 시나리오들)이 다음과 같은 기존의 추상적 형식들로 포착될 수 있는지 조사한다:

• def-IAFs: 패퇴들 사이에 의존성이 없는 불확실한 패퇴를 가진 IAFs.
• dep-IAFs: 논리적 의존성(예: 이접적 또는 함축적 제약)을 가진 불확실한 패퇴의 IAFs.
• 하위 클래스: 이접적(dis-IAFs) 및 함축적(imp-IAFs) IAFs.

방법론

저자들은 완결(completions) 개념에 기반한 비교 표현력 분석을 채택한다.

1. 형식적 정의:
   • pref-ISAF: 선호 관계 $\leq$가 확실한($\leq_F$) 성분과 불확실한($\leq_?$) 성분으로 나뉘는 구조적 프레임워크. *선호도 완결(preference-completion)*은 $\leq_?$가 해결된 모든 프레임워크를 의미한다.
   • 추상적 완결(Abstract Completions): 모든 가능한 preference-completion의 모든 AF들로부터 연관된 추상적 논증 프레임워크(AFs)의 집합.
2. 동등성 기준: 서로 다른 형식으로부터 얻은 두 AF 집합은 모든 완결에 걸쳐 논증 및 패퇴 관계에 대해 동형(isomorphic)일 경우 동등하다고 간주된다.
3. 표현력 관계 ($\preceq$): 형식론 $X$가 $Y$보다 최소한 더 표현력이 높다($Y \preceq X$)는 것은, 모든 $Y \in Y$에 대하여, 그들의 완결 집합이 동등한 완결 집합을 갖는 $X \in X$가 존재함을 의미한다.
4. 분석: 저자들은 pref-ISAFs가 더 단순한 추상적 형식들에 의해 시뮬레이션될 수 있는지, 혹은 그 반대의 경우가 가능한지를 테스트하기 위해 특정 반례(witnesses)를 구축한다.

주요 기여 및 결과

1. 부정적 표현력 결과

본 논문은 여러 부정적 결과를 제공하며, pref-ISAFs가 더 단순한 추상적 형식들에 의해 완전히 포착될 수 없으며, 동시에 모든 형태의 추상적 패퇴 불확실성을 포착할 수도 없음을 입증한다.

• pref-ISAFs $\not\preceq$ def-IAFs: 앞서 [17]에서 보여준 바와 같이, (의존성이 없는) 불확실한 패퇴를 가진 표준 IAFs는 불충분하다. 불확실한 선호는 def-IAF의 어떤 완결 집합과도 동형이 아닌 완결 집합들을 생성할 수 있다.
• pref-ISAFs $\not\preceq$ dis-IAFs: (하나의 패퇴가 존재하면 그 대칭적인 상대는 존재하지 않아야 하는 등의) 이접적 의존성을 허용하더라도 불충분하다. 저자들은 Example 3의 witness를 사용하여 pref-ISAFs가 dis-IAFs가 재현할 수 없는 의존성을 인코딩함을 보여준다.
• pref-ISAFs $\not\preceq$ imp-IAFs: 마찬가지로, 함축적 의존성만으로는 불충분하다. 본 논문은 불확실한 규칙과 전제가 함축적 IAFs에 의해 포착될 수 있음을 언급하지만[16], 불확실한 선호는 imp-IAFs가 처리할 수 없는 함축적 및 이접적 의존성의 혼합을 인코딩한다.
• def-IAFs $\not\preceq$ pref-ISAFs: 역으로, pref-ISAFs는 모든 유형의 추상적 패퇴 불확실성을 시뮬레이션할 만큼 표현력이 높지 않다. 저자들은 def-IAF에 의해 모델링될 수 있지만 어떤 pref-ISAF에 의해서도 생성될 수 없는 witness(자기 자신을 패퇴시키는 단일 논증)를 제공한다. 이는 ASPIC+ 논증의 구조(특히 전제, 규칙, 선호 사이의 관계)가 단순한 def-IAF에 필요한 특정 "빈(empty)" 패퇴 시나리오의 생성을 방지하는 제약을 부과하기 때문이다.

따로붙임(Corollaries): 결과적으로, pref-ISAFs는 dis-imp-IAFs(이접-함축)와 양방향적으로 동등하지 않으나, dep-IAFs에 의해 하위 개념으로 포함된다(즉, pref-ISAFs $\preceq$ dep-IAFs).

2. 긍정적 결과 및 추측

부정적 결과가 주를 이루지만, 본 논문은 표현력에 대한 구체적이고 비자명한 임계치를 설정한다:

• 명제 7: 저자들은 pref-ISAF의 구조로부터 유도된 특정 의존성 집합($\Delta_{OR}$ 및 $\Delta_{IMPLY}$)을 정의한다. 이들은 다음을 증명한다:
  • 확실한 패퇴($D_F$)는 모든 완결에서 고정되어 있다.
  • 불확실한 패퇴($D_?$)는 오직 특정 선호 조건 하에서만 발생한다.
  • 완결 집합은 특정 이접적 제약(만약 $X$가 $Y$를 패퇴시킨다면, 동일한 완결 내에서 $Y$는 $X$를 패퇴시킬 수 없다, 혹은 그 반대)과 함축적 제약(만 if $X$가 $Y$를 패퇴시키고, $Y$가 $W$의 하위 논증이라면, $X$는 $W$를 패퇴시킨다)을 만족한다.
• 추측 1: 명제 7의 분석과 반례의 실패를 바탕으로, 저자들은 pref-ISAFs가 최소한 dis-imp-IAFs만큼은 표현력이 높다($pref\text{-}ISAFs \preceq dis\text{-}imp\text{-}IAFs$)고 추측한다. 이는 선호에 의해 생성된 불확실성이 패퇴들 사이의 이접적 및 함축적 의존성을 모두 허용하는 추상적 프레임워크에 의해 완전히 포착될 수 있음을 시사한다.

의의 및 주장

본 논문은 구조적 논증에서 불확실한 선호의 표현력을 엄밀하게 규명한다고 주장한다. 그 의의는 다음과 같다:

1. 한계 명시: 불확실한 패퇴(def-IAFs)나 단순한 의존성 유형(dis-IAFs, imp-IAFs)에만 의존하는 추상적 형식론들이 ASPIC+의 선호 불완전성에서 발생하는 불확실성을 모델링하기에는 이론적으로 불충분함을 보여준다.
2. 복잡성 식별: 선호 불확실성이 규칙이나 전제의 불확실성과는 구별되는, 이접적 및 함축적 제약을 모두 포함하는 특유의 복잡한 패턴의 패퇴 불사 불확실성을 생성함을 강조한다.
3. 향후 방향: 저자들은 본인의 주요 기여를 **추측 1(Conjecture 1)**의 정식화로 겸허히 설정한다. 이 추측을 증명하는 것은 구조적 논증과 불확실한 선호를 연결하는 "비자명한 상한 임계치"를 확립하여, 이를 잘 알려진 이접-함축 IAFs의 영역과 연결하는 것이다. 이러한 연결은 불확실한 선호를 가진 추론의 계산 복잡도에 대한 통찰을 제공할 수 있다.

저자들은 아직 추측을 증명하지 못했으나, 상당한 잠재적 반례들을 검토했음에도 성공하지 못했음을 명시하며, 이를 향후 연구의 주요 과제로 남겨두었다. 또한 향후 반대 함수(contrary functions) 및 명명 규칙(naming conventions)의 불확실성과의 비교를 제안한다.