On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
Created by
Haebom
Category
Empty
저자
Uri Andrews (University of Wisconsin--Madison), Luca San Mauro (University of Bari)
개요
본 논문은 갈등 정보를 기반으로 한 추론 연구의 핵심인 논증 프레임워크를 다룬다. 특히, 가장 널리 사용되는 회의적 추론 모델인 grounded extension에 초점을 맞추어, 수학적 논리와 계산 가능성 이론을 사용하여 이를 분석한다. 논문은 grounded extension을 찾기 위한 반복 과정의 정확한 순서수를 식별하고, grounded acceptance 결정의 복잡성을 밝혀, 기존의 유한 경우와 뚜렷한 차이를 보여준다.
시사점, 한계점
•
시사점:
◦
Grounded extension 계산의 정확한 복잡성을 수학적으로 규명함.
◦
Grounded acceptance 결정 문제가 최대 복잡성을 가짐을 입증하여, 유한한 경우와는 다른 복잡성 특징을 제시함.
◦
논증 프레임워크 연구에 수학적 논리와 계산 가능성 이론의 적용 가능성을 보여줌.
•
한계점:
◦
구체적인 응용 분야나 실질적인 문제 해결에 대한 내용은 직접적으로 언급되지 않음.
◦
이론적 분석에 초점을 맞추어, 실제 시스템 구현이나 성능 개선에 대한 기여는 제한적일 수 있음.
