×

建议知识库修订和最小更改。 (英语) Zbl 0792.68182号

摘要:从模型理论的角度分析了由命题句集表示的修改知识库的语义。满足Gärdefors合理性假设的所有修订方案的特征都是根据解释之间的顺序的最小变化给出的。在这个框架中,对不同作者提出的修正方法进行了调查和分析,并研究了Gärdefors-like合理性假设与其他排序的最小变化之间的对应关系。

MSC公司:

68层35 人工智能语言和软件系统理论(基于知识的系统、专家系统等)
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Alchourrón,C.E。;Gärdefors,P。;Makinson,D.,《论理论变化的逻辑:部分满足收缩和修正函数》,《符号逻辑》,50,510-530(1985)·Zbl 0578.03011号
[2] 贝尔,J.,《非单调性的逻辑》,阿蒂夫。智力。,41, 365-374 (1990)
[3] Borgida,A.,《信息系统中灵活处理异常的语言特性》,ACM Trans。数据库系统。,10, 563-603 (1985)
[4] Dalal,M.,命题数据库更新,(技术报告DCS-TR-222(1988),罗格斯大学计算机科学系:新泽西州新不伦瑞克罗格斯大学计算科学系)
[5] Dalal,M.,《对知识库修订理论的调查:初步报告》,(美国学术期刊AAAI-88。美国明尼苏达州圣保罗市AAAI-88会议记录(1988),475-479
[6] 费金,R。;Ullman,J.D。;Vardi,M.Y.,《关于数据库更新的语义》(第二届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集(1983)),352-365
[7] 克劳斯,S。;莱曼博士。;Magidor,M.,非单调推理,优先模型和累积逻辑,Artif。智力。,44, 167-207 (1990) ·兹比尔0782.03012
[8] Gärdenfors,P.,《信念的条件和变化》,《哲学学报》。芬恩。,30, 381-404 (1978) ·Zbl 0413.03011号
[9] Gärdenfors,P.,《认识论的重要性和信仰的最小变化》,澳大利亚哲学家J.Philos。,62, 136-157 (1984)
[10] Gärdenfors,P.,《流动中的知识:认知状态动力学建模》,(1988),布拉德福德出版社/麻省理工学院出版社:布拉德福德书店/麻省大学出版社,马萨诸塞州剑桥)·Zbl 1229.03008号
[11] P.Gärdenfors,《信念系统的动力学:基础与连贯理论》,Revue Int.Philos公司; P.Gärdefors,《信念系统的动力学:基础与连贯理论》,Revue Int.Philos公司
[12] Gärdefors,P。;Makinson,D.,《使用认知巩固对知识系统的修订》,(关于知识推理理论方面的第二次会议论文集。关于知识推理的第二届会议论文集,加利福尼亚州太平洋格罗夫(1988)),83-95·Zbl 0711.03009号
[13] Grove,A.,《理论变革的两个模型》,J.Philos。逻辑,17,157-170(1988)·Zbl 0639.03025号
[14] Katsuno,H。;Mendelzon,A.O.,命题知识库更新的统一视图(Proceedings IJCAI-89)。《IJCAI-89会议记录》,密歇根州底特律(1989),1413-1419·Zbl 0719.68071号
[15] Katsuno,H。;Mendelzon,A.O.,《关于更新知识库和修改知识库之间的差异》(Allen,J.A.;Fikes,R.;Sandewell,E.,《知识表示和推理原则:第二届国际会议论文集》(1991),Morgan Kaufmann:Morgan Koufmann-San Mateo,CA),387-394·Zbl 0765.68197号
[16] Lehmann,D.,有条件知识库需要什么?,(《第一届知识表示和推理原则国际会议论文集》,安大略省多伦多(1989),第212-222页)·Zbl 0709.68104号
[17] Reiter,R.,《关于完整性约束》,(关于知识推理理论方面的第二次会议论文集。关于知识推理的理论方面的会议论文集,加利福尼亚州太平洋格罗夫(1988)),97-111
[18] Satoh,K.,最小信念修正的非单调推理,(第五代计算机系统国际会议论文集,第五代计算系统国际会议,东京(1988)),455-462
[19] K.Satoh,《私人通信》(1990年)。;K.Satoh,《私人通信》(1990年)。
[20] K.Satoh、H.Katsuno和A.O.Mendelzon(准备中)。;K.Satoh、H.Katsuno和A.O.Mendelzon(准备中)。
[21] 韦伯,A.,更新命题公式,(第一届专家数据库系统会议论文集(1986)),487-500
[22] Winslett,M.,《使用可能的模型方法推理行动》(Proceedings AAAI-88)。AAAI-88会议记录,明尼苏达州圣保罗(1988),89-93
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。