CONDITIONAL DEONTIC LOGIC AUGMENTED WITH DEFEASIBLE REASONING

被引:6
作者
RYU, YU
机构
关键词
DEFEASIBLE REASONING; DEONTIC LOGIC; NORMATIVE REASONING; NONMONOTONIC LOGIC;
D O I
10.1016/0169-023X(95)00008-G
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Deontic logic, developed as a logic of normative reasoning, is often too rigid to be applied to practical normative systems. First, it fails to reason about situations in the presence of deontic conflicts. Also, it suffers from various logical paradoxes. A possible approach to solve problems of deontic conflicts is to establish preference hierarchies of norms and reasoning about the nonmonotonicity. This paper provides a mechanism to establish such hierarchies and augments conditional deontic logic with defeasible reasoning in order to maintain consistency in the presence of deontic conflicts and resolve deontic paradoxes.
引用
收藏
页码:73 / 91
页数:19
相关论文
共 39 条
[1]  
Alchourron, Bulygin, Normative Systems, (1971)
[2]  
Alchourron, Makinson, Hierarchies of regulations and their logic, New Studies in Deontic Logic, pp. 125-148, (1981)
[3]  
Apt, Introduction to logic programming, Technical Report TR-87-35, (1988)
[4]  
Belzer, Legal reasoning in 3-D, Proc. First Int. Conf. on Artificial Intelligence and Law, (1987)
[5]  
Bonevac, Deduction: Introductory Symbolic Logic, (1987)
[6]  
Causey, EVID: A system for interactive defeasible reasoning, Decision Support Syst., 11, 2, pp. 103-131, (1994)
[7]  
Chisholm, Contrary-to-duty imperatives and deontic logic, Analysis, 24, 2, pp. 33-36, (1963)
[8]  
Cuppens, Roles and deontic logic, Proc. Second Int. Workshop on Deontic Logic in Computer Science, pp. 86-106, (1994)
[9]  
Dworkin, Is law a system of rules?, The Philosophy of Law, (1977)
[10]  
Follesdal, Hilpinen, Deontic logica: An introduction, Deontic Logic: Introductory and Systematic Readings, (1971)