King's College London

Research portal

Prioritised Default Logic as Rational Argumentation

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

Original languageEnglish
Title of host publicationProceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016)
Pages626-634
Number of pages9
Accepted/In press25 Jan 2016
Published13 May 2016

Documents

King's Authors

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.

Download statistics

No data available

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454