基于极大一致特征集的推理
人工智能
2024-09-02 v1
摘要
我们分析了 Lang 和 Marquis 提出的基于遗忘的通用推理方法的一个具体实例。更确切地说，我们讨论了一种使用极大一致子特征集对不一致信息进行推理的方法，其中极大一致子特征集是一个极大的命题集合，使得遗忘其余命题能够恢复一致性。我们深入分析了极大一致子特征集及相应的极小不一致子特征集，并证明了击中集对偶性同样适用于它们。我们进一步根据非单调推理中的理性公设和计算复杂性，分析了基于极大一致子特征集的推理关系。我们还考虑了我们的方法与不一致性度量和次协调推理之间的关系。
引用
@article{arxiv.2408.17190,
title = {Reasoning with maximal consistent signatures},
author = {Matthias Thimm and Jandson Santos Ribeiro Santos},
journal= {arXiv preprint arXiv:2408.17190},
year = {2024}
}