Article

Free access

Hierarchically organised formalisations

Author:

T. RoutenAuthors Info & Claims

ICAIL '89: Proceedings of the 2nd international conference on Artificial intelligence and law

Pages 242 - 250

https://doi.org/10.1145/74014.74045

Published: 01 May 1989 Publication History

PDF eReader

Abstract

Formalisations to date have tended to ignore a salient feature of statutes: they exhibit a multi-layered logical structure. This, rather than the unsuitability of logic for representing statute law, is at the root of at least some of the knowledge representation problems researchers have uncovered. In addition, the failure of any formalisation to mirror this kind of structure means that it inevitably will be an impoverished translation of the original article.

References

[1]

Allen L.E., "Language, Law arid Logic: Plain Legal Drafting for the Electronic Age" in Niblett B. (ed.) Computer Science andtheL,aw, CUP: Cambridge (1980)

Google Scholar

[2]

Bench-Capon T.J.M., "RepIesenting Counterfaetual Conditionals" Proc. AISB '89, Cohn A. (ed.), Pitman: London (1989)

Digital Library

Google Scholar

[3]

Bowen K.A. & Kowalski R. "Amalgamating Language and Meta-Language in Logic Programming" in Logic Programming (eds.) Clark K.L. & Tamlund S.A. Academic Press: London (1981)

Google Scholar

[4]

Sergot M.J. et al, "Formalisation of the British Nationality Act" in Yearbook of Law Computers & Technology, Volume Two, Butterworths: London (1986)

Google Scholar

[5]

Routen T.W. & Bench-Capon T.J.M., "Counterfactuals in Logic Programs", Logic Programming Group Research Report, Dept. of Computing, Imperial College, (1986)

Google Scholar

[6]

Gordon Thomas F., 'The Importance of Non-Monotonicity for Legal Reasoning" in Expert Systems in Law: Impacts on Legal Theory and Corr~uter Law (eds.) Fiedler H., Haft F. & Traunmuller T. Attempto Verlag: Tubingen (1988)

Google Scholar

[7]

Oinsberg M. "Counteffaemals", Artificial Intelligence vol. 30 (1986)

Digital Library

Google Scholar

[8]

Kowalski R. Logic,for Problem Solving, North-Holland: New York (1979)

Digital Library

Google Scholar

[9]

Kowalksi R., & Sergot M., 'The Use of Logical Models in Legal Problem Solving", Logic Programming Group Research Report, Dept. of Computing, Imperial College, (1986)

Google Scholar

[10]

Stud~cki F., "Computational Aspects of Legal Intepretation" in Computing Power and Legal Reasoning, Walter C. (ed.) West: St. Paul (1985)

Google Scholar

[11]

Bench-Capon T.J.M., Robinson G.O., Routen T.W., & Sergot M.I., "Logic Programming For Large-Scale Applications in Law" in Proc. 1st Int. Conf. on Artificial Intelligence andlxzw, ACM Press: New York (1986)

Digital Library

Google Scholar

[12]

Welham B. "Interpreters and Meta-Level inference" in Meta- Level Architectures and Reflection, (ed.) Maes P., & Nardi D., North-Holland: Amsterdam (1988)

Google Scholar

Cited By

View all

Kingston J(2017)Using artificial intelligence to support compliance with the general data protection regulationArtificial Intelligence and Law10.1007/s10506-017-9206-925:4(429-443)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1007/s10506-017-9206-9
Santos CRodriguez-Doncel VCasanovas Pvan der Torre L(2016)Modeling Relevant Legal Information for Consumer DisputesElectronic Government and the Information Systems Perspective10.1007/978-3-319-44159-7_11(150-165)Online publication date: 7-Aug-2016
https://doi.org/10.1007/978-3-319-44159-7_11
Kiliccote HGarrett J(1998)Standards Modeling LanguageJournal of Computing in Civil Engineering10.1061/(ASCE)0887-3801(1998)12:3(129)12:3(129-135)Online publication date: Jul-1998
https://doi.org/10.1061/(ASCE)0887-3801(1998)12:3(129)
Show More Cited By

Index Terms

Hierarchically organised formalisations

Recommendations

On the Proof-Theory of two Formalisations of Modal First-Order Logic

We introduce a Gentzen-style modal predicate logic and prove the cut-elimination theorem for it. This sequent calculus of cut-free proofs is chosen as a proxy to develop the proof-theory of the logics introduced in [14, 15, 4]. We present syntactic ...
ATP and Presentation Service for Mizar Formalizations

This paper describes the Automated Reasoning for Mizar ( $\textsf{Miz}\mathbb{AR}$ ) service, which integrates several automated reasoning, artificial intelligence, and presentation tools with Mizar and its authoring environment. The service provides ATP assistance to Mizar ...
Combining Higher-Order Logic with Set Theory Formalizations
Abstract
The Isabelle Higher-order Tarski–Grothendieck object logic includes in its foundations both higher-order logic and set theory, which allows importing the libraries of Isabelle/HOL and Isabelle/Mizar. The two libraries, however, define all the ...

Comments

Information & Contributors

Information

Published In

ICAIL '89: Proceedings of the 2nd international conference on Artificial intelligence and law

May 1989

258 pages

ISBN:0897913221

DOI:10.1145/74014

Chairmen:
J. C. Smith
Univ. of British Columbia, Vancouver, BC Canada
,
R. T. Franson
Univ. of British Columbia, Vancouver, BC Canada

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: 01 May 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 69 of 169 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
224
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)1

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kingston J(2017)Using artificial intelligence to support compliance with the general data protection regulationArtificial Intelligence and Law10.1007/s10506-017-9206-925:4(429-443)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1007/s10506-017-9206-9
Santos CRodriguez-Doncel VCasanovas Pvan der Torre L(2016)Modeling Relevant Legal Information for Consumer DisputesElectronic Government and the Information Systems Perspective10.1007/978-3-319-44159-7_11(150-165)Online publication date: 7-Aug-2016
https://doi.org/10.1007/978-3-319-44159-7_11
Kiliccote HGarrett J(1998)Standards Modeling LanguageJournal of Computing in Civil Engineering10.1061/(ASCE)0887-3801(1998)12:3(129)12:3(129-135)Online publication date: Jul-1998
https://doi.org/10.1061/(ASCE)0887-3801(1998)12:3(129)
Prakken HSartor G(1996)A dialectical model of assessing conflicting arguments in legal reasoningArtificial Intelligence and Law10.1007/BF001184964:3-4(331-368)Online publication date: 1996
https://doi.org/10.1007/BF00118496
Routen T(1996)On isomorphic formalisationsArtificial Intelligence and Law10.1007/BF001167884:2(113-132)Online publication date: 1-Jun-1996
https://dl.acm.org/doi/10.1007/BF00116788
Greenleaf GMowbray ADijk P(1995)Representing and using legal knowledge in integrated decision support systemsArtificial Intelligence and Law10.1007/BF008776963:1-2(97-142)Online publication date: 1-Mar-1995
https://dl.acm.org/doi/10.1007/BF00877696
Schobbens POskamp AAshley K(1993)A logic for legal hierarchiesProceedings of the 4th international conference on Artificial intelligence and law10.1145/158976.159010(272-281)Online publication date: 1-Aug-1993
https://dl.acm.org/doi/10.1145/158976.159010
Greenleaf GMowbray AOskamp AAshley K(1993)Controlling and augmenting legal inferencingProceedings of the 4th international conference on Artificial intelligence and law10.1145/158976.158996(162-166)Online publication date: 1-Aug-1993
https://dl.acm.org/doi/10.1145/158976.158996
Schild UHerzog SOskamp AAshley K(1993)The use of meta-rules in rule based legal computer systemsProceedings of the 4th international conference on Artificial intelligence and law10.1145/158976.158989(100-109)Online publication date: 1-Aug-1993
https://dl.acm.org/doi/10.1145/158976.158989
Bench-Capon TCoenen F(1992)Isomorphism and legal knowledge based systemsArtificial Intelligence and Law10.1007/BF001184791:1(65-86)Online publication date: 1992
https://doi.org/10.1007/BF00118479
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Cited By

Index Terms

Recommendations

On the Proof-Theory of two Formalisations of Modal First-Order Logic

ATP and Presentation Service for Mizar Formalizations

Combining Higher-Order Logic with Set Theory Formalizations

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

Abstract

References

Cited By

Index Terms

Recommendations

On the Proof-Theory of two Formalisations of Modal First-Order Logic

ATP and Presentation Service for Mizar Formalizations

Combining Higher-Order Logic with Set Theory Formalizations

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations