| 关于条件蕴涵的一个注记(英文) |
| |
| 引用本文： | 朱朝晖,李斌,陈世福,朱梧槚.关于条件蕴涵的一个注记(英文)[J].南京航空航天大学学报(英文版),2001,18(1). |
| |
| 作者姓名： | 朱朝晖 李斌 陈世福 朱梧槚 |
| |
| 作者单位： | 1. 南京航空航天大学信息科学与技术学院
2. 南京大学 |
| |
| 基金项目： | 国家自然科学基金 (编号 :69875 0 0 7)，江苏省自然科学基金 (编号 :BK99119)资助项目~~ |
| |
| 摘 要： | 非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于 Friedman与Halpern提出的 PS(Plausibility space)概念 ,探讨了具有非单调特性的条件蕴涵的性质 ,刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征
|
| 关 键 词： | 常识推理 人工智能 知识表示 非单调逻辑 条件逻辑 |
A NOTE ON CONDITIONAL IMPLICATION |
| |
| ZHU Zhaohui,Li Bin,Chen Shifu,Zhu Wujia.A NOTE ON CONDITIONAL IMPLICATION[J].Transactions of Nanjing University of Aeronautics & Astronautics,2001,18(1). |
| |
| Authors: | ZHU Zhaohui Li Bin Chen Shifu Zhu Wujia |
| |
| Institution: | Zhu Zhaohui~1) Li Bin~1) Chen Shifu ~2) Zhu Wujia~1) 1) College of Information Science and Technology,NUAA29 Yudao Street,Nanji ng 210016,P.R.China 2) State Key Lab of Novel Software Technology,Nanjing University,Nanjing 210093,P.R.China) |
| |
| Abstract: | It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations. |
| |
| Keywords: | commonsense reasoning artifical intelligence knowledge representation nonmonotonic logic conditiona l logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
