论文研究Annotated Default Logic.pdf
标记缺省逻辑，林作铨，，在Reiter的缺省逻辑中,一个缺省理论可以有0个或多个扩张,并且有包含一切的平凡扩张。扩张的这些性质表明了缺省逻辑不能用来处理缺省
标记缺省逻辑，林作铨，，在Reiter的缺省逻辑中,一个缺省理论可以有0个或多个扩张,并且有包含一切的平凡扩张。扩张的这些性质表明了缺省逻辑不能用来处理缺省