| 关于择优蕴涵的悖论 |
| |
| 引用本文： | 程晓春,姜云飞.关于择优蕴涵的悖论[J].计算机研究与发展,1997,34(2):81-86. |
| |
| 作者姓名： | 程晓春 姜云飞 |
| |
| 作者单位： | 吉林大学计算机系 |
| |
| 摘 要： | 本文基于对蕴涵悖论的讨论，分析了已有非单调逻辑，次协调逻辑中择优蕴涵的合理性，发现由于这些择优蕴涵对结论缺少限制，从而不可避免地有从而不可避免地有蕴悖论。
|
| 关 键 词： | 优蕴涵 非单调逻辑 次协调逻辑 蕴涵悖论 |
PARADOXES ON PREFERENTIAL IMPLICATIONS |
| |
| CHENG Xiao,Chun,JIANG Yun,Fei.PARADOXES ON PREFERENTIAL IMPLICATIONS[J].Journal of Computer Research and Development,1997,34(2):81-86. |
| |
| Authors: | CHENG Xiao Chun JIANG Yun Fei |
| |
| Abstract: | Based on the discussion of implicational paradoxes,this paper analyzes the rationality of some preferential implications in nonmonotonic logic and paraconsistent logic.A new preferential implication,which is nonmonotonic,paraconsistent and without the general implicational paradoxes,is proposed by adding necessary restrictions on the consequent.The sound and complete decision TABLEAU of such implication is presented. |
| |
| Keywords: | preferential implication nonmonotonic logic paraconsistent logic implicational paradox TABLEAU |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
