특징적 논증 프레임워크: 의미론과 복잡성

던(Dung)의 논증 프레임워크(AF)는 지식 표현 및 추론 작업을 더 직관적이고 표현력이 있도록 만들기 위해 여러 방향으로 확장되었습니다. 우리는 각 논증이 단항 및 이항 사실을 통해 표현된 일련의 특성과 연관된 특징적 AF (FAF)라는 새로운 AF의 확장을 제시합니다. 이러한 맥락에서 쿼리는 FAF의 확장에서 평가되는 결합 관계 칼큘러스 수식으로 표현됩니다. 그런 다음 이 프레임워크는 ‘실현 가능한’ 하위 프레임워크에 대해 FOL 수식을 사용하여 추론하는 이른바 확장된 FAF (EFAF)로 더욱 확장됩니다. 우리는 여러 의미론 하의 검증 및 수용 문제의 계산 복잡성을 조사하고, 상관된 iAF 및 제약된 iAF를 포함한 불완전 AF (iAF) 프레임워크가 EFAF의 특수한 경우임을 보여줍니다.