1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究Annotated Default Logic.pdf

论文研究Annotated Default Logic.pdf

上传者: 2020-05-16 00:09:47上传 PDF文件 172.11KB 热度 18次
标记缺省逻辑,林作铨,,在Reiter的缺省逻辑中,一个缺省理论可以有0个或多个扩张,并且有包含一切的平凡扩张。扩张的这些性质表明了缺省逻辑不能用来处理缺省
用户评论