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 条

[31] A LOGIC-BASED PROGRAM FOR SYNTHESIS DESIGN
HENDRICKSON, JB
GRIER, DL
TOCZKO, AG
JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, 1985, 107 (18) : 5228 - 5238
[32] New reasoning patterns in analogical legal case-based reasoning: An informal investigation
Roth, B
LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2000, 64 : 113 - 122
[33] Combining case-based reasoning and analogical reasoning in software design
Gomes, P
Pereira, FC
Seco, N
Paiva, P
Carreiro, P
Ferreira, JL
Bento, C
ARTIFICIAL INTELLIGENCE AND COGNITIVE SCIENCE, PROCEEDINGS, 2002, 2464 : 183 - 189
[34] Postulates for logic-based argumentation systems
Amgoud, Leila
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (09) : 2028 - 2048
[35] On the Equivalence of Logic-Based Argumentation Systems
Amgoud, Leila
Vesic, Srdjan
SCALABLE UNCERTAINTY MANAGEMENT, 2011, 6929 : 123 - 136
[36] On the Integration of Connectionist and Logic-Based Systems
Seda, Anthony Karel
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 161 : 109 - 130
[37] Postulates for logic-based argumentation systems
20143600038673
Amgoud, Leila, 1600, Elsevier Inc. (55):
[38] Product Design Thinking Mode Based on Analogical Reasoning
Yin Bi-ju
Xiong Yan
Li Yan
Li Xianglong
ADVANCES IN MECHATRONICS AND CONTROL ENGINEERING, PTS 1-3, 2013, 278-280 : 2265 - 2268
[39] Models of Possibilities Instead of Logic as the Basis of Human Reasoning
Johnson-Laird, P. N.
Byrne, Ruth M. J.
Khemlani, Sangeet S.
MINDS AND MACHINES, 2024, 34 (03)
[40] Reasoning about other agents: A plea for logic-based methods
Reich, W
JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2004, 7 (04):

← 1 2 3 4 5 →