Abstrakt. Dungs berömda abstrakta argumentationsramar representerar den grundläggande formalismen för många problem och tillämpningar inom argumentationsområdet som har utvecklats avsevärt under det senaste årtiondet. Den senaste tidens arbete på området har därför inriktats på genomförandet av dessa ramar, där ett av de viktigaste tillvägagångssätten är att använda Svar-Set-programmering (ASP). Medan vissa av argumentation semantik kan uttryckas fint inom ASP språket, andra krävde ganska besvärliga kodning tekniker. Nyligen gjorda framsteg i ASP-system, särskilt metasp optimeringsfronten för ASP-paket gringo/claspD ger direkta kommandon för att filtrera svarsuppsättningar som uppfyller vissa delmängd-minimalitet (eller -maximalitet) begränsningar. Detta möjliggör mycket enklare kodning jämfört med de i standard ASP språk. I det här dokumentet jämför vi experimentellt de ursprungliga kodningarna (för argumentationssemantiken baserad på föredragna, semi-stabila och respektive stegförlängningar) med nya metasp-kodningar. Dessutom tillhandahåller vi nya kodningar för de nyligen införda resolutionsbaserade semantiken. Våra experimentella resultat indikerar att metasp-metoden fungerar bra i de fall där komplexiteten hos det kodade problemet speglas tillräckligt inom metasp-metoden.
De testade förlängningarna är den föredragna, semi-stabila, steg- och upplösningsbaserade semantik REF.
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}