Deontic relevant logic as the logical basis for representing and reasoning about legal knowledge in legal information systems

被引：0
作者：
Cheng, Jingde [1 ]
机构：
[1] Saitama Univ, Dept Informat & Comp Sci, Saitama 3388570, Japan
来源：
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS | 2008年 / 5178卷
关键词：
legal reasoning; knowledge representation; knowledge management; knowledge discovery; deontic logic; relevant logic;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
To represent and reason about various laws, legal rules, and precedents in legal information systems, we need a right fundamental logic system to provide us with a logical validity criterion of legal reasoning as well as a formal representation language. This position paper discusses why classical mathematical logic, its classical conservative extensions, or its non-classical alternatives are not suitable candidates for the fundamental logic, and shows that deontic relevant logic is a more hopeful candidate for the fundamental logic we need.
引用
收藏
页码：517 / 525
页数：9
相关论文
共 21 条
  • [1] Anderson A. R., 1975, Entailment: The Logic of Relevance and Necessity, VI
  • [2] Anderson A. R., 1992, Entailment: the Logic of Relevance and Necessity, VII
  • [3] Anderson B., 1996, Discovery in Legal Decision-Making
  • [4] Aqvist L., 2002, Handbook of Philosophical Logic, V8, P147
  • [5] CHENG J, 2006, P 21 ANN ACM S APPL, P319
  • [6] Cheng JD, 2000, FR ART INT, V61, P136
  • [7] Dunn M., 2002, Handbook of Philosophical Logic, P1
  • [8] HAGE J, 2005, STUDIES LEGAL LOGIC
  • [9] HAGE JC, 2002, REASONING RULES ESSA
  • [10] Hilpinen R., 2001, BLACKWELL GUIDE PHIL, P159
123