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 条

[31] Some research lines in legal knowledge management: semantic web, ODR and relational law [J].

Casanovas, Pompeu .

SCIRE-REPRESENTACION Y ORGANIZACION DEL CONOCIMIENTO, 2012, 18 (01) :15-28

[32] Decision Implication-Based Knowledge Representation and Reasoning Within Incomplete Fuzzy Formal Context [J].

Zhang, Shaoxia .

INTERNATIONAL JOURNAL OF FUZZY SYSTEMS, 2024, 26 (06) :2058-2073

[33] The Concurrence Between Expressions and Logic in the History of Legal Theory: Are 'Amm Expressions Universal? [J].

Evduzen, Osman Said .

NAZARIYAT-JOURNAL FOR THE HISTORY OF ISLAMIC PHILOSOPHY AND SCIENCES, 2023, 9 (01) :1-36

[34] Between Reason and Law: The Role of Logic in Legal Science. From Glossa to Computer [J].

Errera, Andrea .

REVISTA DE DERECHO PRIVADO, 2020, (38) :17-47

[35] A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri nets [J].

Ribaric, Slobodan ;

Hrkac, Tomislav .

INFORMATION SYSTEMS, 2012, 37 (03) :238-256

[36] Pharmacogenomic knowledge representation, reasoning and genome-based clinical decision support based on OWL 2 DL ontologies [J].

Samwald, Matthias ;

Gimenez, Jose Antonio Minarro ;

Boyce, Richard D. ;

Freimuth, Robert R. ;

Adlassnig, Klaus-Peter ;

Dumontier, Michel .

BMC MEDICAL INFORMATICS AND DECISION MAKING, 2015, 15

[37] Pharmacogenomic knowledge representation, reasoning and genome-based clinical decision support based on OWL 2 DL ontologies [J].

Matthias Samwald ;

Jose Antonio Miñarro Giménez ;

Richard D Boyce ;

Robert R Freimuth ;

Klaus-Peter Adlassnig ;

Michel Dumontier .

BMC Medical Informatics and Decision Making, 15

← 1 2 3 4 →