Detta dokument fortsätter den ganska senaste forskningslinjen om dynamiken i icke-monotoniska formalismer. I synnerhet betraktar vi semantiska förändringar i Dungs abstrakta argumentationsformalism. Ett av de mest studerade problemen i detta sammanhang är det s.k. exekutiva problemet som handlar om att manipulera argumenteringsramar så att en viss önskad uppsättning argument blir en förlängning. Här studerar vi det omvända problemet, nämligen problemet med avlägsnandet av utvidgningen: är det möjligt - och i så fall hur - att ändra en given argumentationsram på ett sådant sätt att vissa oönskade förlängningar inte längre skapas? Jämfört med det välkända AGM-paradigmet utvecklar vi ett axiomatiskt förhållningssätt till problemet med avlägsnande, d.v.s. en viss uppsättning axiom kommer att avgöra lämpliga manipulationer. Även sammandragning (dvs. eliminering av en viss tro) är begreppsmässigt helt annorlunda från förlängning avlägsnande, det finns förvånansvärt djupa kopplingar mellan de två: det visar sig att postulater för avlägsnande kan direkt erhållas som omformuleringar av årsstämman sammandragning postulates. Vi bevisar en rad formella resultat inklusive villkorlig och villkorslös existens och semantisk unikhet av avlägsnande operatörer samt olika omöjliga resultat - och visa möjliga vägar ut.
Helt nyligen, i REF ) studerades det så kallade problemet med borttagning av förlängning.
Extension Removal in Abstract Argumentation -- An Axiomatic Approach
{'venue': 'AAAI', 'journal': None, 'mag_field_of_study': ['Computer Science']}