Rodrigues, Odinaldo

Argumentation Semantics for Prioritised Default Logic

2015 · arXiv (Cornell University)

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 …