论文研究-Annotated Default Logic.pdf

【文件属性】：

文件名称：论文研究-Annotated Default Logic.pdf

文件大小：172KB

文件格式：PDF

更新时间：2022-09-06 22:30:43

Default Logic

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