%0 Conference Proceedings
%T Model Based Critique of Policy Proposals
%+ Department of Computer Science [Liverpool]
%A Wyner, Adam, Z.
%A Atkinson, Katie
%A Bench-Capon, Trevor
%Z Part 5: Techniques and Analysis
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 4th International Conference on Electronic Participation (ePart)
%C Kristiansand, Norway
%Y Efthimios Tambouris
%Y Ann Macintosh
%Y Øystein Sæbø
%I Springer
%3 Electronic Participation
%V LNCS-7444
%P 120-131
%8 2012-09-03
%D 2012
%R 10.1007/978-3-642-33250-0_11
%Z Computer Science [cs]Conference papers
%X Citizens may engage with policy issues both to critique official justifications, and to make their own proposals and receive reasons why these are not favoured. Either direction of use can be supported by argumentation schemes based on formal models, which can be used to verify and generate arguments, assimilate objections etc. Previously we have explored the citizen critiquing a justification using an argumentation scheme based on Action-based Alternating Transition Systems. We now present a system that uses the same model to critique proposals from citizens. A prototype has been implemented in Prolog and we illustrate the ideas with code fragments and a running example.
%G English
%Z TC 8
%Z WG 8.5
%2 https://inria.hal.science/hal-01541479/document
%2 https://inria.hal.science/hal-01541479/file/978-3-642-33250-0_11_Chapter.pdf
%L hal-01541479
%U https://inria.hal.science/hal-01541479
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC8
%~ IFIP-EPART
%~ IFIP-WG8-5
%~ IFIP-LNCS-7444