摘要
G.Brewka presented a modified default logic (CDL) and obtained some properties of CDL,such as the existence of extensions,semimonotonicity,which the Reiters normal default logic shares.The Reiter’s default has been generalized,a default logic about assertion’s has been obtained,and the assertion that the Brewka’s CDL is a special normal default logic of the new version has been proved.
G.Brewka presented a modified default logic (CDL) and obtained some properties of CDL,such as the existence of extensions,semimonotonicity,which the Reiters normal default logic shares.The Reiter's default has been generalized,a default logic about assertion's has been obtained,and the assertion that the Brewka's CDL is a special normal default logic of the new version has been proved.
基金
Project supported by the High Technology Research and Development Program of China.
