Constrained Assumption-Based Argumentation Frameworks

Created by

Haebom

저자

Emanuele De Angelis (CNR-IASI, Rome, Italy), Fabio Fioravanti (DEc, University 'G. d'Annunzio', Chieti-Pescara, Italy), Maria Chiara Meo (DEc, University 'G. d'Annunzio', Chieti-Pescara, Italy), Alberto Pettorossi (DICII, University of Rome 'Tor Vergata', Italy), Maurizio Proietti (CNR-IASI, Rome, Italy), Francesca Toni (Imperial, London, UK)

💡 개요

본 논문은 기존 가정 기반 논증(ABA)의 표현력 한계를 극복하기 위해 제약 조건이 있는 변수를 포함하는 새로운 가정 기반 논증 프레임워크(CABA)를 제안한다. 제안된 CABA는 변수가 포함된 비정규 논증과 공격을 정의하며, 이에 대한 비정규 의미론을 제시한다. 이는 기존 ABA 의미론을 보수적으로 일반화하는 성과를 보인다.

🔑 시사점 및 한계

•

더 넓은 적용 범위: 제약 조건이 있는 변수를 허용함으로써 복잡하고 무한한 도메인에 걸친 논증을 표현할 수 있어 ABA의 적용 범위를 확장한다.

•

기존 방법론과의 호환성: 새로운 의미론이 기존 ABA 의미론을 보수적으로 일반화하므로, 기존 ABA 시스템과의 호환성을 유지하면서 기능 확장이 가능하다.

•

복잡성 및 계산: 비정규 논증 및 공격의 정의와 계산 복잡성에 대한 추가적인 연구가 필요할 수 있다.

PDF 보기

Made with Slashpage