Towards a dynamic metalogic implementation of legal argumentation
2011 (English)In: The proceedings of the 13th International Conference on Artificial Intelligence and Law, Pittsburgh, PA, USA, June 3-10, 2011., 2011, 91-95 p.Conference paper (Refereed)
Human argumentation in general and legal dispute in particular can be seen as highly dynamic and non-monotonic to its nature. To us this suggests that logical analysis of legal argumentation needs to be conducted in a dynamical and flexible setting in which the interaction is influenced by the parties' previous arguments. To express such approximations of legal reasoning as computational formalizations of argument, applications require dealing with knowledge representations, non-monotonic logics and a game-model able to capture the interaction as a debate between two or more disputing parties. In this paper we present some intuitions regarding the features of a full implementation and accompanying software for defeasible adversarial legal argumentation.
Place, publisher, year, edition, pages
2011. 91-95 p.
computing methodologies, artificial intelligence, deduction and theorem proving
IdentifiersURN: urn:nbn:se:uu:diva-153334DOI: 10.1145/2018358.2018370ISBN: 978-1-4503-0755-0OAI: oai:DiVA.org:uu-153334DiVA: diva2:416214
13th International Conference on Artificial Intelligence and Law, Pittsburgh, PA, USA, June 3-10, 2011.