Article

Free access

Norms and formalization

Author:

Henning HerrestadAuthors Info & Claims

ICAIL '91: Proceedings of the 3rd international conference on Artificial intelligence and law

Pages 175 - 184

https://doi.org/10.1145/112646.112667

Published: 01 May 1991 Publication History

PDF eReader

References

[1]

Belzer, Marvin: 1987, "Legal Reasoning in 3-D", ICAIL'87 proceedings, ACM press.

Digital Library

Google Scholar

[2]

Bench-Capon, Trevor J.M.: 1989, "Deep Models, Normative Reasoning and Legal Expert Systems", iCAiL'89 proceedings, ACM press.

Digital Library

Google Scholar

[3]

Chellas, Brian F.: 1980, Modal Logic, an introduction, Cambridge U.P., Cambridge.

Google Scholar

[4]

Codd, A.J.: 1989: The role of deontic logic in legal knowledge representation, M.Sc.thesis, Imperial College, London.

Google Scholar

[5]

Delgrande, James P.: 1988, "An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report", Artificial Intelligence 36.

Digital Library

Google Scholar

[6]

al-Hibri, Azizah: 1978, Deontic Logic: A Comprehensive Appraisal and a New Proposal, University Press of America, Washington D.C.

Google Scholar

[7]

Herrestad, Henning: 1990, Norms and Formalization, CompLex 12/90, TANO publishers, Oslo.

Google Scholar

[8]

Jones, Andrew J.i.: 1990, "Deontic Logic and Legal Knowledge Representation", Ratio Juris Vol. 3 No. 2 July 1990.

Google Scholar

[9]

Jones, A.J.I. & POrn, I: 1985, "Ideality, Sub-ldeality and Deontic Logic", Synthese 65.

Google Scholar

[10]

Jones, Andrew j.I. & P0rn,: 1986, "Ought and Must", Synthese 66.

Google Scholar

[11]

Kowalski, Robert: 1989, "The treatment of negation in logic programmes for representing legislation", ICAIL'89 proceedings, ACM press.

Digital Library

Google Scholar

[12]

Lewis, David:1974, "Scmantical Analysis for Dyadic Deontic Logic", in S. Stenlund (ed.), Logical Theory and Semantic Analysis, R~idel publ., D. Dordrecht, Holland.

Google Scholar

[13]

Loewer, Barry & Belzcr, Marvin: 1983, "Dyadic Deontic Detachment", Synthese 54.

Google Scholar

[14]

McCarty, L. Thorne: I983, "Permissions and Obligations", IJCAI'83 proceedings.

Digital Library

Google Scholar

[15]

McCarty, L. Thorne: 1986, "Permissions and Obligations - an informal introduction", in Martino A.A. & Socci N.F. (eds.), Automated Analysis of Legal Texts, North- Holland publishers, Amsterdam.

Google Scholar

[16]

Sergot, : 1982, "Prospects for Representing the Law as Logic Programs", Clark & Tamlund (eds), Logic Programming, Academic Press, London.

Google Scholar

[17]

Scrgot, : 1988, "Representing Legislation as Logic Programs", Machine Intelligence 11, Hayes J.E., Michie D., Richards J. (eds.), Oxford Univ. Press.

Digital Library

Google Scholar

[18]

Thomason, Richmond H.: 1981, "Deontic Logic as Founded on Tense Logic", Risto Hilpinen (ed), New Studies in Deontic Logic, Dordrecht.

Google Scholar

[19]

van Eck, Job A.: 1982, "A system of temporally relative modal and deontic predicate logic and its philosophical applications", Logique et Analyse 99.

Google Scholar

[20]

Wallen, Lincoln A.: 1987, Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics, Ph.D. thesis, Univ. of Edinburgh.

Digital Library

Google Scholar

[21]

qvist, Lennart & Hoepelman, Jaap' 1981, "Some Theorems About a "Tree" System of Deontic Tense Logic", Risto Hilpinen (ed), New Studies in Deontic Logic, Dordrecht.

Google Scholar

Cited By

View all

Governatori G(2024)An ASP Implementation of Defeasible Deontic LogicKI - Künstliche Intelligenz10.1007/s13218-024-00854-9Online publication date: 20-Jul-2024
https://doi.org/10.1007/s13218-024-00854-9
Purnell KSchwitter R(2023)Proceedings 39th International Conference on Logic ProgrammingElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.385.42385(387-389)Online publication date: 12-Sep-2023
https://doi.org/10.4204/EPTCS.385.42
Zasada AHashmi MFellmann MKnuplesch D(2023)Evaluation of Compliance Rule Languages for Modelling Regulatory Compliance RequirementsSoftware10.3390/software20100042:1(71-120)Online publication date: 28-Jan-2023
https://doi.org/10.3390/software2010004
Show More Cited By

Index Terms

Norms and formalization
1. Applied computing
  1. Law, social and behavioral sciences
    1. Law
2. Theory of computation
  1. Logic
  2. Models of computation
    1. Computability

Recommendations

Formalization of the Resolution Calculus for First-Order Logic

I present a formalization in Isabelle/HOL of the resolution calculus for first-order logic with formal soundness and completeness proofs. To prove the calculus sound, I use the substitution lemma, and to prove it complete, I use Herbrand interpretations ...
Self-Formalisation of Higher-Order Logic

We present a mechanised semantics for higher-order logic (HOL), and a proof of soundness for the inference system, including the rules for making definitions, implemented by the kernel of the HOL Light theorem prover. Our work extends Harrison's ...
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
Automated Deduction – CADE 29
Abstract
We present a uniform characterisation of three-valued logics by means of bisequent calculus (BSC). It is a generalised form of sequent calculus (SC) where rules operate on the ordered pairs of ordinary sequents. BSC may be treated as the weakest ...

Comments

Information & Contributors

Information

Published In

ICAIL '91: Proceedings of the 3rd international conference on Artificial intelligence and law

May 1991

309 pages

ISBN:089791399X

DOI:10.1145/112646

Chairman:
Richard Susskind

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 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

IEA/AEI-90

Sponsor:

SIGAI

IEA/AEI-90: 3rd International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems

Oxford, England

Acceptance Rates

Overall Acceptance Rate 69 of 169 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

26
Total Citations
View Citations
401
Total Downloads

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

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Governatori G(2024)An ASP Implementation of Defeasible Deontic LogicKI - Künstliche Intelligenz10.1007/s13218-024-00854-9Online publication date: 20-Jul-2024
https://doi.org/10.1007/s13218-024-00854-9
Purnell KSchwitter R(2023)Proceedings 39th International Conference on Logic ProgrammingElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.385.42385(387-389)Online publication date: 12-Sep-2023
https://doi.org/10.4204/EPTCS.385.42
Zasada AHashmi MFellmann MKnuplesch D(2023)Evaluation of Compliance Rule Languages for Modelling Regulatory Compliance RequirementsSoftware10.3390/software20100042:1(71-120)Online publication date: 28-Jan-2023
https://doi.org/10.3390/software2010004
Purnell KSchwitter R(2023)User-Guided Machine Understanding of Legal DocumentsNew Frontiers in Artificial Intelligence10.1007/978-3-031-36190-6_2(16-32)Online publication date: 19-Jul-2023
https://doi.org/10.1007/978-3-031-36190-6_2
Lam HHashmi M(2022)A Comparative Study of Compliance Management Frameworks: PENELOPE vs. PCLKnowledge10.3390/knowledge20400362:4(618-651)Online publication date: 16-Nov-2022
https://doi.org/10.3390/knowledge2040036
Governatori GBench-Capon TVerheij BAraszkiewicz MFrancesconi EGrabmair M(2022)Thirty years of Artificial Intelligence and Law: the first decadeArtificial Intelligence and Law10.1007/s10506-022-09329-430:4(481-519)Online publication date: 6-Sep-2022
https://doi.org/10.1007/s10506-022-09329-4
de Almeida Borges AConejero Rodríguez JFernández-Duque DGonzález Bedmar MJoosten J(2020)To Drive or Not to Drive: A Logical and Computational Analysis of European Transport RegulationsInformation and Computation10.1016/j.ic.2020.104636(104636)Online publication date: Nov-2020
https://doi.org/10.1016/j.ic.2020.104636
Das PIslam MGovernatori GHashem M(2019)Database Independent Analysis of Adverse Events Using Rule-Based Systems2019 International Conference on Electrical, Computer and Communication Engineering (ECCE)10.1109/ECACE.2019.8679284(1-6)Online publication date: Feb-2019
https://doi.org/10.1109/ECACE.2019.8679284
LAM HHASHMI M(2018)Enabling reasoning with LegalRuleMLTheory and Practice of Logic Programming10.1017/S1471068418000339(1-26)Online publication date: 14-Sep-2018
https://doi.org/10.1017/S1471068418000339
Islam MGovernatori G(2018)RuleRSArtificial Intelligence and Law10.1007/s10506-018-9218-026:4(315-344)Online publication date: 1-Dec-2018
https://dl.acm.org/doi/10.1007/s10506-018-9218-0
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

Formalization of the Resolution Calculus for First-Order Logic

Self-Formalisation of Higher-Order Logic

A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Formalization of the Resolution Calculus for First-Order Logic

Self-Formalisation of Higher-Order Logic

A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus

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

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations