Default Reasoning about Actions via Abstract Argumentation

摘要

Reasoning about actions is a subfield of artificial intelligence that is concerned with representing and reasoning about dynamic domains. We propose to employ abstract argumentation for this purpose. Specifically, we present a translation of action domains from a specification language into Dung-style argumentation frameworks (AFs). As the key advantage of our approach, we use existing semantics for argumentation 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.