版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:Laboratory for Knowledge Representation Problems Program Systems Institute of the USSR Academy of Sciences 152140 Pereslavl-Zalessky USSR
出 版 物:《ARTIFICIAL INTELLIGENCE》 (人工智能)
年 卷 期:1989年第38卷第2期
页 面:199-206页
核心收录:
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:We give an explicit description of fixed points for propositional theories in the nonmonotonic logic of McDermott and Doyle. Using this description we refute two claims from McDermott and Doyles original paper.