×
弗雷德里克·范德普特;彼得·弗代尔

关联的动态：适应性信念修正。 （英语） Zbl 1275.03086号

合成 187，补遗1，1-42（2012）。
摘要：本文提出了八个（以前未发表的）信念修正的自适应逻辑，每个逻辑都定义了AGM框架意义上的信念修正操作。所有这些修正操作都满足信念修正的六个基本AGM假设，以及Parikh公理关联以其中一种逻辑为例，我们展示了他们的证明理论如何比现有的方法给信念修正带来更为动态的味道。有人认为，这将改变信仰修正（遵守关联)进入一个更自然的过程，只有当为了坚持某些信仰而需要分析步骤时，才进行分析。

引用于1文件

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）

关键词：

动态信念修正;关联;分裂;自适应逻辑
PDF格式BibTeX公司 XML格式引用
\textit{F.Van De Putte}和\textit{P.Verdée}，综合187，1-42（2012；Zbl 1275.03086）
全文： 内政部

参考文献：

[1] Alchourrón C.E.，Gärdefors P.，Makinson D.（1985）《论理论变革的逻辑：部分满足收缩和修正功能》。符号逻辑杂志50:510-530·Zbl 0578.03011号 ·doi:10.2307/2274239
[2] Batens D.（1999）《不一致自适应逻辑》。In：Orłowska E.（ed）逻辑在工作。献给海伦娜·拉西奥瓦记忆的散文。Physica Verlag（Springer），海德堡，第445-472页·Zbl 0923.03036号
[3] Batens，D.（2001）。自适应逻辑的一般特征。逻辑与分析，173-175，45-68。出现于2003年·Zbl 1047.03017号
[4] Batens D.（2005）不一致自适应逻辑中最终可导性的程序标准。应用逻辑杂志3:221-250·Zbl 1063.03010号 ·doi:10.1016/j.jal.2004.07.018
[5] Batens D.（2007）自适应逻辑的通用逻辑方法。Logica Universalis 1:221–242号·Zbl 1116.03019号 ·doi:10.1007/s11787-006-0012-5
[6] Batens D.，Clercq K.，Verdée P.，Meheus J.（2009）是的，伙计们，大多数人类推理都是复杂的。合成166:113–131·Zbl 1169.03307号 ·doi:10.1007/s11229-007-9268-4
[7] Batens D.、Meheus J.、Provijn D.、Verhoeven L.（2003）《诊断的一些自适应逻辑》。逻辑与逻辑哲学11/12:39–65·Zbl 1117.03327号
[8] Batens D.，Straßer C.，Verdée P.（2009）《关于可废止逻辑的透明度：等价前提集，其扩展的等价性，以及下限的最大性》。逻辑与分析207:281–304·Zbl 1190.03002号
[9] Bienvenu，M.、Herzig，A.和；Qi，G.（2008）。基于素数隐含的信念修正算子。2008年ECAI会议记录：第18届欧洲人工智能会议（第741-742页）。阿姆斯特丹：IOS出版社。
[10] Chopra S.，Parikh R.（2000）相关性敏感的信念结构。数学与人工智能年鉴28:259–285·Zbl 1001.68095号 ·doi:10.1023/A:1018960323808
[11] Gärdefors P.（1978）《信念的条件和变化》。《费尼卡哲学学报》30:381–404·Zbl 0413.03011号
[12] Gärdenfors P.（1982）关于信仰理性变化的规则。哲学研究34:88–101
[13] Hansson S.O.（1999）《信念动力学教科书》。理论变革和数据库更新。多德雷赫特·克鲁沃·Zbl 0947.03023号
[14] Hansson，S.O.（2006）。信念修正的逻辑。http://plato.stanford.edu/entries/logic-blief-revision .
[15] Horsten L.（2007）Welch Philip命题自适应逻辑的不可判定性。合成158:41–60·Zbl 1126.03034号 ·doi:10.1007/s11229-006-9049-5
[16] Jackson，P.（1992年）。计算素数隐含。1992年ACM通信年会论文集。CSC’92（第65-72页）。纽约：ACM·Zbl 0925.03054号
[17] Kourousias G.，Makinson D.（2006）《尊重信仰变化的相关性》。Análisis Filosófico费罗26：53–61
[18] Kourousias G.，Makinson D.（2007）信念变化中的平行插值、分裂和相关性。符号逻辑期刊72:994–1002·邮编1124.03004 ·doi:10.2178/jsl/1191333851
[19] Makinson D.（2009）通过信件共享实现命题相关性。应用逻辑杂志7:377-387·Zbl 1203.03024号 ·doi:10.1016/j.jal.2008.12.001
[20] Parikh R.（1999）信仰、信仰修正和分裂语言。逻辑、语言和计算2:266–278·Zbl 0963.03023号
[21] Perrussel，L.、Marchi，J.和；Zhang，D.（2011）。描述相关信念修正操作员的特征。AI 2010：人工智能进展。计算机科学课堂讲稿（第6464卷，第42-51页）。海德堡：施普林格。
[22] Pollock J.（1987）可推翻的推理。认知科学11（4）：481–518·doi:10.1207/s15516709cog1104_4
[23] Shoham Y.（1987）非单调逻辑的语义方法。在：金斯伯格M.L.（主编）非单调推理阅读。Morgan Kaufmann，Los Altos，CA，第227-249页
[24] Stolpe，A.（2010年）。相关性、减损和许可：规范规范的正常形式。人工智能课堂讲稿（计算机科学课堂讲稿）（第6181卷，第98-115页）。海德堡：施普林格·Zbl 1250.03040号
[25] Van De Putte F.（2011a）层次自适应逻辑。IGPL逻辑杂志20（1）：45–72·Zbl 1260.03056号 ·doi:10.1093/jigpal/jzr025
[26] Van De Putte，F.（2011年b）。素数暗示和相关信念修正。《逻辑与计算杂志》，正在印刷中。http://logcom.oxfordjournals.org/content/early/2011/11/07/logcom.exr040.full.pdf .
[27] Verdée P.（2009）使用最小异常策略的自适应逻辑是$${\（\backslash\）Pi\^1_1}$$-complex。合成167:93–104·Zbl 1172.03018号 ·doi:10.1007/s11229-007-9291-5
[28] Verdée，P.（2012年）。自适应逻辑的证明过程。IGPL的逻辑杂志，正在印刷中。http://logica.ugent.be/centrum/prepints/verdee.pdf . ·Zbl 1246.68215号
[29] Verhoeven L.（2001）所有前提都是平等的，但有些前提比其他前提更平等。逻辑与分析173–174–175：165–188
[30] Verhoeven L.（2003）一些优先后果关系的证明理论。逻辑与分析183–184:325–344·Zbl 1071.03015号
[31] Wu M.，Zhang M.（2010）一组公式的最优分割算法及其在决策中的应用。基于知识的系统23:70–76·doi:10.1016/j.knosys.2009.08.001
[32] Wu，M.，Zhu，Z.，Zhang，M.（2008）。基于相关准则的部分满足收缩。香港国际工程师和计算机科学家联合会议论文集。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。