×
詹姆斯·德尔格兰德;金、易

平行信念修正：通过公式集进行修正。 （英语） Zbl 1243.03018号

Artif公司。智力。 176，第1期，2223-2245（2012）.
摘要：信念修正领域研究理性主体如何将关于领域的新信息合并到其信念语料库中。代理以信念状态（K）为特征，并接收一项新的信息（alpha），该信息将包含在其信念集合中。因此，修正是从一个信念状态和一个公式到一个新的信念状态的函数。
我们在这里提出了一个更一般的信念修正框架，其中修正是从一个信念状态和一组有限的公式到一个新的信念状态的函数。特别是，我们通过集合\（\{\alpha，\beta\}\）和集合\（\{\alfa\land\beta\}\）来区分修订。这一看似无害的变化对反复的信念修正产生了重大影响。迭代信念修正方法中的一个问题是，首先用公式修正，然后用与第一个公式不一致的公式修正，原始公式中的所有信息都会丢失。
这里避免了这个问题，因为在用一组公式进行修正时，得到的信念状态不仅包含（S）的成员被认为是真的信息，而且还包含反事实假设，即如果（S）中的某些成员后来被认为是假的，然而，其余成员仍然被认为是正确的。因此，如果\（S\）的一些成员后来被认为是假的，那么\（S\）的其他元素仍然被认为是真的。因此，我们提供了一种更细致的信念修正方法。我们称之为平行信念修正的一般方法独立于现有的迭代修正方法。我们首先提出一种平行信念修正的基本方法。在此之后，我们将基本方法与Jin和Thielscher提出的方法结合起来进行迭代修订。给出了表征这些方法的假设和语义条件，并提供了表示结果。最后，我们讨论了这种方法在信念修正中可能产生的后果。

引用于10文件

MSC公司：

03B42号 知识和信仰的逻辑（包括信仰的改变）
68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

知识表示;信仰改变;迭代信念修正;认知状态
PDF格式BibTeX公司 XML格式引用
\textit{J.Delgrande}和\textit{Y.Jin}，Artif。智力。176，第1号，2223--2245（2012；Zbl 1243.03018）
全文： 内政部

参考文献：

[1] Alchourrón，C.E。；Gärdefors，P。；Makinson，D.，《论理论变化的逻辑：收缩和修正的部分满足函数》，《符号逻辑杂志》，50，2，510-530（1985）·Zbl 0578.03011号
[2] S.Benferhat，D.Dubois，H.Prade，《用可能性逻辑表示默认规则》，摘自：《第三届知识表示和推理原则国际会议论文集》，马萨诸塞州剑桥，1992年10月，第673-684页。；S.Benferhat，D.Dubois，H.Prade，《用可能性逻辑表示默认规则》，载于：《第三届知识表示和推理原则国际会议论文集》，马萨诸塞州剑桥，1992年10月，第673-684页。
[3] Benferhat，S。；卡西，S。；Le Berre，D。；Williams，M.-A.，《为迭代修订和知识集成弱化冲突信息》，《人工智能》，153339-371（2004）·Zbl 1085.68156号
[4] S.Benferhat，C.Cayrol，D.Dubois，J.Lang，H.Prade，《不一致性管理和基于优先句法的隐含》，摘自：《国际人工智能联合会议论文集》，法国香槟，1993年，第640-645页。；S.Benferhat，C.Cayrol，D.Dubois，J.Lang，H.Prade，《不一致性管理和基于优先句法的隐含》，载于：《国际人工智能联合会议论文集》，法国香槟，1993年，第640-645页。
[5] R.展位。；Meyer，T.A.，可接受和限制修订，《人工智能研究杂志》，26，127-151（2006）·Zbl 1182.68284号
[6] C.Boutiler，修订序列和嵌套条件，载于：《国际人工智能联合会议论文集》，1993年，第519-531页。；C.Boutiler，修订序列和嵌套条件，载于：《国际人工智能联合会议记录》，1993年，第519-531页。
[7] Boutiler，C.，常态条件逻辑：模态方法，人工智能，68，1，87-154（1994）·Zbl 0811.68114号
[8] Boutiler，C.，在模式框架中统一默认推理和信念修正，人工智能，68，1，33-85（1994）·Zbl 0811.68113号
[9] 达尔文，A。；Pearl，J.，《论反复信念修正的逻辑》，人工智能，89，1-29（1997）·Zbl 1018.03012号
[10] J.Delgrand，Y.Jin，平行信念修正，载《美国人工智能学会全国人工智能会议论文集》，2008年，第317-322页。；J.Delgrand，Y.Jin，平行信念修正，载《美国人工智能学会全国人工智能会议记录》，2008年，第317-322页。
[11] Delgrade，J。；Schaub，T.，《基于一致性的信念改变方法》，人工智能，151，1-2，1-41（2003）·Zbl 1082.68818号
[12] 德尔格兰德，J。；Wassermann，R.，Horn子句收缩函数：信念集和信念库方法，（Lin，F.；Sattler，U.，《第十二届知识表示和推理原则国际会议论文集》（2010年），AAAI出版社：AAAI多伦多出版社），143-152
[13] 法拉帕，医学硕士。；克恩·伊斯伯纳，G。；Simari，G.R.，《解释、信念修正和可废止推理》，人工智能，141，1-2，1-28（2002）·Zbl 1043.68095号
[14] Fermé，E.L。；Saez，K。；Sanz，P.，多核收缩，Studia Logica，73，2，183-195（2003）·Zbl 1018.03013号
[15] Fuhrmann，A。；Hansson，S.O.，《多重缩略语调查》，《逻辑、语言与信息杂志》，第339-76页（1994年）
[16] Gärdenfors，P.，《流动中的知识：认识状态动力学的建模》（1988），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥·Zbl 1229.03008号
[17] Geffner，H。；Pearl，J.，《条件蕴涵：桥接默认推理的两种方法》，《人工智能》，第53、2-3、209-244页（1992年）·Zbl 1193.68235号
[18] M.Goldszmidt，P.Morris，J.Pearl，《非单调推理的最大熵方法》，摘自：美国人工智能学会全国会议论文集，马萨诸塞州波士顿，1990年。；M.Goldszmidt，P.Morris，J.Pearl，《非单调推理的最大熵方法》，摘自：《AAAI人工智能全国会议论文集》，马萨诸塞州波士顿，1990年。
[19] 格罗夫，A.，《理论变化的两种模型》，《哲学逻辑杂志》，第17期，第157-170页（1988年）·Zbl 0639.03025号
[20] Hansson，S.O.，《信念动力学教科书》，应用逻辑系列（1999），Kluwer学术出版社·Zbl 0947.03023号
[21] Jin，Y。；Thielscher，M.，《迭代信念修正》，人工智能，171，1，1-18（2007）·Zbl 1168.03318号
[22] Katsuno，H。；Mendelzon，A.O.，《命题知识库修订和最小更改》，《人工智能》，52，3，263-294（1991）·Zbl 0792.68182号
[23] 科尼奇尼，S。；Pino Pérez，R.，《迭代修订的框架》，《应用非经典逻辑杂志》，10，3-4，339-367（2000）·兹比尔1033.03506
[24] S.Konieczny，J.Lang，P.Marquis，《不一致性下的推理：被遗忘的连接词》，载于《国际人工智能联合会议论文集》，爱丁堡，2005年，第484-489页。；S.Konieczny，J.Lang，P.Marquis，《不一致下的推理：被遗忘的连接词》，摘自：《国际人工智能联合会议论文集》，爱丁堡，2005年，第484-489页。
[25] 克劳斯，S。；莱曼，D。；Magidor，M.，《非单调推理、优先模型和累积逻辑》，《人工智能》，44，1-2，167-207（1990）·Zbl 0782.03012号
[26] P.Lamarre，S4作为非单调性的条件逻辑，摘自：《第二届知识表示与推理原则国际会议论文集》，马萨诸塞州剑桥，1991年4月，第357-367页。；P.Lamarre，S4作为非单调性的条件逻辑，摘自：《第二届知识表示和推理原则国际会议论文集》，马萨诸塞州剑桥，1991年4月，第357-367页·Zbl 0765.03013号
[27] Lehmann，D.，《默认推理的另一种观点》，《数学与人工智能年鉴》，15，1，61-82（1995）·Zbl 0857.68096号
[28] Lehmann，D.，信念修正，修订，（《国际人工智能联合会议论文集》（1995年），Morgan Kaufmann出版社：Morgan Kaufmann出版社Montréal），1534-1540
[29] 莱曼，D。；Magidor，M.，有条件的知识库包含什么？，人工智能，55，1，1-60（1992）·Zbl 0762.68057号
[30] Meyer，T.，《基本信息库更改》，Studia Logica，67，2，215-242（2001）·Zbl 0995.03012号
[31] Nayak，A.C.，《基于认知巩固的反复信念改变》，Erkentnis，41，353-390（1994）
[32] A.C.Nayak。；Pagnucco，M。；Peppas，P.，《动态信念修正算子》，《人工智能》，146，2，193-228（2003）·Zbl 1082.03503号
[33] Pearl，J.，System Z:默认值的自然排序与非单调推理的可处理应用，（Parikh，R.，《关于知识推理的理论方面的第三次会议论文集》（1990），Morgan Kaufmann出版社：Morgan Koufmann-Publishers Pacific Grove，CA），121-135
[34] Peppas，P.，极限假设与多重修正，《逻辑与计算杂志》，14，3，355-371（2004）·Zbl 1060.03035号
[35] Peppas，P.，《信念修正》（van Harmelen，F.；Lifschitz，V.；Porter，B.，《知识表示手册》（2008），爱思唯尔科学：爱思唯尔科学圣地亚哥，美国），317-359·Zbl 1183.68611号
[36] Rott，H.，《变化、选择和推理——信念修正和非单调推理研究》（2001），克拉伦登出版社：牛津克拉伦登出版公司·Zbl 1018.03004号
[37] 斯波恩，W.，《序贯条件函数：认知状态的动态理论》（Harper，W.L.；Skyrms，B.，《决定中的因果关系、信念变化和统计学》，第二卷（1988年），克鲁沃学术出版社），105-134
[38] 斯波恩·W·《解释的理由：解释提供了稳定的理由》（斯波恩，W·等人，《存在与解释》（1991），克鲁沃学术出版社），165-196年
[39] M.-A.Williams，《知识系统的转换》，J.Doyle，P.Torasso，E.Sandewall（编辑），《第四届知识表示和推理原则国际会议论文集》，德国波恩，1994年5月，第619-629页。；M.-A.Williams，《知识系统的转换》，载于：J.Doyle、P.Torasso、E.Sandewall（编辑），《第四届知识表示和推理原则国际会议论文集》，德国波恩，1994年5月，第619-629页。
[40] Zhang，D.，迭代多信念修正的性质，（Lifschitz，V.；Niemelä，I.，《逻辑编程与非单调推理会议论文集》（2004），Springer），314-325·Zbl 1122.03305号
[41] 张，D。；Foo，N.，《无限信念修正》，《哲学逻辑杂志》，30，6，525-570（2001）·Zbl 0992.03024号
[42] 张，D。；陈，S。；朱伟。；Chen，Z.，多重信念变化的表示定理，（国际人工智能联合会议论文集（1997年8月），Morgan Kaufmann出版社：Morgan Koufmann-Publishers Nagoya，日本），89-94
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。