定性代数命题闭包中的信念修正（扩展版）
人工智能
2014-05-06 v1
摘要
信念修正是一种旨在修改旧信念以使其与新信念保持一致的操作。信念修正问题已在各种形式化体系中得到研究，特别是在定性代数 (QAs) 中，其结果是信念基的析取，但不一定能在 QA 中表示。这激发了对扩展 QA 的形式化体系（即其命题闭包）中信念修正的研究：在此类闭包中，信念修正的结果属于该形式化体系。此外，这使得借助 Harper 恒等式定义收缩算子成为可能。本文研究了 QA 命题闭包中的信念修正，设计了一族修正算子的算法，并在网络上免费提供了开源实现。（这是在第 14 届知识表示与推理原理国际会议上最初发表的文章的扩展版。）
引用
@article{arxiv.1405.0795,
title = {Belief revision in the propositional closure of a qualitative algebra (extended version)},
author = {Valmi Dufour-Lussier and Alice Hermann and Florence Le Ber and Jean Lieber},
journal= {arXiv preprint arXiv:1405.0795},
year = {2014}
}
备注
This is the extended version of an article originally presented at the 14th International Conference on Principles of Knowledge Representation and Reasoning