Prioritised Default Logic as Rational Argumentation

TY - CHAP

T1 - Prioritised Default Logic as Rational Argumentation

AU - Young, Anthony P.

AU - Modgil, Sanjay

AU - Rodrigues, Odinaldo

PY - 2016/5/13

Y1 - 2016/5/13

N2 - We endow Brewka's prioritised default logic (PDL) with argumentation semantics using the ASPIC+ framework for structured argumentation. We prove that the conclusions of the justified arguments correspond to the prioritised default extensions in a normatively rational manner. 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.

AB - We endow Brewka's prioritised default logic (PDL) with argumentation semantics using the ASPIC+ framework for structured argumentation. We prove that the conclusions of the justified arguments correspond to the prioritised default extensions in a normatively rational manner. 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.

UR - http://sis.smu.edu.sg/aamas2016?itemid=671

M3 - Conference paper

SP - 626

EP - 634

BT - Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016)

ER -