Prioritised Default Logic as Rational Argumentation

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

20 Citations (Scopus)
132 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016)
Pages626-634
Number of pages9
Publication statusPublished - 13 May 2016

Cite this