论西方可废止性道义逻辑的形式化研究及其存在的问题

摘要：

@@ 道义逻辑和非单调逻辑是在不同的学科内根据不同的原因产生和发展的,分属两种不同的逻辑.但受人工智能理论的启发,西方研究人工智能的专家和逻辑学家逐渐认识到道义理论和非单调推理之间有很大的关系,把两者结合起来研究,不但可以解决道义逻辑中的令人棘手的悖论问题,还可以为道义逻辑提供更为完美的理论框架.于是,在道义逻辑的研究中出现了一种新的方向:与非单调推理相结合,建立具有可废止性的(defeasible)道义逻辑系统.目前,国内关于这方面的研究较为陌生,所以我们从语形和语义两个角度对西方可废止性道义逻辑的形式化研究给出系统的分析,希望能够引起更多学者的关注.

机标关键词：可废止性、道义逻辑、形式化、存在的问题

分类号：B81(逻辑学(论理学))

在线出版日期：2006-04-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：50-54