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 条
  • [41] LARS: A Logic-Based Framework for Analyzing Reasoning over Streams
    Beck, Harald
    Minh Dao-Tran
    Eiter, Thomas
    Fink, Michael
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1431 - 1438
  • [42] Temporal Logic-based Reasoning About iBGP Multipath Dissemination
    Wang, Feng
    2013 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), 2013, : 2089 - 2095
  • [43] Reasoning about other agents: A plea for logic-based methods
    Reich, W
    JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2004, 7 (04):
  • [44] Reasoning about conversation protocols in a logic-based agent language
    Baldoni, M
    Baroglio, C
    Martelli, A
    Patti, V
    AI(ASTERISK)IA 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2003, 2829 : 300 - 311
  • [45] A Logic-Based Framework for Reasoning about Composite Data Structures
    Bouajjani, Ahmed
    Dragoi, Cezara
    Enea, Constantin
    Sighireanu, Mihaela
    CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 178 - +
  • [46] Logic-based representation and reasoning about knowledge of constrained resources
    Ryu, YU
    KNOWLEDGE-BASED SYSTEMS, 1997, 10 (02) : 71 - 80
  • [47] LARS: A Logic-based framework for Analytic Reasoning over Streams
    Beck, Harald
    Minh Dao-Tran
    Eiter, Thomas
    ARTIFICIAL INTELLIGENCE, 2018, 261 : 16 - 70
  • [48] Semantic reconciliation across design and manufacturing knowledge models: A logic-based approach
    Chungoora, N.
    Young, R. I. M.
    APPLIED ONTOLOGY, 2011, 6 (04) : 295 - 315
  • [49] MODELS FOR REASONING WITH MULTITYPE UNCERTAINTY IN EXPERT SYSTEMS
    VANDERLUBBE, JCA
    BACKER, E
    KRIJGSMAN, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 521 : 377 - 392
  • [50] COMPUTATIONAL MODELS OF UNCERTAINTY REASONING IN EXPERT SYSTEMS
    BALDWIN, JF
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1990, 19 (11) : 105 - 119
12345