限定缺省证明和限定扩充计算.pdfVIP

李尚奋 林i目晾 汕头大学，jl【l头市大学路，sls063，sfli甑ail9en．seu．e血．∞ 搬：本文介绍了饿省逻辑的变形之·——酋I矗纬酗耵翻葺，并在此基础巴深^讨论了限定缺省证明和限定扩了l泊g计算。 ⅡSha蜘uILShu帆 Cb田p岫叮D印盯嘲捌l咖IUI吐v∞时靳枷m51506a．mLC 0f ^_峨憾n雌挑啪位∞m删Iled出血出10画c4澉酬y lo霉k柚d曲e伽皿p蚰唱0f曲珊捆d删exp龃s‰． 啪z_icz在1988年提出的。胁tified Def“1t №icl强及Jam 出的各种缺省逻辑。其中限定缺省逻辑基于全局相窑蓉件目形式碡睦，具有较好的性质。 首先，直觉t需受二{恰曷的相容，即构睦—扩充廖}怍出的所有假设(缺省条件)以及得出的结论必须可 满足。Delgr缸睫等人透过}IA扩充E的限定集c来记录陶造扩充所作的假没和得出的结论。通过考察限定集 c的相容性来达到全局相容的要求，下图反