| 经验逻辑：一种非单调逻辑的统一形式 |
| |
| 引用本文： | 林作铨.经验逻辑：一种非单调逻辑的统一形式[J].计算机学报,1993,16(8):568-576. |
| |
| 作者姓名： | 林作铨 |
| |
| 作者单位： | 国家智能计算机研究开发中心 北京 |
| |
| 基金项目： | 国家高技术八六三计划资助 |
| |
| 摘 要： | 人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的。因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。
|
| 关 键 词： | 模态逻辑 非单调逻辑 经验逻辑 |
EXPERIENTIAL LOGIC:A UNIFIED FORM OF NONMONOTONIC LOGICS |
| |
| Lin ZuoquanNational Research Center for intelligent Computing Systems,Beijing Dept. of Computer Science,Shantou University,Shantou.EXPERIENTIAL LOGIC:A UNIFIED FORM OF NONMONOTONIC LOGICS[J].Chinese Journal of Computers,1993,16(8):568-576. |
| |
| Authors: | Lin ZuoquanNational Research Center for intelligent Computing Systems Beijing Dept of Computer Science Shantou University Shantou |
| |
| Affiliation: | Lin ZuoquanNational Research Center for intelligent Computing Systems,Beijing 100080 Dept. of Computer Science,Shantou University,Shantou 515063 |
| |
| Abstract: | Human commonsense reasoning is a kind of cumulative process of experiential knowledge,and the experiential reasoning is nonmonotonic.This paper proposes a logic on typicality and exception,studies its nature of nonmonotonicity.It provides a uniform basis for existing major nonmonotonic logics.The results are obtained by translating them all into the experiential logic via some similar rules.The experiential logic therefore provides a class of more intuitive and general nonmonotonic formalisms. |
| |
| Keywords: | modal logic nonmonotonic logic minimal models |
| 本文献已被 CNKI 维普 等数据库收录！ |
