劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 信念修正的条件逻辑。 （英语） 兹伯利0928.03015 Dix，Jürgen（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’98。1998年10月12日至15日，德国达格斯图尔。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1489, 294-308 (1998). 摘要：我们引入了一个条件逻辑BC来表示信念修正。逻辑BC在具有选择功能的可能世界结构方面具有标准语义，并且与Stalnaker的逻辑C2有很强的相似性。此外，Gärdefors的琐碎性结果不适用于BC。我们提供了一个表示结果，表明每个信念修正系统对应一个BC模型，每个满足覆盖条件的BC模型决定一个信念修正系统。关于整个系列，请参见[Zbl 0898.00025号]. 引用于1文件 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） 关键词：条件逻辑;信念修正;覆盖条件 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，Lect。注释计算。科学。1489、294--308（1998年；Zbl 0928.03015）