Abstrakt. I detta dokument presenteras ett nytt SAT-baserat tillvägagångssätt för beräkning av förlängningar i abstrakt argumentation, med fokus på föredragna semantik, och en empirisk utvärdering av dess prestationer. Metoden bygger på idén att minska problemet med att beräkna fullständiga tillägg till ett SAT-problem och sedan använda en djup-först sökmetod för att härleda föredragna förlängningar. Det föreslagna tillvägagångssättet har testats med hjälp av två distinkta SAT-lösare och jämförts med tre toppmoderna system för önskad utvidgningsberäkning. Det visar sig att det föreslagna tillvägagångssättet ger betydligt bättre resultat i de flesta av de aktuella fallen.
I REF, F.Cerutti och P.E.Dunne et al presenterade en SAT-baserad metod för att beräkna föredragna förlängningar i abstrakt argumentation, de föreslogs en SAT-kodning som bygger på den etikettbaserade argumentation för att minska problemet med datorfrågor och använde en djup-första sökmetod för att härleda föredragna förlängningar.
Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}