非单调数据库及其信念维护系统的研究与实现 |
| |
引用本文: | 怀进鹏.非单调数据库及其信念维护系统的研究与实现[J].高技术通讯,1994,4(12):16-21. |
| |
作者姓名: | 怀进鹏 |
| |
作者单位: | 北京航空航天大学计算机系 |
| |
基金项目: | 航空科学基金,国家自然科学基金 |
| |
摘 要: | 首先分析了当前数据库研究中闭世界假设的局限性,认为不完全信息处理与信息维护是研制智能系统的重要内容。然后提出了基于缺省理论与基于假设的真值维护系统(Assumption-basedTruthMaintenanceSystem,ATMS)的非单调数据库,建立了相应的模型,并简要介绍了关于ATMS推广到一阶Horn子句的思想。最后给出了我们研制的非单调数据库系统的结构、原理及部分实现机制。
|
关 键 词: | 非单调推理 信念维护 数据库 |
本文献已被 CNKI 维普 等数据库收录! |
|