Skip to main content
SpringerLink
Log in

PROLEG: Practical Legal Reasoning System

  • Chapter
  • First Online:
Prolog: The Next 50 Years

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 13900))

Abstract

This paper introduces a legal knowledge representation language, PROLEG. PROLEG rules are general rules in the form of Horn clauses and special meta-prediate expressing exceptions. Exceptions are introduced to express negative information in stead of “negation as failure”. It is because reasoning pattern of general rules and exceptions fits lawyers’ reasoning and therefore lawyers understand PROLEG easily. We firstly give the definition of syntax and semantics of PROLEG and show an application for legal reasoning.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    You can see the demo video at

    http://research.nii.ac.jp/~ksatoh/PROLEGdemo/IssueArrangmentDemo.mp4.

References

  1. Fungwacharakorn, W., Tsushima, K., Satoh, K.: On the legal debugging in PROLEG program. In: Advances in Intelligent Systems and Computing, vol. 1357, pp. 25–36 (2021). https://doi.org/10.1007/978-3-030-73113-7_3

  2. Navas-Loro, M., Satoh, K., Rodríguez-Doncel, V.: ContractFrames: bridging the gap between natural language and logics in contract law. In: Kojima, K., Sakamoto, M., Mineshima, K., Satoh, K. (eds.) JSAI-isAI 2018. LNCS (LNAI), vol. 11717, pp. 101–114. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-31605-1_9

    Chapter  Google Scholar 

  3. Nguyen, H.T., Fungwacharakorn, W., Nishino, F., Satoh, K.: A multi-step approach in translating natural language into logical formulas. In: Proceedings of the 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022), pp. 103–112 (2022). https://doi.org/10.3233/FAIA220453

  4. Nguyen, H.T., Nishino, F., Fujita, M., Satoh, K.: An interactive natural language interface for PROLEG. In: Proceedings of the 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022), pp. 294–297 (2022). https://doi.org/10.3233/faia220484

  5. Nishigai, Y., Satoh, K.: Programming of “Japanese presupposed ultimate fact theory” in criminal law using PROLEG (in Japanese). Inf. Network Law Rev. 19, 81–120 (2021). https://doi.org/10.34374/inlaw.19.0_81

  6. Nishioka, S., Satoh, K., Mori, Y.: Consumer dispute resolution system based on PROLEG. In: Proceedings of the 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022), pp. 298–301 (2022). https://doi.org/10.3233/FAIA220485

  7. Satoh, K., et al.: PROLEG: an implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology. In: Onada, T., Bekki, D., McCready, E. (eds.) JSAI-isAI 2010. LNCS (LNAI), vol. 6797, pp. 153–164. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25655-4_14

    Chapter  Google Scholar 

  8. Satoh, K., Giordano, L., Baldoni, M.: Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter. In: Baroni, P., Benzmüller, C., Wáng, Y.N. (eds.) CLAR 2021. LNCS (LNAI), vol. 13040, pp. 60–75. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-89391-0_4

    Chapter  MATH  Google Scholar 

  9. Satoh, K., Kogawa, T., Okada, N., Omori, K., Omura, S., Tsuchiya, K.: On generality of PROLEG knowledge representation. In: Proceedings of the 6th International Workshop on Juris-informatics (JURISIN 2012), pp. 115–128 (2012a)

    Google Scholar 

  10. Satoh, K., Kubota, M., Nishigai, Y., Takano, C.: Translating the Japanese presupposed ultimate fact theory into logic programming. In: Proceedings of the 22nd Annual Conference on Legal Knowledge and Information Systems (JURIX 2009), pp. 162–171 (2009). https://doi.org/10.3233/978-1-60750-082-7-162

  11. Satoh, K., Takahashi, K., Kawasaki, T.: Interactive system for arranging issues based on PROLEG in civil litigation. In: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law (ICAIL 2021), pp. 273–274 (2021). https://doi.org/10.1145/3462757.3466096

  12. Sawasaki, T., Troussel, A., Satoh, K.: A use case on GDPR of Modular-PROLEG for private international law. In: Proceedings of the 3th International Workshop on Artificial Intelligence Technologies for Legal Documents (AI4LEGAL 2022), pp. 1–11 (2022)

    Google Scholar 

  13. Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The british nationality act as a logic program. Commun. ACM 29(5), 370–386 (1986). https://doi.org/10.1145/5689.5920

    Article  Google Scholar 

Download references

Acknowledgements

This research was supported by JSPS KAKENHI Grant Numbers, JP17H06103, JP19H05470 and JP22H00543, and JST, AIP Trilateral AI Research, Grant Number JPMJCR20G4, Japan.

Author information

Authors and Affiliations

  1. National Institute of Informatics, 2-1-2, Hitotsubashi, Chiyoda-ku, Tokyo, Japan

    Ken Satoh

Authors
  1. Ken Satoh
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ken Satoh .

Editor information

Editors and Affiliations

  1. Stony Brook University, Stony Brook, NY, USA

    David S. Warren

  2. Simon Fraser University, Burnaby, BC, Canada

    Veronica Dahl

  3. TU Wien, Vienna, Austria

    Thomas Eiter

  4. Universidad Politecnica de Madrid/IMDEA Software Institute, Madrid, Spain

    Manuel V. Hermenegildo

  5. Imperial College London, London, UK

    Robert Kowalski

  6. IBM Research, Yorktown Heights, NY, USA

    Francesca Rossi

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Satoh, K. (2023). PROLEG: Practical Legal Reasoning System. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M.V., Kowalski, R., Rossi, F. (eds) Prolog: The Next 50 Years. Lecture Notes in Computer Science(), vol 13900. Springer, Cham. https://doi.org/10.1007/978-3-031-35254-6_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-35254-6_23

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-35253-9

  • Online ISBN: 978-3-031-35254-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation