[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3594536.3595175acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicailConference Proceedingsconference-collections
research-article

Deontic Ambiguities in Legal Reasoning

Published: 07 September 2023 Publication History

Abstract

What happens if the way in which we handle a genuine deontic conflict ---i.e., a deontic ambiguity--- matters regarding the application of other norms that are not directly affected by that conflict? We argue that the law requires sometimes propagating the ambiguity to other norms and sometimes confining it to some norms only. We explore this issue and model different reasoning patterns. The problem is addressed in a new variant of Defeasible Deontic Logic. The contribution of this paper is threefold: (a) we extend the treatment of ambiguity blocking and propagation to Defeasible Deontic Logic; (b) we discuss reasoning patterns in the law, especially in criminal law, where we need to deal with both ambiguity blocking and ambiguity propagation in the same legal system and logic; (c) we devise an annotated variant of Defeasible Deontic Logic where we distinguish literals that must be obtained through an ambiguity-blocking mechanism from those that are derived using an ambiguity-propagating mechanism.

References

[1]
Carlos E. Alchourrón and Eugenio Bulygin. 1971. Normative Systems. LEP Library of Exact Philosophy. Springer Vienna. isbn: 9783211810194.
[2]
Carlos E. Alchourrón and Eugenio Bulygin. 1984. Permission and permissive norms. In Theorie der Normen. W. Krawietz et al., (Ed.) Duncker & Humblot.
[3]
Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher. 2001. Representation results for defeasible logic. ACM Transactions on Computational Logic, 2, 2, 255--287.
[4]
Andrew Ashworth and Jeremy Horder. 2013. Principles of Criminal Law. Oxford University Press, Oxford.
[5]
David Billington, Grigoris Antoniou, Guido Governatori, and Michael J. Maher. 2010. An inclusion theorem for defeasible logic. ACM Transactions in Computational Logic, 12, 1, article 6.
[6]
Guido Governatori. 2015. Burden of compliance and burden of violations. In 28th Annual Conference on Legal Knowledge and Information Systems (Frontieres in Artificial Intelligence and Applications). Antonino Rotolo, (Ed.) IOS Press, Amsterdam, 31--40.
[7]
Guido Governatori. 2011. On the relationship between Carneades and defeasible logic. In Fourteenth International Conference on Artificial Intelligence and Law. Enrico Francesconi and Bart Verheij, (Eds.) ACM, 31--40.
[8]
Guido Governatori and Michael J. Maher. 2017. Annotated defeasible logic. Theory and Practice of Logic Programming, 17, 5-6, 819--836.
[9]
Guido Governatori, Michael J. Maher, Grigoris Antoniou, and David Billington. 2004. Argumentation semantics for defeasible logic. Journal of Logic and Computation, 14, 5, 675--702.
[10]
Guido Governatori, Francesco Olivieri, Antonino Rotolo, and Simone Scannapieco. 2013. Computing strong and weak permissions in defeasible logic. Journal of Philosophical Logic, 42, 6, 799--829.
[11]
Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, and Abdul Sattar. 2009. A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic Journal of the IGPL, 17, 3, 227--265.
[12]
Guido Governatori and Antonino Rotolo. 2006. Logic of violations: a gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, 4, 193--215. http://ojs.victoria.ac.nz/ajl/article/view/1780.
[13]
Guido Governatori, Antonino Rotolo, and Giovanni Sartor. 2021. Logic and the law: philosophical foundations, deontics, and defeasible reasoning. In Handbook of Deontic Logic and Normative Reasoning. Vol. 2. Dov M. Gabbay, John Horty, Xavier Parent, Ron van der Meyden, and Leon van der Torre, (Eds.) College Publications, London. Chap. 9, 655--760.
[14]
David Makinson and Leendert W. N. van der Torre. 2003. Permission from an input/output perspective. Journal of Philosophical Logic, 32, 4, 391--416.
[15]
Donald Nute. 1994. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming. Vol. 3. Dov M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds.), 353--395.
[16]
Antonino Rotolo and Clara Smith. 2021. Modelling legal procedures. In ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law. Juliano Maranhão and Adam Zachary Wyner, (Eds.) ACM, 220--224.

Cited By

View all
  • (2024)An ASP Implementation of Defeasible Deontic LogicKI - Künstliche Intelligenz10.1007/s13218-024-00854-938:1-2(79-88)Online publication date: 20-Jul-2024
  • (2024)Ambiguities in Defeasible Logic: A Computational Efficient Framework and AlgorithmRules and Reasoning10.1007/978-3-031-72407-7_16(217-233)Online publication date: 11-Sep-2024
  • (2023)Argumentation and explanation in the lawFrontiers in Artificial Intelligence10.3389/frai.2023.11305596Online publication date: 4-Sep-2023

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences
ICAIL '23: Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law
June 2023
499 pages
ISBN:9798400701979
DOI:10.1145/3594536
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 the author(s) 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].

Sponsors

  • IAAIL: Intl Asso for Artifical Intel & Law

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 September 2023

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Ambiguity Blocking
  2. Ambiguity Propagation
  3. Defeasible Deontic Logic
  4. Deontic Ambiguities

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Funding Sources

  • European Commission - Governo Italiano

Conference

ICAIL 2023
Sponsor:
  • IAAIL

Acceptance Rates

Overall Acceptance Rate 69 of 169 submissions, 41%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)37
  • Downloads (Last 6 weeks)5
Reflects downloads up to 15 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)An ASP Implementation of Defeasible Deontic LogicKI - Künstliche Intelligenz10.1007/s13218-024-00854-938:1-2(79-88)Online publication date: 20-Jul-2024
  • (2024)Ambiguities in Defeasible Logic: A Computational Efficient Framework and AlgorithmRules and Reasoning10.1007/978-3-031-72407-7_16(217-233)Online publication date: 11-Sep-2024
  • (2023)Argumentation and explanation in the lawFrontiers in Artificial Intelligence10.3389/frai.2023.11305596Online publication date: 4-Sep-2023

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media