research-article

The False, the Former, and the Parish Priest

Authors:

Robert van Doesburg,

Tom van EngersAuthors Info & Claims

ICAIL '19: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law

Pages 194 - 198

https://doi.org/10.1145/3322640.3326718

Published: 17 June 2019 Publication History

Get Access

Abstract

In the field of AI and Law, there is a debate whether normative relations can be expressed using only deontic concepts versus the opinion that a potestative perspective on norms cannot be reduced to deontic expressions. Makinson, Jones and Sergot are proponents of the latter view. In this paper, we will expand on their examples of priests marrying couples of mixed religions, and couples married by former priests, in order to better understand the notion of power.

In this quest, we believe it is important to investigate the sources of norms, in this case the Code of Canon Law on Catholic marriage. We will do so using our method Calculemus and illustrate this method for making interpretation models of normative systems using a domain specific language (FLINT) for expressing frames for institutional acts, duties and facts. In this paper, we will give an overview of our analysis. An extended version of this paper will be published on Research Gate.

References

[1]

Catholic Church. 1983. Code of Canon Law, Latin-English edition. Retrieved from http://www.vatican.va/archive/ENG1104/_INDEX.HTM

Google Scholar

[2]

Robert van Doesburg, Tijs van der Storm and Tom M. van Engers. 2016 CALCULEMUS: Towards a Formal Language for the Interpretation of Normative Systems. In: AI4J Workshop at ECAI 2016, The Hague, Netherlands.

Google Scholar

[3]

Robert van Doesburg and Tom M. van Engers. Using Formal Interpretations of Legal Sources for Comparing the Application of Exclusion Clauses of the UN Refugee Convention. In: Jusletter IT (Feb. 2018), 175--184.

Google Scholar

[4]

Robert van Doesburg, Tom M. van Engers. 2018. Arguments on the Interpretation of Sources of Law. In: AI Approaches to the Complexity of Legal Systems. AICOL 2015, AICOL 2016, AICOL 2016, AICOL 2017, AICOL 2017. Lecture Notes in Computer Science, vol 10791. Springer, Cham, 487--492.

Google Scholar

[5]

Maria Dymitruk, Réka Markovich, Rūta Liepiņa, et al. 2018. Research in Progress: Report on the ICAIL 2017 Doctoral Consortium. Artif. Intell. Law 26, 1 (March 2018), 49--97.

Digital Library

Google Scholar

[6]

Wesley N. Hohfeld. 1913. Some Fundamental Legal Conceptions as Applied in Judicial Reasoning. Yale Law Journal 23(1), 16--59.

Crossref

Google Scholar

[7]

Andrew J.I. Jones and Marek Sergot. 1996. A formal characterisation of institutionalised power". Journal of IGPL 4, 3 (June 1996), 427--443.

Crossref

Google Scholar

[8]

Stig Kanger and Helle Kanger. 1966. 'Rights and parliamentarism', Theoria 32, 85--115.

Crossref

Google Scholar

[9]

Hans Kelsen. 1991. General Theory of Norms. (1st ed. 1979). Trans. M. Hartney. Oxford: Clarendon. reprinted (2011).

Google Scholar

[10]

Lars Lindahl. 1977. Position and change: a study in law and logic, Reidel Publishing Company, Dordrecht, Holland.

Google Scholar

[11]

David Makinson. 1986. On the Formal Representation of Rights Relations: Remarks on the Work of Stig Kanger and Lars Lindahl. Journal of Philosophical Logic, Vol. 15, No. 4 (Nov. 1986), 403--425

Crossref

Google Scholar

[12]

Giovanni Sileno. 2016. Aligning Law and Action: a conceptual and computational inquiry. Ph.D. Dissertation. University of Amsterdam, Amsterdam, Netherlands. SIKS Dissertation Series No. 2016-37.

Google Scholar

Cited By

View all

Araszkiewicz MFrancesconi EZurek TAndrade FGrabmair M(2023)Identification of Legislative ErrorsProceedings of the Nineteenth International Conference on Artificial Intelligence and Law10.1145/3594536.3595172(2-11)Online publication date: 19-Jun-2023
https://dl.acm.org/doi/10.1145/3594536.3595172
Araszkiewicz MZurek T(2021)Identification of Legislative Errors Through Knowledge Representation and Interpretive ArgumentationAI Approaches to the Complexity of Legal Systems XI-XII10.1007/978-3-030-89811-3_2(15-30)Online publication date: 27-Nov-2021
https://doi.org/10.1007/978-3-030-89811-3_2
Araszkiewicz MAmantea IChakravarty Svan Doesburg RDymitruk MGarin MGilpin LOdekerken DSalehi S(2020)ICAIL Doctoral Consortium, Montreal 2019Artificial Intelligence and Law10.1007/s10506-020-09267-zOnline publication date: 26-May-2020
https://doi.org/10.1007/s10506-020-09267-z

Index Terms

The False, the Former, and the Parish Priest
1. Applied computing
  1. Law, social and behavioral sciences
    1. Law
2. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Reasoning about belief and knowledge

Recommendations

At your service, on the definition of services from sources of law
ICAIL '15: Proceedings of the 15th International Conference on Artificial Intelligence and Law

In this paper, we describe our work towards a method for a formal analysis of law. The Dutch Immigration and Naturalization Service (IND) is responsible for the implementation and execution of complex and ever changing regulations. Given the amount of ...
Extensions of Priest-da Costa Logic

In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as "da Costa logic"). The relationship between the ...
Priest After the Order of Melchizedek: A History of Interpretation of Hebrews 7 from the Era of the Reformation to the Present

Comments

Information & Contributors

Information

Published In

ICAIL '19: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law

June 2019

312 pages

ISBN:9781450367547

DOI:10.1145/3322640

Publication rights licensed to ACM. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of a national government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

In-Cooperation

Univ. of Montreal: University of Montreal
AAAI
IAAIL: Intl Asso for Artifical Intel & Law

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 June 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

ICAIL '19

Sponsor:

SIGAI

ICAIL '19: Seventeenth International Conference on Artificial Intelligence and Law

June 17 - 21, 2019

QC, Montreal, Canada

Acceptance Rates

Overall Acceptance Rate 69 of 169 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
94
Total Downloads

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

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Araszkiewicz MFrancesconi EZurek TAndrade FGrabmair M(2023)Identification of Legislative ErrorsProceedings of the Nineteenth International Conference on Artificial Intelligence and Law10.1145/3594536.3595172(2-11)Online publication date: 19-Jun-2023
https://dl.acm.org/doi/10.1145/3594536.3595172
Araszkiewicz MZurek T(2021)Identification of Legislative Errors Through Knowledge Representation and Interpretive ArgumentationAI Approaches to the Complexity of Legal Systems XI-XII10.1007/978-3-030-89811-3_2(15-30)Online publication date: 27-Nov-2021
https://doi.org/10.1007/978-3-030-89811-3_2
Araszkiewicz MAmantea IChakravarty Svan Doesburg RDymitruk MGarin MGilpin LOdekerken DSalehi S(2020)ICAIL Doctoral Consortium, Montreal 2019Artificial Intelligence and Law10.1007/s10506-020-09267-zOnline publication date: 26-May-2020
https://doi.org/10.1007/s10506-020-09267-z

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

Index Terms

Recommendations

At your service, on the definition of services from sources of law

Extensions of Priest-da Costa Logic

Priest After the Order of Melchizedek: A History of Interpretation of Hebrews 7 from the Era of the Reformation to the Present

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Author Tags

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