论文部分内容阅读
针对缺省理论的一大热点问题一缺省扩充，将Grigoris Antonion的语义算子理论算法及V．W．Marek和M．Fruszcyuski的语构算法用于计算累积缺省逻辑(CDL)的扩充，系统地讨论了CDL及其新变种CADL与QDL的理论的扩充问题，从而使得具有累积性的缺省逻辑扩充的计算问题系统化，同时指出这两种方法可用于其他类型的缺省理论扩充的计算。