×
劳伦特·佩鲁塞尔;Jerusa Marchi;Jean-Marc Thévenin女士;张东墨

信念更新的相关最小变化。 （英语） Zbl 1362.03014号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。人工智能课堂讲稿，333-345（2012）。
摘要：相关性的概念是由Parikh在信念修正领域引入的，用于处理最小变化。它可以防止与认知输入无关的信念的丢失。但是，最小变化和相关性问题仍然是信仰更新中的一个公开问题。在本文中，引入了一个新的框架来处理信念更新背景下的最小变化和相关性。该框架超越了Parikh意义上的相关性，通过首先重写Katzuno-Mendelzon假设以更新信念，然后引入新的相关性假设，实现了最小的改变。我们证明了通过设置代理对信念的偏好可以表征相关的最小变化，其中偏好由信念集的模型子集索引。每个子集代表信念集的一个素蕴涵，因此强调了表示信念集的关键命题符号。
关于整个系列，请参见[Zbl 1246.68063号].

引用于2文件

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
\textit{L.Perrussel}等人，Lect。注释计算。科学。7519、333--345（2012；Zbl 1362.03014）
全文： 内政部

参考文献：

[1] Alchourrón，C.E.，Gärdenfors，P.，Makinson，D.：论理论变化的逻辑：部分满足收缩和修正函数。符号逻辑杂志50（2），510-530（1985）·Zbl 0578.03011号 ·doi:10.2307/2274239
[2] Dalal，M.：知识库修正理论调查：初步报告。In：程序。AAAI 1988，第475–479页（1988）
[3] Darwiche，A.，Marquis，P.：知识汇编图。《人工智能研究杂志》（17），229-264（2002）·Zbl 1045.68131号
[4] 范德普特（Van de Putte，F.）：素数暗示和相关信念修正。《逻辑与计算杂志》7，1–11（2011），DOI:10.1093/log.com/exr040·Zbl 1269.03023号
[5] Forbus，K.：将行动引入定性模拟。In：程序。IJCAI 1989年第1273–1278页（1989年）·Zbl 0718.68099号
[6] 格罗夫，A.：理论变革的两个模型。《哲学逻辑杂志》17，157-170（1988）·Zbl 0639.03025号 ·doi:10.1007/BF00247909
[7] Katsuno，H.，Mendelzon，A.：关于更新知识库和修改知识库之间的差异。KR 1991，第387–394页（1991）·Zbl 0765.68197号
[8] Katsuno，H.，Mendelzon，A.：命题知识库修订和最小更改。人工智能52（3），263-294（1991）·Zbl 0792.68182号 ·doi:10.1016/0004-3702（91）90069-V
[9] Kourousias，G.，Makinson，D.：信念变化中的平行插值、分裂和相关性。J.塞姆。日志。72（3），994–1002（2007）·邮编1124.03004 ·doi:10.2178/jsl/1191333851
[10] Makinson，D.，Kourousias，G.：尊重信仰变化中的相关性。Análisis Filosófico费罗26（1），53–61（2006）
[11] Marchi，J.，Bittencourt，G.，Perrussel，L.：命题信念基础的素数形式和最小变化。数学年鉴。和AI（2010）·Zbl 1219.03017号
[12] McCarthy，J.，Hayes，P.J.：从人工智能的角度来看的一些哲学问题。机器智能4463–502（1969）·兹比尔0226.68044
[13] Parikh，R.：信念、信念修正和分裂语言，第2卷，第266-278页。斯坦福大学语言与信息研究中心（1999年）·Zbl 0963.03023号
[14] Peppas，P.，Chopra，S.，Foo，N.：关联敏感信念修正的距离语义。In：程序。KR 2004，第319-328页（2004）
[15] Perrussel，L.，Marchi，J.，Zhang，D.：表征相关信念修正算子。作者：Li，J.（编辑）AI 2010。LNCS，第6464卷，第42-51页。斯普林格，海德堡（2010）·doi:10.1007/978-3-642-17432-25
[16] Perrussel，L.，Marchi，J.，Bittencourt，G.：主要暗示和信念更新。摘自：2009年第二十二届国际FLAIRS会议记录，第577–598页（2009）
[17] 奎因，W.V.O.：关于真值函数的核心和主蕴涵。《美国数学月刊》66，755–760（1959）·Zbl 0201.32203号 ·doi:10.2307/2310460
[18] Winslett，M.：使用可能的模型方法推理行动。In：程序。AAAI 1988，第89–93页（1988）
[19] 吴，M.，张，D.，张，M.：号角逻辑中的语言分裂和基于关联的信念改变。In:AAAI（2011）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。