When Stable and Preferred Semantics Agree: A Path-Based Approach↗ (원문, 새 창)

연구팀은 추상적 논증 프레임워크에서 선호(preferred) 의미론과 안정(stable) 의미론이 일치하는 구조적 조건을 공격 그래프 내 경로 집합과 이로부터 유도되는 이항 관계를 기반으로 탐구했다. 경로에 기반한 일반적인 의미론적 일치 기준을 수립하고 여러 경로 클래스에 이를 대입해, 해당 관계들의 양기초성으로 표현되는 충분조건을 얻었다. 이 조건들은 기존 문헌의 두 가지 주요 구조적 기준인 던의 제한적 논쟁성 조건과 SCC-대칭 조건을 엄밀히 일반화하며, 짝수 경로 집합을 선택하면 던의 결과가 특수 사례로 복원된다. 연구팀은 두 개의 무한 경로 집합 수열을 추가로 도입해 각각 일치 조건의 계열을 만들었는데, 첫 번째 수열은 '붕괴 정리'를 통해 무한히 많은 양기초성 조건을 본질적으로 세 가지로 축소시키는 반면 두 번째 수열은 그러한 붕괴 없이 서로 명백히 구별되는 조건들을 낳았다.

• 추상적 논증 프레임워크에서 선호·안정 의미론 일치를 위한 경로 기반 구조적 조건 제시
• 던의 제한적 논쟁성 조건과 SCC-대칭 조건을 모두 포괄하는 일반화된 기준을 수립
• 짝수 경로 집합을 선택하면 기존 던의 결과가 특수 사례로 복원됨을 보임
• 두 무한 경로 수열 중 하나는 붕괴 정리로 조건을 3가지로 축소, 다른 하나는 구별되는 조건들을 생성