집단적 공격과 지원을 갖춘 논증 프레임워크의 분할
요약
본 연구는 이면성(defeasible) 요소 간의 지원 관계를 통합한 새로운 논증 형식에 대한 분할 기법을 제안합니다. 특히, 집단적 공격(SETAFs)과 이면성 논증 프레임워크(BAFs)를 모두 포괄하는 일반화된 집합 기반 논증 프레임워크(BSAFs)를 기반으로 합니다. 연구는 구조화된 논증 및 비평탄한 가정 기반 논증을 자연스럽게 다루며, 다양한 형태의 분할 스키마와 그 정합성을 제시합니다.
핵심 포인트
- SETAFs와 BAFs를 통합하여 일반화된 집합 기반 논증 프레임워크(BSAFs)를 구축했습니다.
- 제안된 BSAF는 구조화된 논증과 비평탄한 가정 기반 논증을 포괄적으로 다룰 수 있습니다.
- 집단적 공격, 집단적 지원, 그리고 둘 모두에 대한 분할 기법을 일반화하여 제시합니다.
- 가장 일반적인 논증 의미론에 적합한 분할 스키마를 제안하고 그 정합성을 증명했습니다.
본 연구는 이면성 (defeasible) 요소 간 지원을 통합한 논증 형식 (argumentation formalisms) 에 대한 새로운 분할 기법을 제안합니다. 우리는 집단적 공격 (SETAFs) 과 이면성 논증 프레임워크 (BAFs) 를 모두 포함함으로써 일반화된 집합 기반 논증 프레임워크 (BSAFs) 를 기반으로 연구를 진행합니다. 특히, BSAF 는 구조화된 논증 (structured argumentation) 과 중요한 연결고리를 형성하며, 일반적으로 비평탄 (non-flat) 인 가정 기반 논증 (assumption-based argumentation) 을 자연스럽게 포착합니다. 표현력의 증가는 다양한 형태의 분할을 요구합니다. 우리는 집단적 공격에 대한 분할 (최근 제안된 SETAF 분할 기법을 일반화함), 집단적 지원에 대한 분할, 그리고 집단적 공격과 지원 모두에 대한 분할을 고려합니다. 또한 가장 일반적인 논증 의미론 (argumentation semantics) 에 대해 적합한 분할 스키마를 제시하고 그 정합성을 증명합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.AI의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기