Characterizations and Algorithms of Extensionsfor CADL and QDL
张明义, 张颖 · 1999
Recently,Giordano and Martelli (1994) proposed two new cumulative variants of Reiter's default logic(DL):Commitment to Assumptions Default Logic (CADL) and Quasi-Default Logic(QDL).They have only given quasi-inductive characterizations of extensions for the two variants.In this paper,finite characterizations of extensions for CADL and QDL by applying notions of(joint) compatibility are presented respectively.And corresponding algorithms and complexity resuts for reasoning are obtained.