基于球体系统的两级可信度受限修正
计算机科学中的逻辑
2023-07-12 v1 人工智能
摘要
两级可信度受限修正是一种非优先化修正操作。当通过两级可信度受限修正进行修正时，考虑两个可信度层级与一个不可信度层级。当以最高可信度层级的句子进行修正时，该算子表现为标准修正；若句子处于第二可信度层级，则修正过程的结果等同于以该句子之否定进行的标准收缩。若句子不可信，则原信念集保持不变。本文我们提出一种基于 Grove 球体系统的两级可信度受限修正算子的构造，并给出这些算子的公理化刻画。
引用
@article{arxiv.2307.05062,
title = {System of Spheres-based Two Level Credibility-limited Revisions},
author = {Marco Garapa and Eduardo Ferme and Maurício D. L. Reis},
journal= {arXiv preprint arXiv:2307.05062},
year = {2023}
}
备注
In Proceedings TARK 2023, arXiv:2307.04005