摘要
事实是逻辑程序的重要组成部分,事实维护影响着整个逻辑程序的一致性和完整性,并能够促进和完善规则维护。论文在分析了人工进行维护操作的弊端后,对事实维护中可能出现的情况进行分类分析,提出了事实维护系统的框架,重点描述了预警检测子系统所扮演的核心作用。
Facts are important components in logic programs.Facts Maintenance impacts programs and can accelerate rules maintenance.After discussing the disadvantages manually in this paper,we classify the facts maintenance and propose a framework of the forecast subsystem is narrated mainly. coherence and integrity of logic of maintaining logic programs facts maintenance.In this paper
出处
《计算机工程与应用》
CSCD
北大核心
2006年第9期16-18,37,共4页
Computer Engineering and Applications
基金
国家自然科学重大研究计划资助项目(编号:90204011)
国家自然科学基金资助项目(编号:60573038)
关键词
扩展逻辑程序
Smodel算法
事实维护
extended logic programs,stable model algorithms,facts maintenance
