Argumentation Semantics for Prioritised Default Logic
This work makes inference in prioritised default logic more interpretable for AI researchers and practitioners, though it appears incremental as it applies existing argumentation frameworks to an established logic.
The authors provided argumentation semantics for prioritised default logic using the ASPIC+ framework, proving that justified arguments correspond exactly to prioritised default extensions. This enables argument game proof theories to make PDL inference more transparent and intuitive.
We endow prioritised default logic (PDL) with argumentation semantics using the ASPIC+ framework for structured argumentation, and prove that the conclusions of the justified arguments are exactly the prioritised default extensions. Argumentation semantics for PDL will allow for the application of argument game proof theories to the process of inference in PDL, making the reasons for accepting a conclusion transparent and the inference process more intuitive. This also opens up the possibility for argumentation-based distributed reasoning and communication amongst agents with PDL representations of mental attitudes.