简介:Smeconceptsusedinknowledgebasemaintenace,suchassequence,newlaw,user'srejectionandreconstructionsofaknowledgebase,arefirstintroduced,andthenaframeworkforextendedlogicprogramming(ELP)isgiven,whereanextendedlogicprogramisequivalenttoaknowledgebase.AtransitionsystemcalledR-calculusforELPisprovided.Foragivenknowledgebaseandauser'srejection,theR-calculusforELPwilldeducebestrevisionsofthebase.ThesoundnessandthecompletenessoftheR-calculusforELPareproved,andtheR-calculusforELPisimplementedinProlog.Inaddition,theresearchiscomparedwithotherrelevantwork.
简介:随着信息技术的发展,互联网成为人们获取最新信息的重要方式。过去看电影,人们需要购买影碟,但随着互联网的视频影像技术的发展,人们已经可以从网络上直接观看影片了,不过,大部分的视频流影像往往因为高度压缩及低分辨率而呈现方块状。人们只能在很小的窗口内观看,否则图像会模糊成一块块的马赛克,根本无法观看。而且即使是