| DKLFRS:A Default Knowledge Logical Framework Representation System |
| |
| 引用本文： | Fan Zhongchun,Xing Hancheng. DKLFRS:A Default Knowledge Logical Framework Representation System[J]. 计算机科学技术学报, 1992, 7(2): 136-142. DOI: 10.1007/BF02945767 |
| |
| 作者姓名： | Fan Zhongchun Xing Hancheng |
| |
| 作者单位： | [1]Dept.ofMaths.＆Computer,NanjingNormalUniversity,Nanjing210024 [2]Dept.ofComputerScience,SoutheastUniversi |
| |
| 摘 要： | The traditional resasoning system based on first order predicate logic can‘t represent and handle default knowledge,This paper presents a logical framework representation approach for default reasoning.Based on Mixed SLDNF-resolution,a nonmonotonic reasoning system has been constructed.
|
| 关 键 词： | 人工智能 推理系统 缺席知识逻辑主机表示系统 DKLFRS |
DKLFRS: A default knowledge logical framework representation system |
| |
| Zhongchun Fan,Hancheng Xing. DKLFRS: A default knowledge logical framework representation system[J]. Journal of Computer Science and Technology, 1992, 7(2): 136-142. DOI: 10.1007/BF02945767 |
| |
| Authors: | Zhongchun Fan Hancheng Xing |
| |
| Affiliation: | Dept.of Maths.& Computer Nanjing Normal University; Nanjing; Dept.of Computer Science; Southeast University; |
| |
| Abstract: | The traditional reasoning system based on first order predicate logic can’t represent and handle default knowledge. This paper presents a logical framework representation approach for default reasoning. Based on Mixed SLDNF-resolution, a nonmonotonic reasoning system has been constructed. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载免费的PDF全文 |
