Argumentation Semantics for Prioritised Default Logic

TL;DR

This paper integrates argumentation semantics into prioritised default logic using the ASPIC+ framework, enabling transparent inference and facilitating distributed reasoning among agents.

Contribution

It introduces an argumentation semantics for PDL based on ASPIC+ and proves its equivalence to prioritised default extensions, enhancing interpretability and application scope.

Findings

Argumentation semantics align with PDL extensions.

Enables transparent reasoning processes.

Facilitates distributed reasoning among agents.

Abstract

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.