计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
9期
16-18,37
,共4页
谭成予%董红斌%梁意文%钱立进
譚成予%董紅斌%樑意文%錢立進
담성여%동홍빈%량의문%전립진
扩展逻辑程序%Smodel算法%事实维护
擴展邏輯程序%Smodel算法%事實維護
확전라집정서%Smodel산법%사실유호
事实是逻辑程序的重要组成部分,事实维护影响着整个逻辑程序的一致性和完整性,并能够促进和完善规则维护.论文在分析了人工进行维护操作的弊端后,对事实维护中可能出现的情况进行分类分析,提出了事实维护系统的框架,重点描述了预警检测子系统所扮演的核心作用.
事實是邏輯程序的重要組成部分,事實維護影響著整箇邏輯程序的一緻性和完整性,併能夠促進和完善規則維護.論文在分析瞭人工進行維護操作的弊耑後,對事實維護中可能齣現的情況進行分類分析,提齣瞭事實維護繫統的框架,重點描述瞭預警檢測子繫統所扮縯的覈心作用.
사실시라집정서적중요조성부분,사실유호영향착정개라집정서적일치성화완정성,병능구촉진화완선규칙유호.논문재분석료인공진행유호조작적폐단후,대사실유호중가능출현적정황진행분류분석,제출료사실유호계통적광가,중점묘술료예경검측자계통소분연적핵심작용.