Legal linguistic templates and the tension between legal knowledge representation and reasoning

被引：0
|
作者：
Libal, Tomer [1 ]
机构：
[1] Univ Luxembourg, Dept Comp Sci, Luxembourg, Luxembourg
来源：
FRONTIERS IN ARTIFICIAL INTELLIGENCE | 2023年 / 6卷
关键词：
automated reasoning; formal representation; knowledge validation; legal informatics; domain specific language; reverse translations; LOGIC;
D O I：
10.3389/frai.2023.1136263
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
There is an inherent tension between knowledge representation and reasoning. For an optimal representation and validation, an expressive language should be used. For an optimal automated reasoning, a simple one is preferred. Which language should we choose for our legal knowledge representation if our goal is to apply automated legal reasoning? In this paper, we investigate the properties and requirements of each of these two applications. We suggest that by using Legal Linguistic Templates, one can solve the above tension in some practical situations.
引用
收藏
页数：16
相关论文
共 37 条
  • [1] Legal Representation and Reasoning in Practice: A Critical Comparison
    Batsakis, Sotiris
    Baryannis, George
    Governatori, Guido
    Tachmazidis, Ilias
    Antoniou, Grigoris
    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS (JURIX 2018), 2018, 313 : 31 - 40
  • [2] On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation
    Hajime Yoshino
    Artificial Intelligence and Law, 1997, 5 (1-2) : 77 - 96
  • [3] Deontic Ambiguities in Legal Reasoning
    Governatori, Guido
    Rotolo, Antonino
    PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND LAW, ICAIL 2023, 2023, : 91 - 100
  • [4] Defeasible reasoning with legal conditionals
    Gazzo Castaneda, Lupita Estefania
    Knauff, Markus
    MEMORY & COGNITION, 2016, 44 (03) : 499 - 517
  • [5] Abductive Reasoning as a Logic Tool for Production of New Knowledge in Comparative Legal Science
    Gianti, Davide
    INTERNATIONAL JOURNAL FOR THE SEMIOTICS OF LAW-REVUE INTERNATIONALE DE SEMIOTIQUE JURIDIQUE, 2025, 38 (01): : 177 - 195
  • [6] Legal Reasoning in Answer Set Programming
    Aravanis, Theofanis
    Demiris, Konstantinos
    Peppas, Pavlos
    2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 302 - 306
  • [7] COMPUTERS AND LEGAL REASONING - DEVELOPMENTS IN GERMANY
    FIEDLER, H
    COMPUTERS AND THE HUMANITIES, 1991, 25 (2-3): : 141 - 147
  • [8] Deontic Closure and Conflict in Legal Reasoning
    Governatori, Guido
    Mullins, Robert
    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS (JURIX 2019), 2019, 322 : 181 - 186
  • [9] Linguistic Legal Concept Extraction in Portuguese
    Cid, Alessandra
    Rademaker, Alexandre
    Cuconato, Bruno
    de Paiva, Valeria
    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS (JURIX 2018), 2018, 313 : 181 - 185
  • [10] A Formal Framework for Combining Legal Reasoning Methods
    Prakken, Henry
    Sartor, Giovanni
    PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND LAW, ICAIL 2023, 2023, : 227 - 236
1234