广富美·卡苏诺（Hirofumi Katsuno）;Alberto O·门德尔松。 关于更新知识库和修改知识库之间的区别。 （英语） Zbl 0765.68197号 知识表示和推理原理。第二届国际会议，剑桥/马萨诸塞州（美国）1991，387-394（1991）。 摘要：[有关整个系列，请参阅Zbl 0747.00023号.]我们探讨了命题理论所代表的知识库的两种修改之间的基本区别。第一个是更新，包括在知识库描述的世界发生变化时更新知识库。第二种修改，即修订，是在我们获取关于静态世界的新信息时使用的。C.E.Alchourrón公司,P.盖尔登福斯和D.梅金森[J.Symb.逻辑学50，510-530（1985；Zbl 0578.03011号)]提出并研究了一组理性假设，他们认为每个操作员必须满足这些假设才能进行理论更改。我们表明这些假设只适用于修订，而不适用于更新。我们给出了一组适用于更新算子的新假设，并根据可能世界中定义的一组偏序刻画了满足这些假设的所有算子。修正的双重操作是收缩，即放弃信仰的行为。我们提出了一种称为擦除的新操作。删除意味着收缩，更新意味着修订。我们证明了Winslett的Forget操作符是一种称为对称擦除的一般操作的特例，该操作是根据擦除定义的。 引用于2评论引用于118文件 MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 关键词：更新;修订;擦除 引文：Zbl 0747.00023号;Zbl 0578.03011号 PDF格式BibTeX公司 XML格式引用 \textit{H.Katsuno}和\textit{A.O.Mendelzon}，《知识表示和推理原理》。1991年4月22日至25日，美国马萨诸塞州坎布里奇市，第二届国际会议记录（KR’91）。加利福尼亚州圣马特奥：Morgan Kaufmann Publishers，Inc.，387-394（1991；Zbl 0765.68197）