逻辑程序的事实维护

• 作者: 梁意文 董红斌 谭成予 钱立进
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 扩展逻辑程序 Smodel算法 事实维护
• 年，卷（期）: 2006,（9）
• 所属期刊栏目: 博士论坛
• 页码范围: 16-18,37
• 页数: 4页
• 分类号: TP311
• 字数: 4296字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.09.006

摘要

事实是逻辑程序的重要组成部分,事实维护影响着整个逻辑程序的一致性和完整性,并能够促进和完善规则维护.论文在分析了人工进行维护操作的弊端后,对事实维护中可能出现的情况进行分类分析,提出了事实维护系统的框架,重点描述了预警检测子系统所扮演的核心作用.