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 条
  • [21] Design of Fuzzy Logic-Based Controller for Nonlinear Power Systems
    Rekha
    Singh, A. K.
    SOFT COMPUTING IN DATA ANALYTICS, SCDA 2018, 2019, 758 : 285 - 296
  • [22] A logic-based formalism for reasoning about visual representations
    Haarslev, V
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1999, 10 (04): : 421 - 445
  • [23] A logic-based framework for reasoning support in software evolution
    Vescoukis, VC
    Papaspyrou, N
    Skordalakis, E
    ADVANCED INFORMATION SYSTEMS ENGINEERING, 1996, 1080 : 44 - 59
  • [24] Analogical reasoning in knowledge-based systems
    Zhou, HH
    CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, 1996, : 1136 - 1142
  • [25] Spectrum-Based Fault Localization for Logic-Based Reasoning
    Pill, Ingo
    Wotawa, Franz
    2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2018, : 192 - 199
  • [26] APPROXIMATE REASONING AS A BASIS FOR RULE-BASED EXPERT SYSTEMS.
    Yager, Ronald
    IEEE Transactions on Systems, Man and Cybernetics, 1984, SMC-14 (04): : 637 - 643
  • [27] A logic-based reasoning about PKI trust model
    El Bakkali, H
    Kaitouni, BI
    PROCEEDINGS OF THE SIXTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, 2001, : 42 - 48
  • [28] Collaborative learning with logic-based models
    Jakob, Michal
    Tozicka, Jan
    Pechoucek, Michal
    ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS, 2008, 4865 : 102 - 116
  • [29] Prototyping an expert system shell with the logic-based approach
    Kerdprasop, Nittaya
    Intharachatorn, Kanjana
    Kerdprasop, Kittisak
    International Journal of Smart Home, 2013, 7 (04): : 161 - 174
  • [30] Cognitive strategies of analogical reasoning in design: Differences between expert and novice designers
    Ozkan, Ozgu
    Dogan, Fehmi
    DESIGN STUDIES, 2013, 34 (02) : 161 - 192
12345