Model Based Critique of Policy Proposals
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.
KeywordsJoint Action Critical Question Road Accident Argumentation Scheme Policy Proposal
- 2.Atkinson, K., Bench-Capon, T., Cartwright, D., Wyner, A.: Semantic models for policy deliberation. In: Proceedings of the 13th ICAIL, pp. 81–90 (2011)Google Scholar
- 4.Bench-Capon, T., Prakken, H.: A lightweight formal model of two-phase democratic deliberation. In: Proceedings of JURIX 2010, pp. 27–36. IOS Press (2010)Google Scholar
- 5.Black, E., Atkinson, K.: Choosing persuasive arguments for action. In: Proceedings of AAMAS 2011, pp. 905–912 (2011)Google Scholar