Article

A metalogic formalization of legal argumentation as game trees with defeasible reasoning

Authors:

Andreas Hamfelt,

Jenny Eriksson,

Jørgen Fischer NilssonAuthors Info & Claims

ICAIL '05: Proceedings of the 10th international conference on Artificial intelligence and law

Pages 250 - 251

https://doi.org/10.1145/1165485.1165533

Published: 06 June 2005 Publication History

Get Access

Abstract

We outline an approach to logical analysis and formalization of legal argumentation and dispute as game trees, wellknown in AI, using metalogic programming. The argument/counter-argument dialectic is facilitated through defeasible reasoning, and the applied principles are sought demonstrated by unravelling of a legal case within statutory law.

References

[1]

G. Antoniu, D. Billington, G. Governatori and M. J. Maher: A Flexible Framework for Defeasible Logics, Proceedings of the 17th American National Conference on Artificial Intelligence (AAAI-2000), 2000.

Digital Library

Google Scholar

[2]

G. Antoniu, D. Billington, G. Governatori and M. J. Maher: Argumentation Semantics for Defeasible Logics, J. Logic Computat., 14/5, 2004.

Digital Library

Google Scholar

[3]

C. I. Chesñevar, A. G. Maguitman and R. P. Loui: Logical Models of Argument, ACM Computing Surveys 32/4, 2000.

Digital Library

Google Scholar

[4]

H. Prakken, G. Sartor: Modelling Reasoning with Precedents in a Formal Dialogue Game. Artificial Intelligence and Law 6, 1998.

Google Scholar

Cited By

View all

Lundström JAceto GHamfelt A(2011)A dynamic metalogic argumentation framework implementationProceedings of the 5th international conference on Rule-based reasoning, programming, and applications10.5555/2032787.2032798(83-98)Online publication date: 19-Jul-2011
https://dl.acm.org/doi/10.5555/2032787.2032798
Eriksson Lundström JAceto GHamfelt A(2011)A Dynamic Metalogic Argumentation Framework ImplementationRule-Based Reasoning, Programming, and Applications10.1007/978-3-642-22546-8_8(83-98)Online publication date: 2011
https://doi.org/10.1007/978-3-642-22546-8_8
Eriksson Lundström JGovernatori GThakur SPadmanabhan V(2009)An Asymmetric Protocol for Argumentation Games in Defeasible LogicAgent Computing and Multi-Agent Systems10.1007/978-3-642-01639-4_19(219-231)Online publication date: 21-Apr-2009
https://dl.acm.org/doi/10.1007/978-3-642-01639-4_19
Show More Cited By

Recommendations

A Formalization and Proof Checker for Isabelle’s Metalogic
Abstract
Isabelle is a generic theorem prover with a fragment of higher-order logic as a metalogic for defining object logics. Isabelle also provides proof terms. We formalize this metalogic and the language of proof terms in Isabelle/HOL, define an ...
Isabelle’s Metalogic: Formalization and Proof Checker
Automated Deduction – CADE 28
Abstract
Isabelle is a generic theorem prover with a fragment of higher-order logic as a metalogic for defining object logics. Isabelle also provides proof terms. We formalize this metalogic and the language of proof terms in Isabelle/HOL, define an ...
Towards a dynamic metalogic implementation of legal argumentation
ICAIL '11: Proceedings of the 13th International Conference on Artificial Intelligence and Law

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 ...

Comments

Information & Contributors

Information

Published In

ICAIL '05: Proceedings of the 10th international conference on Artificial intelligence and law

June 2005

270 pages

ISBN:1595930817

DOI:10.1145/1165485

Conference Chair:
Giovanni Sartor
CIRSFID - Universita di Bologna, Italy

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 June 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ICAIL05

Sponsor:

ICAIL05: 10th International Joint Conference on Artificial Intellignece and Law

June 6 - 11, 2005

Bologna, Italy

Acceptance Rates

Overall Acceptance Rate 69 of 169 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
149
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lundström JAceto GHamfelt A(2011)A dynamic metalogic argumentation framework implementationProceedings of the 5th international conference on Rule-based reasoning, programming, and applications10.5555/2032787.2032798(83-98)Online publication date: 19-Jul-2011
https://dl.acm.org/doi/10.5555/2032787.2032798
Eriksson Lundström JAceto GHamfelt A(2011)A Dynamic Metalogic Argumentation Framework ImplementationRule-Based Reasoning, Programming, and Applications10.1007/978-3-642-22546-8_8(83-98)Online publication date: 2011
https://doi.org/10.1007/978-3-642-22546-8_8
Eriksson Lundström JGovernatori GThakur SPadmanabhan V(2009)An Asymmetric Protocol for Argumentation Games in Defeasible LogicAgent Computing and Multi-Agent Systems10.1007/978-3-642-01639-4_19(219-231)Online publication date: 21-Apr-2009
https://dl.acm.org/doi/10.1007/978-3-642-01639-4_19
Thakur SGovernatori GPadmanabhan VLundström J(2007)Dialogue games in defeasible logicProceedings of the 20th Australian joint conference on Advances in artificial intelligence10.5555/1781238.1781302(497-506)Online publication date: 2-Dec-2007
https://dl.acm.org/doi/10.5555/1781238.1781302
Lundström JHamfelt ANilsson JGardner AWinkels R(2007)A rule-sceptic characterization of acceptable legal argumentsProceedings of the 11th international conference on Artificial intelligence and law10.1145/1276318.1276372(283-284)Online publication date: 4-Jun-2007
https://dl.acm.org/doi/10.1145/1276318.1276372
Thakur SGovernatori GPadmanabhan VEriksson Lundström J(2007)Dialogue Games in Defeasible LogicAI 2007: Advances in Artificial Intelligence10.1007/978-3-540-76928-6_51(497-506)Online publication date: 2007
https://doi.org/10.1007/978-3-540-76928-6_51
Suzuki Y(2007)Dialogue Game Tree with Nondeterministic Additive ConsolidationComputational Logic in Multi-Agent Systems10.1007/978-3-540-69619-3_7(115-133)Online publication date: 2007
https://doi.org/10.1007/978-3-540-69619-3_7
Suzuki Y(2006)Dialogue game tree with nondeterministic additive consolidationProceedings of the 7th international conference on Computational logic in multi-agent systems10.5555/1758663.1758671(115-133)Online publication date: 8-May-2006
https://dl.acm.org/doi/10.5555/1758663.1758671

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Recommendations

A Formalization and Proof Checker for Isabelle’s Metalogic

Isabelle’s Metalogic: Formalization and Proof Checker

Towards a dynamic metalogic implementation of legal argumentation

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations