집단적 공격과 지원을 갖춘 논증 프레임워크의 분할

본 연구는 이면성 (defeasible) 요소 간 지원을 통합한 논증 형식 (argumentation formalisms) 에 대한 새로운 분할 기법을 제안합니다. 우리는 집단적 공격 (SETAFs) 과 이면성 논증 프레임워크 (BAFs) 를 모두 포함함으로써 일반화된 집합 기반 논증 프레임워크 (BSAFs) 를 기반으로 연구를 진행합니다. 특히, BSAF 는 구조화된 논증 (structured argumentation) 과 중요한 연결고리를 형성하며, 일반적으로 비평탄 (non-flat) 인 가정 기반 논증 (assumption-based argumentation) 을 자연스럽게 포착합니다. 표현력의 증가는 다양한 형태의 분할을 요구합니다. 우리는 집단적 공격에 대한 분할 (최근 제안된 SETAF 분할 기법을 일반화함), 집단적 지원에 대한 분할, 그리고 집단적 공격과 지원 모두에 대한 분할을 고려합니다. 또한 가장 일반적인 논증 의미론 (argumentation semantics) 에 대해 적합한 분할 스키마를 제시하고 그 정합성을 증명합니다.