Default Reasoning about Actions via Abstract Argumentation

Abstract. Reasoning about actions is a subfield of artificial intelligence that is concerned with representing and reasoning about dynamic do-mains. We propose to employ abstract argumentation for this purpose. Specifically, we present a translation of action domains from a specifica-tion language into Dung-style argumentation frameworks (AFs). As the key advantage of our approach, we use existing semantics for argumen-tation to make predictions about the domain in various manners and utilise existing results about argumentation to show that the approach can be efficiently implemented. This demonstrates the practical value not only of its theoretical results, but also abstract argumentation itself