LOGIC-BASED MODELS OF ANALOGICAL REASONING - A FUNDAMENTAL BASIS FOR THE DESIGN OF LEGAL EXPERT SYSTEMS

被引：1
|
作者：
BAAZ, M [1 ]
QUIRCHMAYR, G [1 ]
机构：
[1] JOHANNES KEPLER UNIV,INST INFORMAT,A-4040 LINZ,AUSTRIA
来源：
EXPERT SYSTEMS WITH APPLICATIONS | 1992年 / 4卷 / 04期
关键词：
D O I：
10.1016/0957-4174(92)90130-K
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Traditional approaches in the domain of legal expert systems do largely neglect the importance of analogy and the weight of decisions. That is why this paper is focussing on a formal model of Reasoning by Analogy based on Gentzen's sequent calculus LK, which is then used to develop a formal representation of the evolutionary development of law.
引用
收藏
页码：369 / 378
页数：10
相关论文
共 50 条
  • [1] LOGIC-BASED APPROACH TO EXPERT SYSTEMS IN CHEMISTRY
    AKUTSU, T
    SUZUKI, E
    OHSUGA, S
    KNOWLEDGE-BASED SYSTEMS, 1991, 4 (02) : 103 - 116
  • [2] A logic-based approach to rule induction in expert systems
    Mak, B
    Blanning, R
    EXPERT SYSTEMS, 2003, 20 (03) : 141 - 149
  • [3] Logic-Based Representation and Reasoning for User Modeling Shell Systems
    Wolfgang Pohl
    User Modeling and User-Adapted Interaction, 1999, 9 : 217 - 282
  • [4] Logic-based representation and reasoning for user modeling shell systems
    Pohl, W
    USER MODELING AND USER-ADAPTED INTERACTION, 1999, 9 (03) : 217 - 282
  • [5] Logic-based Reasoning Support for SBVR
    Solomakhin, Dmitry
    Franconi, Enrico
    Mosca, Alessandro
    FUNDAMENTA INFORMATICAE, 2013, 124 (04) : 543 - 560
  • [6] An Educational Platform for Logic-based Reasoning
    Arampatzis, Dimitrios
    Doulgeraki, Maria
    Giannoulis, Michail
    Stefanidi, Evropi
    Patkos, Theodore
    ERCIM NEWS, 2020, (120): : 16 - 17
  • [7] Logic-based reasoning on delegatable authorizations
    Ruan, C
    Varadharajan, V
    Zhang, Y
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 185 - 193
  • [8] How Expert is EXPERT for Fuzzy Logic-Based System!
    Bhole, Kalyani
    Agashe, Sudhir
    Wadgaonkar, Jagannath
    INTERNATIONAL PROCEEDINGS ON ADVANCES IN SOFT COMPUTING, INTELLIGENT SYSTEMS AND APPLICATIONS, ASISA 2016, 2018, 628 : 29 - 36
  • [9] ANALOGICAL REASONING FOR 2ND GENERATION EXPERT SYSTEMS
    POETSCHKE, D
    ANALOGICAL AND INDUCTIVE INFERENCE /, 1989, 397 : 264 - 276
  • [10] Uncertain Logic Processing: logic-based inference and reasoning using Dempster-Shafer models
    Nunez, Rafael C.
    Murthi, Manohar N.
    Premaratne, Kamal
    Scheutz, Matthias
    Bueno, Otavio
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2018, 95 : 1 - 21
12345