逻辑程序的事实维护  

Facts Maintenance in Logic Programs

作　　者：谭成予[1] 董红斌[1] 梁意文[1] 钱立进[1] 

机构地区：[1]武汉大学软件工程国家重点实验室/计算机学院,武汉430072

出　　处：《计算机工程与应用》2006年第9期16-18,37,共4页Computer Engineering and Applications

基　　金：国家自然科学重大研究计划资助项目(编号:90204011);国家自然科学基金资助项目(编号:60573038)

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

关 键 词：扩展逻辑程序 Smodel算法 事实维护 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]