On computable numbers with an application to the AlanTuringproblem

被引：1

作者：

Huws C.F. ^{[1
]}

Finnis J.C. ^{[2
]}

机构：

[1] Aberystwyth Law School, Elystan Morgan Building, Llanbadarn Fawr, SY23 3AS, Ceredigion

[2] Department of Computer Science, Aberystwyth University, Llandinam Building, Penglais, Aberystwyth, SY23 3DB, Ceredigion

来源：

Artificial Intelligence and Law | 2017年 / 25卷 / 02期

关键词：

Criminal law; Decision making; Homosexuality; Legal certainty; Machine learning; Statutory interpretation;

D O I：

10.1007/s10506-017-9200-2

中图分类号：

学科分类号：

摘要：

This paper explores the question of whether or not the law is a computable number in the sense described by Alan Turing in his 1937 paper ‘On computable numbers with an application to the Entscheidungsproblem.’ Drawing upon the legal, social, and political context of Alan Turing’s own involvement with the law following his arrest in 1952 for the criminal offence of gross indecency, the article explores the parameters of computability within the law and analyses the applicability of Turing’s computability thesis within the context of legal decision-making. © 2017, The Author(s).

引用

页码：181 / 203

页数：22

共 72 条

[1]

Aamodt A., Plaza E., Case-based reasoning: foundational issues, methodological variations, and system approaches, AI Commun, 7, 1, pp. 39-59, (1994)

[2]

Al Abdulkarim L., A methodology for designing systems to reason with legal cases using abstract dialectical frameworks, Artif Intell Law, 24, 1, (2016)

[3]

Aleven V., Teaching case-based argumentation through a model and examples, (1997)

[4]

Aleven V., Ashley K.D., Teaching case-based argumentation through a model and examples empirical evaluation of an intelligent learning environment, Artif Intell Educ, 39, pp. 87-94, (1997)

[5]

Altman D., Homosexual: oppression and liberation, (1972)

[6]

Arnot M., Usborne C., Gender and crime in modern Europe, (2002)

[7]

Ashley K.D., Bruninghaus S., Automatically classifying case texts and predicting outcomes, Artif Intell Law, 17, 2, pp. 125-165, (2009)

[8]

Bench-Capon T.J.M., Robinson G.O., Routen T., Sergot M.J., Logic programming for large scale applications in law: a formalisation of supplementary benefit legislation, In: Proceedings of the first international conference on artificial intelligence and law, (1987)

[9]

Berman D., Hafner C., Indeterminacy: a challenge to logic-based models of legal reasoning, Yearbook of Law Computers and Technology, 3, pp. 1-35, (1987)

[10]

Buggery Act

← 1 2 3 4 5 6 7 8 →