定性代数命题闭包中的信念修正
人工智能
2014-12-15 v1
摘要
信念修正是一种旨在修改旧信念以使其与新信念保持一致的操作。信念修正问题已在各种形式化方法中得到研究，特别是在定性代数 (QAs) 中，其结果是信念基的析取，但不一定能在 QA 中表示。这激发了对扩展 QA 的形式化方法（即其命题闭包）中信念修正的研究：在这种闭包中，信念修正的结果属于该形式化方法。此外，这使得借助 Harper 恒等式定义收缩算子成为可能。本文研究了 QA 命题闭包中的信念修正，设计了一族修正算子的算法，并在网络上免费提供了开源实现。
引用
@article{arxiv.1412.3908,
title = {Belief revision in the propositional closure of a qualitative algebra},
author = {Valmi Dufour-Lussier and Alice Hermann and Florence Le Ber and Jean Lieber},
journal= {arXiv preprint arXiv:1412.3908},
year = {2014}
}