×
马克·艾吉尔；贾马尔·阿蒂夫；伊莎贝尔·布洛赫；塞琳·哈德洛特

信念修正、最小改变和放松：基于满意度系统的一般框架，以及描述逻辑的应用。 （英语） Zbl 1443.68169号

Artif公司。智力。 256, 160-180 (2018).
摘要：由给定逻辑中的一组句子表示的知识库的信念修正已被广泛研究，但对于特定逻辑，主要是命题逻辑，以及最近的霍恩逻辑和描述逻辑。在这里，我们建议从模型理论的角度，通过定义满意度系统抽象模型理论中的修正，来推广这一操作。在这个框架中，我们将Katsuno和Mendelzon针对命题逻辑给出的AGM假设的特征化推广到任何满足系统中，即解释之间的最小变化。在这一概括中，对语法独立性的约束得到了部分放松。此外，我们研究了如何定义修正，以满足这些削弱的AGM假设，从描述逻辑中首次引入的松弛概念来定义概念之间的不同度量，其结果是放松旧信仰的模型，直到它与新知识相一致。我们展示了如何在不同的逻辑（如命题逻辑、一阶逻辑、描述逻辑和霍恩逻辑）中实例化所提出的一般框架。特别是对于描述逻辑，我们引入了几个为描述逻辑（mathcal{ALC}）及其片段（mathcal{EL}）和（mathcali{ELU}）定制的具体松弛算子，讨论了它们的性质并提供了一些示例。

引用于8文件

MSC公司：

68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

抽象信念修正；放松；AGM理论；满意度系统；描述逻辑

软件：

伊莎贝尔
PDF格式BibTeX公司 XML格式引用
\textit{M.Aiguier}等人，Artif。智力。256、160-180（2018年；Zbl 1443.68169）
全文： 内政部 arXiv公司

参考文献：

[1] Alchourron，C。；Gardenfors，P。；梅金森，D.，《论理论变革的逻辑》，J.Symb。日志。，50, 2, 510-530 (1985) ·Zbl 0578.03011号
[2] Autexier，S。；Hutter，D.，建模和执行异构过程编配的构造性DL更新和推理，（Description Logics（2013）），501-512
[3] 巴德，F。；Küsters，R。；Molitor，R.，《具有存在限制的描述逻辑中计算最不常见的子消费》，（国际人工智能联合会议，国际人工智能联席会议，IJCAI'99（1999），Morgan-Kaufmann），96-101
[4] Barwise，J.，《抽象模型理论公理》，《数学年鉴》。日志。，7, 221-265 (1974) ·兹伯利0324.02034
[5] Benferhat，S。；卡西，S。；Le Berre，D。；Williams，M.-A.，《为迭代修订和知识集成弱化冲突信息》，Artif。智力。，153, 1, 339-371 (2004) ·Zbl 1085.68156号
[6] 布洛赫，I。；Heijmans，H。；Ronse，C.，《数学形态学》（Aiello，M.；Pratt-Hartman，I.；van Benthem，J.，《空间逻辑手册》（2007），Springer-Verlag），857-947·Zbl 1172.03001号
[7] 布洛赫，I。；Lang，J.，《走向数学形态逻辑》（Bouchon-Meunier，B.；Gutierrez-Rios，J.；Magdalena，L.；Yager，R.，《构建智能系统的技术》（2002），Springer-Verlag），367-380·Zbl 1010.68185号
[8] 布洛赫，I。；皮诺佩雷斯，R。；Uzcategui，C.，《知识动力学的统一处理》，（知识表示和推理原则国际会议。知识表示和推论原则国际会议，KR（2004），AAAI出版社），329-337
[9] 克拉沃，M.R。；Cachopo，J.P。；Cachopo，A.C。；Martins，J.P.，许可信念修正，（葡萄牙人工智能会议，葡萄牙人工智能大会，Lect.Notes Artif.Intell.，第2258卷（2001）），335-348·Zbl 1053.03011号
[10] Dalal，M.，《知识库修正理论研究：初步报告》，（人工智能进步协会，人工智能进步协会，AAAI’88（1988）），475-479
[11] 德尔格兰德，J.-P。；Peppas，P.，修订Horn理论，（Walsh，T.，第22届国际人工智能联合会议，第22次国际人工智能联席会议，IJCAI（2011），IJCIA/AAAI），839-844
[12] 德尔格兰德，J.-P。；Peppas，P.，《霍恩理论中的信仰修正》，Artif。智力。，218, 1-22 (2015) ·Zbl 1322.68192号
[13] Diaconescu，R.，《独立于研究所的模型理论》（2008年），《通用逻辑：通用逻辑》（Universal Logic Birkhäuser）·Zbl 1144.03001号
[14] Distel，F。；阿蒂夫·J。；Bloch，I.，《树木编辑距离和形态膨胀的概念差异》，（欧洲人工智能会议，欧洲人工智能大会，ECAI（2014）），249-254·Zbl 1366.68284号
[15] Distel，F。；阿蒂夫·J。；Bloch，I.，《概念差异与三角不等式》（Baral，C.；Giacomo，G.D.；Eiter，T.，《第十四届知识表示与推理原则国际会议》，KR（2014），AAAI出版社），614-617
[16] Flouris，G。；黄，Z。；潘，J。；Plexousakis，D。；Wache，H.，本体论中的不一致、否定和变化（第21届AAAI人工智能全国会议（2006）），1295-1300
[17] Flouris，G。；Plexousakis博士。；Antoniou，G.，《关于将AGM理论应用于DL和OWL》（the Semantic Web-ISWC 2005）。语义网-ISWC 2005，Lect。注释计算。科学。，第5341卷（2005），施普林格），216-231
[18] Goguen，J.-A。；Burstall，R.-M.，《编程方法论基础研究：规范、制度、章程和羊皮纸》，（Pitt，D.等，《范畴理论和计算机编程》，《Lect.Notes计算科学》，第240卷（1985年），Springer-Verlag），313-333·Zbl 0615.68002号
[19] Goguen，J.-A。；Burstall，R.-M.，《机构：规范和编程的抽象模型理论》，J.ACM，39，1，95-146（1992）·Zbl 0799.68134号
[20] Gorogannis，N。；Hunter，A.，使用膨胀算子合并一阶知识，（第五届信息和知识系统基础国际研讨会，第五届国际信息和知识体系基础研讨会，FoIKS’08。第五届信息和知识系统基础国际研讨会。第五届信息和知识系统基础国际研讨会，FoIKS'08，Lect。注释计算。科学。，第4932卷（2008）），132-150·Zbl 1138.68560号
[21] Hansson，S.O.，信念库操作的知识级分析，Artif。智力。，82, 1, 215-235 (1996) ·Zbl 1506.03066号
[22] Katsuno，H。；Mendelzon，A.-O.，《命题知识库修订和最小更改》，Artif。智力。，52, 263-294 (1991) ·Zbl 0792.68182号
[23] Levi，I.，《从属、处置和机会》，（处置，处置，综合，第113卷（1977年），施普林格出版社），303-335·Zbl 0364.02002
[24] 刘，H。；卢茨，C。；米利西奇，M。；Wolter，F.，更新描述逻辑ABoxes，（KR（2006）），46-56
[25] Meyer，T。；Lee，K。；Booth，R.，描述逻辑的知识集成，（人工智能促进协会，人工智能促进会，AAAI'05，第5卷（2005）），645-650
[26] Mossakowski，T。；迪亚科内斯库（Diaconescu，R.）。；Tarlecki，A.，什么是逻辑翻译，Log。大学。，3, 1, 95-124 (2009) ·Zbl 1255.03023号
[27] Qi，G.等人。；Du，J.，描述逻辑中术语的基于模型的修正算子，（国际人工智能联合会议，国际人工智能联席会议，IJCAI（2009）），891-897
[28] Qi，G.等人。；刘伟。；Bell，D.，处理描述逻辑中不一致性的基于修订的方法，Artif。智力。版次：26、1-2、115-128（2006）
[29] Qi，G.等人。；刘伟。；Bell，D.-A.，《描述逻辑中的知识库修订》（Fisher，M.；der Hoek，W.V.；Konev，B。；Lisitsa，A.，欧洲人工智能逻辑会议。欧洲人工智能逻辑会议，JELIA。欧洲人工智能逻辑会议。欧洲人工智能逻辑会议，JELIA，Lect。注释Artif。智力。，第4160卷（2006），施普林格·弗拉格），386-398·Zbl 1152.68614号
[30] Qi，G.等人。；Yang，F.，《描述逻辑中的修正方法综述》，（Calvanee，D.；Lausen，G.，《网络推理和规则系统（RR）》，第二届国际会议。网络推理和规则系统（RR），第二届国际会议，Lect。注释计算。科学。，第5341卷（2008年），斯普林格-Verlag），74-88
[31] 里贝罗，M.-M。；Wassermann，R.，描述逻辑AGM修订版，（关于上下文和本体进化的自动推理第一次研讨会。关于上下文和实体进化的自动推断第一次研讨会，ARCOE（2009）），13-15
[32] 里贝罗，M.M。；Wassermann，R.，本体调试的基本修订版，J.Log。计算。，19, 5, 721-743 (2009) ·Zbl 1194.68230号
[33] 里贝罗，M.-M。；Wassermann，R.，《关于描述逻辑中AGM修订的更多信息》，（关于上下文和本体进化的自动推理第二次研讨会。关于上下文和实体进化的自动推断第二次会议，ARCOE（2010）），7-8
[34] 里贝罗，M.-M。；Wassermann，R.，非经典逻辑AGM中的最小变化，（Baral，C.；Giacomo，G.D.；Eiter，T.，第十四届知识表示和推理原则国际会议。第十四届知识表示和推理原则国际会议，KR（2014），AAAI出版社），657-660
[35] 里贝罗，M.-M。；Wassermann，R。；Flouris，G。；Antoniou，G.，《最小变化：相关性和恢复重访》，Artif。智力。，201, 59-80 (2013) ·Zbl 1334.03012号
[36] 施洛巴赫，S。；Cornet，R.，用于调试描述逻辑术语的非标准推理服务，（国际人工智能联合会议，国际人工智能联席会议，IJCAI'03，第3卷（2003）），355-362
[37] 施洛巴赫，S。；黄，Z。；科内特·R。；Harmelen，F.V.，《调试非相干术语》，J.Autom。原因。，39, 3, 317-349 (2007) ·Zbl 1132.68740号
[38] Sernadas，A。；Sernadas，C。；Caleiro，C.，逻辑同步，Stud.Log。，59, 2, 217-247 (1997) ·Zbl 0882.03008号
[39] 塔斯基，A.，《真理的语义概念》，菲洛斯。现象学。第4号决议，第13-47页（1944年）
[40] Tarski，A.，《关于逻辑结果的概念》，Log。塞芒。元数学。，409-420 (1956)
[41] 王，Z。；王凯。；Topor，R.-W.，《修改描述逻辑中的一般知识库》，（Lin，F.；Sattler，U.；Truszczynski，M.，《第十二届知识表示与推理原理国际会议》，KR（2010），AAAI出版社，599-601
[42] 庄，Z。；王，Z。；王凯。；Delgrand，J.，将AGM收缩扩展到任意逻辑，（第24届国际人工智能联合会议，第24届人工智能国际联合会议，IJCAI-15（2015）），3299-3305
[43] 庄，Z.-Q。；Pagnucco，M。；张毅，《从号角收缩定义号角修正》，（第二十三届国际人工智能联合会议，第二十三届人工智能国际联合会议，IJCAI（2013），IJCIA/AAAI），1205-1211
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。