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] Nonmonotonic temporal reasoning: A logic-based approach to declarative modeling
    Macnish, CK
    CYBERNETICS AND SYSTEMS, 1998, 29 (05) : 425 - 459
  • [42] 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
  • [43] Temporal Logic-based Reasoning About iBGP Multipath Dissemination
    Wang, Feng
    2013 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), 2013, : 2089 - 2095
  • [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] Quantitative Claim-Centric Reasoning in Logic-Based Argumentation
    Hecher, Markus
    Mahmood, Yasir
    Meier, Arne
    Schmidt, Johannes
    PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, 2024, : 3404 - 3412
  • [49] 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
  • [50] MODELS FOR REASONING WITH MULTITYPE UNCERTAINTY IN EXPERT SYSTEMS
    VANDERLUBBE, JCA
    BACKER, E
    KRIJGSMAN, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 521 : 377 - 392
12345