×
塞斯·维特芬；格哈德·布鲁卡

怀疑理由维护和信念修正。 （英语） Zbl 0779.68081号

Artif公司。智力。 61，第1期，第1-36页（1993年）.
智能推理系统的一个主要特征是能够保持一组连贯一致的信念，并在出现矛盾时对其进行修改。
理性维护系统领域是对信念维护和修正进行广泛研究的背景之一。
我们讨论了一种用于推理维护的三值怀疑语义学，该语义学基于众所周知的二值基础或稳定模型语义学的扩展。然而，与后者不同的是，怀疑语义学具有计算上的吸引力：怀疑模型可以在O（n^2）时间内计算。
怀疑语义学也可以用来更好地解释推理维护中的信念修正问题。最近对依赖定向回溯（DDB）进行了逻辑重构，通过对原因维护系统的不同扩展，提供了表示不同DDB策略的可能性。给定一个原因维护系统\（D\），我们可以区分一类扩展，表示\（D_）的所有可能的DDB策略。我们将证明在这个类中存在一个独特的扩展，其怀疑模型可以用作规范的、信息最少的信念修正模型。这种怀疑信念修正模型有一些重要的优点：
1.可以避免由经典依赖定向回溯方法找到的解的任意性。
2.语义保证了一种（易处理的）增量更新方法，与标准的信念修正技术相反，该方法满足一个弱合理性假设，确保了所执行更改的最小性。
3.怀疑信念修正是一种完整的信念修正策略，易于计算机实现，具有最坏情况的复杂性（O（n^3））。
审核人：塞斯·维特芬

引用于三文件

MSC公司：

68T27型 人工智能中的逻辑
68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

理论修正；复杂性；三值逻辑
PDF格式BibTeX公司 XML格式引用
\textit{C.Witteveen}和\textit{G.Brewka}，阿蒂夫。智力。61，第1号，1--36（1993；Zbl 0779.68081）
全文： DOI程序

参考文献：

[1] Alchourrón，C。；Gärdefors，P。；Makinson，D.，《论理论变化的逻辑：部分满足收缩函数及其相关修正函数》，《符号逻辑杂志》，50，510-530（1985）·Zbl 0578.03011号
[2] Blamey，S.，《部分逻辑》（Gabbay，D.；Guenther，F.，《哲学逻辑手册》，第三卷（1986），Reidel:Reidel Dordrecht），1-70·Zbl 0875.03023号
[3] Brewka，G.，从理论基础到高效计算的非单调推理，（论文（1989），汉堡大学：德国汉堡大学）
[4] Brewka，G.，《最小变化：非单调TMS的新架构》（On minimal change:a new architecture for non-monotonic TMS）（1990），GMD Sankt Augustin:GMD Sank Augustin Germany，未出版手稿
[5] 查尼亚克，E。；里斯贝克，C。；McDermott，D.，（人工智能编程（1979），埃尔鲍姆：埃尔鲍姆巴尔的摩，马里兰州）
[6] Doyle，J.，《真相维护系统》，Artif。智力。，12, 231-272 (1979)
[7] Doyle，J.，《推理假设的一些理论：理性心理学论文》（CMU CS-83-125（1983），卡内基梅隆大学：卡内基梅隆大学匹兹堡分校）
[8] Doyle，J.，《理性信念修正》（《第二届知识表示与推理原则国际会议论文集》，马萨诸塞州坎布里奇，第二届国际知识表示与理性原则会议论文集（1991））·Zbl 0766.68126号
[9] 道林，W。；Gallier，J.，测试命题Horn公式可满足性的线性时间算法，J.逻辑程序。，3, 267-284 (1984) ·Zbl 0593.68062号
[10] Elkan，C.，非单调TMS的逻辑特征，（Kreczmar，A.；Mirkowska，G.，《计算机科学的数学基础》1989（1989），Springer:Springer-Hidelberg），218-224·Zbl 0755.68133号
[11] Gärdenfors，P.，（《流动中的知识》（1988），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）·Zbl 1229.03008号
[12] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（第五届逻辑编程国际会议论文集（1988）），1070-1080
[13] 佐丹奴，L。；Martelli，A.，《广义稳定模型、真理维护和冲突解决》，（Warren，D.；Szeredi，P.，Proceedings 7th International Conference on Logic Programming（1990），427-441
[14] Goodwin，J.，非单调依赖网络更新的改进算法，（LITH-MAT-R-82-23（1982），林雪平大学：瑞典林雪平学院）
[15] C.M.Jonker和C.Witteveen，理论修订和扩展，TWI报告。，荷兰代尔夫特理工大学（待定）。；C.M.Jonker和C.Witteveen，理论修订和扩展，TWI报告。，荷兰代尔夫特理工大学（待定）。
[16] Kleene，S.，《元数学导论》（1952），Van Nostrand：Van Nostrand纽约·Zbl 0047.00703号
[17] Lloyd，J.W.（逻辑编程基础（1987），施普林格：施普林格-海德堡）·Zbl 0547.68005号
[18] Moore，R.C.，《非单调逻辑的语义考虑》，Artif。智力。，25, 75-94 (1985) ·兹伯利0569.68079
[19] Morris，P.，《稳定闭包、可废止逻辑和矛盾容忍推理》（Proceedings AAAI-88）。AAAI-88会议记录，明尼苏达州圣保罗（1988年）
[20] Nebel，B.，《信念修正的知识水平分析》，（《第一届知识表示和推理原则国际会议论文集》，《第一届国际知识表示与推理原则会议论文集，安大略省多伦多（1989）》），301-311·Zbl 0709.68091号
[21] 佩雷拉，L.M。；Alferes，J.J。；Apaício，J.N.，《在有充分依据的语义中消除矛盾》，（Nerode，A.；Marek，W.；Subrahmanian，V.S.，第一届逻辑编程和非单调推理国际研讨会（1991），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥）
[22] Petrie，C.J.，《默认推理的修正依赖定向回溯》（Proceedings AAAI-87）。AAAI-87会议记录，西雅图，华盛顿州（1987年）
[23] Przymusinska，H。；Przymusinski，T.C.，演绎数据库和逻辑程序中的语义问题，（Banerji，R.B.，《人工智能中的形式技术》，资料集（1990），爱思唯尔：爱思唯尔阿姆斯特丹），321-367·Zbl 0704.68034号
[24] Przymusinski，T.C.，基础良好的语义与三值稳定语义Fund一致。通知。，13, 4 (1990) ·Zbl 0706.68029号
[25] Reinfrank，M.，《维持真理的基本原理和逻辑基础》（Linköping Studies in Science and Technology，Linkö的科学技术研究，论文编号221（1989），Linkóping University：瑞典Linkö）
[26] Turner，R.（人工智能逻辑（1987），Ellis Horwood:Ellis Holwood Chichester，英格兰）
[27] Van Gelder，A。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-650（1991）·Zbl 0799.68045号
[28] Witteveen，C.，《真相维护的定点语义》（TWI报告90-85（1990），代尔夫特理工大学技术数学和计算机科学学院：荷兰代尔夫特理工大学科技数学和计算机学院）·Zbl 0898.68081号
[29] Witteveen，C.，《真理维护的部分语义》（van Eyck，J.W.，《人工智能逻辑》，JELIA90会议录）。人工智能逻辑，JELIA90会议录，人工智能讲义（1991），施普林格：施普林格-海德堡）·Zbl 0898.68081号
[30] Witteveen，C.，《真理维护的怀疑语义学》（Martins，J.P.；Reinfrank，M.，《真理维持系统》，《人工智能讲义》，515（1991），施普林格：施普林格-海德堡）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。