【一个缺省推理系统DERESYL的设计与实现】.pdf

浙江大学研究生学位论文用纸P.摘要近年来,缺辑—种由R.Rt机芳先提出的非涸辑,已愈来愈受到人们的注意。但是,由手各种用难,基于这种辑的推理统却很少见到.本文介绍了一个基于有限半正规缺省理论的缺者推理争统 DERESY上,详细地描述了它的结构.功能.设计和实现,其中也夫杂着不少你有本人的看法。该争统通过推理回答闭户的询问,在推理过程中随时记录一些有用的结果并能充分利用的记绿的结果必要时柔统还与用户对活以帮助选择合远的抄张.在介绍了象统之后.给出了几个三行实例.讨论了一些与DERESY 有关的问题,最后提了一些尚待解决的问题.

浙江大学研究生学位论文用纸 P 目录 1论 S2.几种主要的非单调推王理 S3.R.Reith的缺有理论逻年及DERESYL中孚用的形式化方法 S4.DERESYL的结构和功能 S4知识辨的定义 S4DERESYL的推理机 34.了知识编管理程及间户接口34总控程婷 S5DERESYL的设计与实现 35DERESYL中知识库的内部组织 S5DERESYL中推理机的设计与实现 35.DERESYL中具余模快的放计与弦现 S6.几个运行实例 7.讨论 57关于红相作用的铁省规见 37关于抄张的选择 37.了关于有例外的继承同络 7效率间题.

浙江大学研究生学位论文用纸P,2 那怎么用它来推理呢？上面的例子表明,常识推理是非羊调的,也就是说影的事实的发现将我们推一些已有结绝.我们所悉的古典却是单调的,也即.如果A平B分别是一防识词逻移中两理饱,那么Th(A)≤Th(AUB),其中Th(S)= p:S一P。所以,我们想找的逻尊必须光有非单调性.三.怎样根抬新的事交修已已有经绝何一个非单调推理充.如果不能做到之点.那头单網“三几个字就名不符实了.做设我们找到了一种逻释,抬它而计的手流满之以上涂的要求,应该说我们的旧标本上达到了。但是,我们未必就属意。