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 条

[21] A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective
Eiter, Thomas
Kern-Isberner, Gabriele
KUNSTLICHE INTELLIGENZ, 2019, 33 (01): : 9 - 33
[22] Development of Reasoning Techniques on Knowledge Representation Model COKB and Applications
Do, Nhon V.
Mai, Thanh T.
2016 EIGHTH INTERNATIONAL CONFERENCE ON KNOWLEDGE AND SYSTEMS ENGINEERING (KSE), 2016, : 169 - 174
[23] A Linguistic Approach of Knowledge Representation With Both Negative and Positive Factors
Wang, Yingxin
Zhang, Yunxia
Wu, Xiaochang
Zou, Li
PROCESSING OF 2014 INTERNATIONAL CONFERENCE ON MULTISENSOR FUSION AND INFORMATION INTEGRATION FOR INTELLIGENT SYSTEMS (MFI), 2014,
[24] 7 LAYERS OF KNOWLEDGE REPRESENTATION AND REASONING IN SUPPORT OF SOFTWARE-DEVELOPMENT
RICH, C
FELDMAN, YA
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (06) : 451 - 469
[25] Lobbying versus litigation: political and legal strategies of interest representation in the European Union
Bouwen, Pieter
McCown, Margaret
JOURNAL OF EUROPEAN PUBLIC POLICY, 2007, 14 (03) : 422 - 443
[26] THE RECOMMENDATION SYSTEM KNOWLEDGE REPRESENTATION AND REASONING PROCEDURES UNDER UNCERTAINTY FOR METAL CASTING
Kluska-Nawarecka, S.
Nawarecki, E.
Sniezynski, B.
Wilk-Kolodziejczyk, D.
METALURGIJA, 2015, 54 (01): : 263 - 266
[27] P then Q. Logic, instantiation and norm: the importance of logic in the legal reasoning, and the judicial practice
Guette Hernandez, David Modesto
REVISTA DE FILOSOFIA UIS, 2019, 18 (02): : 207 - 233
[28] The role of interaction histories in mental model building and knowledge sharing in the legal domain
Komlodi, A
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (05): : 557 - 566
[29] Conceptual graph-based knowledge representation for supporting reasoning in African traditional medicine
Kamsu-Foguem, Bernard
Diallo, Gayo
Foguem, Clovis
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2013, 26 (04) : 1348 - 1365
[30] Knowledge representation and reasoning using interconnected uncertain rules for describing workflows in complex systems
Popescu, Dragos Constantin
Dumitrache, Ioan
INFORMATION FUSION, 2023, 93 : 412 - 428

← 1 2 3 4 →